Hacker News new | ask | show | jobs
by ice109 3248 days ago
every result about undecidability uses Cantor's diagonalization.