(0.021 seconds) Articles (5137) |<First /257 Next>> Last >| For the first time in human history the complete Logical Error of the Liar Paradox is totally explained 0 110 (9/9/2016 4:19:58 AM) peteolcott Halting Problem adapted DFA lexical analyzer (specification improved by feedback) 9 136 (9/2/2016 2:53:36 PM) peteo The complete logical error of the Liar Paradox is only that: 18 158 (9/1/2016 2:48:18 PM) peteo Halting Problem adapted DFA lexical analyzer (SMTM solution to the Halting Problem) 36 153 (8/31/2016 3:31:33 AM) peteo Proof that NP!=coNP 0 118 (8/27/2016 3:08:25 PM) slkpg4 Deductive Proof of the Final Solution to the Liar Paradox 16 178 (8/24/2016 1:50:20 PM) peteo Final Solution to the Liar Paradox (v9) 0 97 (8/23/2016 2:22:12 PM) peteo To motivated people who would like to prove that BPP = EXP: Here is some incomplete source code, and my notes on how to complete the algorithm. Have fun. 2 115 (8/20/2016 7:30:21 PM) NAND Self Modifying Turing Machine (SMTM) Solution to the Halting Problem (concrete example) 135 318 (8/15/2016 6:03:53 PM) peteo Partition function in Rod Cutting problem (Dynamic Programming) 0 118 (8/15/2016 5:46:46 AM) kpgupta98 Solution to the Liar Paradox (mathematically formalizing its self-reference error) website 0 101 (8/13/2016 12:00:13 PM) peteo P vs. NP #2 0 101 (8/10/2016 12:19:50 AM) NAND Love and Computer 2 123 (8/5/2016 10:42:24 AM) einstein1410 Solution to the Liar Paradox (mathematically formalizing its self-reference error) 77 196 (8/3/2016 7:51:14 PM) peteolcott Solution to the Liar Paradox (formalizing its error). 0 91 (8/1/2016 9:04:44 PM) peteolcott Mathematical Mapping Theory of Truth (v9) 0 110 (8/1/2016 9:00:37 PM) peteolcott *** Annual Peter Landin Semantics Seminar: Building Trustworthy Refactoring Tools, 12th December, 6pm, London. Speaker: Prof. Simon Thompson 0 91 (7/30/2016 8:04:32 PM) paul Big Data Analyst Training 0 121 (7/21/2016 9:50:34 AM) infocim249 not in Prolog 4 164 (7/19/2016 2:42:10 PM) Peter Hadoop Training In Bay Area 0 117 (7/19/2016 9:51:48 AM) vasuinfo1100