|
|||||||||
| 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. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||