up
glossary..G

generalization
A general proposition obtained by inference from particular cases.
(in deductive logic)
An inference from a proposition about an unspecified individual (as a free variable) to a universally quantified proposition. The rule which permits such inferences.
Gödelization
A technique for encoding the formulae of arithmetic as numbers used by Kurt Gödel in his incompleteness proofs [Gödel31].
see also:
arithmetization (Gödelization is a technique for the arithmetization of logical syntax)

Gödel number
A number assigned to some syntactic entity by Gödelization.

Gödel numbering
see Gödelization

groupware
Software which facilitates collaboration.


UP HOME © RBJ created 1999/9/16 modified 2000/2/10