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

The QED Manifesto

Name: Anonymous 2014-05-17 0:08

http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/wiedijk_2.pdf
http://www.rbjones.com/rbjpub/logic/qedres01.htm

Name: Anonymous 2014-05-22 23:44

>>2
It's all math (that is computer-verifiable)
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 -