A B C D E F G H I J K L M N O P R S T U V W Y Z

G

Gen() - Method in class godel.Godel2

Generalisation: WF |- ∀V WF Gets a variable and a formula

get2() - Method in class godel.godel1

Get 2 bits of input bitstream

get2() - Method in class godel.Godel2

get 2 bits from bitstream

getAppletInfo() - Method in class godel.godel1

getAppletInfo() - Method in class godel.Godel2

getint() - Method in class godel.Godel2

Get int from bitstream

getitem() - Method in class godel.Godel3

Gets item from input text.

getType() - Method in class godel.Godel3

Gets type descriptor.

getvar() - Method in class godel.godel1

Get variable from input bitstream

getvarn(char) - Method in class godel.godel1

Translates a text variable into a bitstream form

getword() - Method in class godel.Godel3

Requires a word, that is an identifier or reserved word

Glin() - Method in class godel.Godel2

Gets previously established formula from line number 1st bit 1 -> next 4 bits define number of axiom 1st bit 0 -> encoded line number of proof follows

godel - package godel

godel1 - Class in godel

This is an applet to implement a Gödel numbering scheme.

godel1() - Constructor for class godel.godel1

Godel2 - Class in godel

This is an applet to implement a numerical encoding of arithmetical proofs.

Godel2() - Constructor for class godel.Godel2

Godel3 - Class in godel

This applet implements the conversion of a function (expressed as a computer program) into an arithmetical formula.

Godel3() - Constructor for class godel.Godel3

Godel3.Funinfo - Class in godel

Holds information about Haskell function

Godel3.Funinfo(int) - Constructor for class godel.Godel3.Funinfo

Godel3.IdList - Class in godel

List of identifiers

Godel3.IdList() - Constructor for class godel.Godel3.IdList

Godel3.TExpr - Class in godel

Holds an encoded representation of an expression

Godel3.TExpr(BigInteger, int) - Constructor for class godel.Godel3.TExpr