Hacker News new | ask | show | jobs
by matt_kantor 3541 days ago
I'm not sure what you mean by "see", but there are computer verified proofs of Gödel's theorems: https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theor....