New results on Gödel incompleteness: talk this Monday at 19:00 UTCjdh.hamkins.org3 points·IngoBlechschmid··0 commentsOpen articleSaveView on HN