I can't wait for the day when something isn't considered proven until a computer... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Retra on June 15, 2015 | parent | context | favorite | on: A Guide to Writing Mathematics [pdf]

I can't wait for the day when something isn't considered proven until a computer successfully executes the proof.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact