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

B

bconv(JTextField) - Method in class godel.Num3

beta(int, int) - Method in class godel.Godel3.Funinfo

β_{f(x)=β(Xf,Yf,x)}

binar - Variable in class godel.godel1

check if Godel numbers are to be in binary

binar - Variable in class godel.Godel2

binar - Variable in class godel.Num3

binop(BigInteger, int, BigInteger) - Method in class godel.godel1

Applies a binary operator to a pair of terms or formulae.

Binop(BigInteger, int, BigInteger) - Method in class godel.Godel2

Encodes the result of a binary operator

binop(BigInteger, int, BigInteger) - Method in class godel.Godel3

Encodes the result of a binary operator

but1 - Variable in class godel.godel1

Press to convert from Gödel numbers to arithmetic formulae

but1 - Variable in class godel.Num3

but2 - Variable in class godel.godel1

Press to convert from arithmetic formulae to Gödel numbers

but2 - Variable in class godel.Godel2

Press button to generate proof lines from proof number

but2 - Variable in class godel.Num3

but3 - Variable in class godel.Godel3

Press to encode statement of the form y=f(x) for a function f

but4 - Variable in class godel.Godel3

Press to encode statement of the form σ₁

but5 - Variable in class godel.Godel3

Press to encode statement of the form σ₂