Incompleteness and Computability – An Open Introduction to Gödel's Theorems
By the-mitr · 2026-10-25 · 2 points · 0 comments
https://ic.openlogicproject.org/
By the-mitr · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews