/prog/ - 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-17 11:58

Jewish mathematics are not allowed on /prog/.

Name: Anonymous 2014-05-22 23:44

>>2
It's all math (that is computer-verifiable)

Name: Anonymous 2014-05-23 0:24

>>3
It's all jewish (shalom)

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.

Name: Anonymous 2014-05-23 2:05

>>5
Is the human brain a machine?

Name: Anonymous 2014-05-23 2:17

>>6
My dick is like a machine as it skullfucks your brain into submission, you stupid atheist.

Name: Anonymous 2014-05-23 2:22

>>6
I wouldn't call it a machine.

>>7
You aren't atheist but you aren't christian either, are you?

Name: Anonymous 2014-05-23 2:29

>>7
psychospeak.

Name: Anonymous 2014-05-23 2:58

>>7
Thanks, God.

Name: Anonymous 2014-05-23 9:46

>>7

▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
█     ___                        █
█    //  7                       █
█   (_,_/\       WORSHIP THIS    █
█    \    \   YOUR THROBBING GOD █
█     \    \                     █
█     _\    \__                  █
█    (   \     )                 █
█     \___\___/                  █
█                                █
▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

Name: Anonymous 2014-05-23 18:17

>>11
▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄
█ ___ █
█ // 7 █
█ (_,_/\ WORSHIP THIS █
█ \ \ YOUR THROBBING GOD █
█ \ \ █
█ _\ \__ █
█ ( \ ) █
█ \___\___/ █
█ █
▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

The QED Manifesto

1 Name: Anonymous 2014-05-17 0:08

2 Name: Anonymous 2014-05-17 11:58

3 Name: Anonymous 2014-05-22 23:44

4 Name: Anonymous 2014-05-23 0:24

5 Name: Anonymous 2014-05-23 0:57

6 Name: Anonymous 2014-05-23 2:05

7 Name: Anonymous 2014-05-23 2:17

8 Name: Anonymous 2014-05-23 2:22

9 Name: Anonymous 2014-05-23 2:29

10 Name: Anonymous 2014-05-23 2:58

11 Name: Anonymous 2014-05-23 9:46

12 Name: Anonymous 2014-05-23 18:17