comp.theory 5139 articles. 1 followers. Post Follow
(0.151 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 153 (9/9/2016 4:19:58 AM) peteolcott

Halting Problem adapted DFA lexical analyzer (specification improved by feedback) 9 184 (9/2/2016 2:53:36 PM) peteo

The complete logical error of the Liar Paradox is only that: 18 222 (9/1/2016 2:48:18 PM) peteo

Halting Problem adapted DFA lexical analyzer (SMTM solution to the Halting Problem) 36 234 (8/31/2016 3:31:33 AM) peteo

Proof that NP!=coNP 0 169 (8/27/2016 3:08:25 PM) slkpg4

Deductive Proof of the Final Solution to the Liar Paradox 16 234 (8/24/2016 1:50:20 PM) peteo

Final Solution to the Liar Paradox (v9) 0 153 (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 159 (8/20/2016 7:30:21 PM) NAND

Self Modifying Turing Machine (SMTM) Solution to the Halting Problem (concrete example) 135 444 (8/15/2016 6:03:53 PM) peteo

Partition function in Rod Cutting problem (Dynamic Programming) 0 175 (8/15/2016 5:46:46 AM) kpgupta98

Solution to the Liar Paradox (mathematically formalizing its self-reference error) website 0 147 (8/13/2016 12:00:13 PM) peteo

P vs. NP #2 0 149 (8/10/2016 12:19:50 AM) NAND

Love and Computer 2 175 (8/5/2016 10:42:24 AM) einstein1410

Solution to the Liar Paradox (mathematically formalizing its self-reference error) 77 290 (8/3/2016 7:51:14 PM) peteolcott

Solution to the Liar Paradox (formalizing its error). 0 138 (8/1/2016 9:04:44 PM) peteolcott

Mathematical Mapping Theory of Truth (v9) 0 179 (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 144 (7/30/2016 8:04:32 PM) paul

Big Data Analyst Training 0 179 (7/21/2016 9:50:34 AM) infocim249

not in Prolog 4 218 (7/19/2016 2:42:10 PM) Peter

Hadoop Training In Bay Area 0 170 (7/19/2016 9:51:48 AM) vasuinfo1100