Hacker News new | ask | show | jobs
by pfortuny 2412 days ago
No no; I’m trying to explain that “obviousness” is a bad idea to prove anything...

Like “an infinite te has an infinite branch”...