AlexMennen comments on Godel’s Completeness and Incompleteness Theorems

AlexMennen 25 Dec 2012 3:22 UTC
9 points

you could use the 2 prefix for NOT and the 3 prefix for AND

Immediately after this, you use 1 for NOT and 2 for AND.
- Eliezer Yudkowsky 25 Dec 2012 4:44 UTC
  1 point
  Parent
  Fixed.