Incompleteness and Computability – An Open Introduction to Gödel's Theoremsic.openlogicproject.org2 points·the-mitr··0 commentsOpen articleSaveView on HN