Gödel Numbering: Encoding Logic as Numbersscientopia.org2 points·metajack··0 commentsOpen articleSaveView on HN