Tweet · 3 Mar 2018, 15:43 UTC

I remember Aaronson stating that there are much simpler ways to arithmetise syntax than Gödel's but not providing an example. Is there a generally preferred simpler approach nowadays? Cc @LogicalAnalysis