Main.GodelNumberingToyExample History
Hide minor edits - Show changes to output
Changed lines 3-4 from:
to:
Romeo=1, loves=2, Juliet=3
Changed lines 7-11 from:
G(xyz) = 2'^x^'*3'^y^'*5'^z^'
G(ABC) = 2'^1^'*3'^2^'*5'^3^' = 2*9*125 = 2250
G(CBA) = 2'^3^'*3'^2^'*5'^1^' = 8*9*5 = 360
to:
G(x y z) = 2'^x^'*3'^y^'*5'^z^'
G(Romeo loves Juliet) = 2'^1^'*3'^2^'*5'^3^' = 2*9*125 = 2250
G(Juliet loves Romeo) = 2'^3^'*3'^2^'*5'^1^' = 8*9*5 = 360
Changed lines 7-8 from:
G(xyz) = → 2'^x^'*3'^y^'*5'^z^'
to:
G(xyz) = 2'^x^'*3'^y^'*5'^z^'
Added lines 1-2:
Added lines 5-6:
Changed lines 3-9 from:
xyz → 2'^x^'*3'^y^'*5'^z^'
to:
G(xyz) = → 2'^x^'*3'^y^'*5'^z^'
G(ABC) = 2'^1^'*3'^2^'*5'^3^' = 2*9*125 = 2250
G(CBA) = 2'^3^'*3'^2^'*5'^1^' = 8*9*5 = 360
Added lines 1-3:
A=1, B=2, C=3
xyz → 2'^x^'*3'^y^'*5'^z^'