Gödel's incompleteness theorem project (2007)tachyos.org1 point·rssoconnor··0 commentsOpen articleSaveView on HN