|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
godel1 | This is an applet to implement a Gödel numbering scheme. |
Godel2 | This is an applet to implement a numerical encoding of arithmetical proofs. |
Godel3 | This applet implements the conversion of a function (expressed as a computer program) into an arithmetical formula. |
Num3 |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |