Return
Styles:
Pseud0ch
,
Terminal
,
Valhalla
,
NES
,
Geocities
,
Blue Moon
.
Entire thread
The QED Manifesto
1
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
5
Name:
Anonymous
2014-05-23 0:57
>>3
Computer-verifiable math is simply a small sub-subset of mathematics and shall forever remain so as
P ≠ NP
and computers are not and cannot be intelligent as they are machines.
Newer Posts
Don't change these.
Name:
Email:
Entire Thread
Thread List