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