Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

``proof assistant''

Name: Anonymous 2014-06-01 20:28

Gödel didn't need a proof assistant, why do you? You'll never succeed in making maths entirely computable, automatable, never.

Name: Anonymous 2014-06-01 20:41

>>2
�
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -