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

N

newV() - Method in class godel.Godel3

new arithmetic variable

Nf - Variable in class godel.Godel3.Funinfo

∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)

nonf - Variable in class godel.Godel3

number of functions without a name 2 i.e.

norm - Variable in class godel.Num3

nott(BigInteger) - Method in class godel.Godel3

Encode ¬#A

num(BigInteger) - Method in class godel.Godel3

Encodes a number as an arithmetic expression

Num3 - Class in godel

Num3() - Constructor for class godel.Num3

numc - Variable in class godel.Godel3

Bitstream forms of 0-3 (0,0',0'',0''')

numed - Variable in class godel.godel1

Text Area for Godel Numbers

numin - Variable in class godel.godel1

Value of (Gödel) number entered.

nxtch() - Method in class godel.godel1

Gets next character from text