Main.GodelNumberingToyExample History

Hide minor edits - Show changes to markup

October 16, 2015, at 10:16 AM by 61.238.62.121 -
Changed lines 3-4 from:

A=1, B=2, C=3

to:

Romeo=1, loves=2, Juliet=3

Changed lines 7-11 from:

G(xyz) = 2x*3y*5z

G(ABC) = 21*32*53 = 2*9*125 = 2250

G(CBA) = 23*32*51 = 8*9*5 = 360

to:

G(x y z) = 2x*3y*5z

G(Romeo loves Juliet) = 21*32*53 = 2*9*125 = 2250

G(Juliet loves Romeo) = 23*32*51 = 8*9*5 = 360

Changed lines 7-8 from:

G(xyz) = → 2x*3y*5z

to:

G(xyz) = 2x*3y*5z

Added lines 1-2:

Conversion Table

Added lines 5-6:

Godel function

Changed lines 3-9 from:

xyz → 2x*3y*5z

to:

G(xyz) = → 2x*3y*5z

G(ABC) = 21*32*53 = 2*9*125 = 2250

G(CBA) = 23*32*51 = 8*9*5 = 360

Added lines 1-3:

A=1, B=2, C=3

xyz → 2x*3y*5z