What follows is not an entirely faithful representation of Glenn's 'Outline' because of difficulties in rendering the mathematical symbols into HTML language. It will be improved with time. For example, dashes (-) in the text replace many of the esoteric mathematical symbols used by Glenn. Distortions are due to this fact, not to Glenn.
Marvin |
Constant Signs | Gödel Number | Meaning |
~ | 1 | not |
v | 2 | or |
_ | 3 | if ... then |
_ | 4 | There exists a ... |
= | 5 | equals |
0 | 6 | zero |
s | 7 | The immediate successor of |
( | 8 | punctuation mark |
) | 9 | punctuation mark |
, | 10 | punctuation mark |