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-02 4:48

>>27

Can computers figure out how to make computers? Because brains did that.
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 -