Joe Lau's wiki: Main/Godel Numbering Toy Example

Conversion Table

Romeo=1, loves=2, Juliet=3

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

G(Romeo loves Juliet) = 2¹*3²*5³ = 2*9*125 = 2250

G(Juliet loves Romeo) = 2³*3²*5¹ = 8*9*5 = 360

Retrieved from http://philosophy.hku.hk/joelau/?n=Main.GodelNumberingToyExample

Page last modified on October 16, 2015, at 10:16 AM