Toggle navigation
compgroups
groups
users
stream
search
browse
post
contact
comp.theory
5139 articles.
0 followers.
Post
Follow
(0.016 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
85
(
9/9/2016 4:19:58 AM
)
peteolcott
Halting Problem adapted DFA lexical analyzer (specification improved by feedback)
9
108
(
9/2/2016 2:53:36 PM
)
peteo
The complete logical error of the Liar Paradox is only that:
18
117
(
9/1/2016 2:48:18 PM
)
peteo
Halting Problem adapted DFA lexical analyzer (SMTM solution to the Halting Problem)
36
119
(
8/31/2016 3:31:33 AM
)
peteo
Proof that NP!=coNP
0
94
(
8/27/2016 3:08:25 PM
)
slkpg4
Deductive Proof of the Final Solution to the Liar Paradox
16
132
(
8/24/2016 1:50:20 PM
)
peteo
Final Solution to the Liar Paradox (v9)
0
76
(
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
84
(
8/20/2016 7:30:21 PM
)
NAND
Self Modifying Turing Machine (SMTM) Solution to the Halting Problem (concrete example)
135
286
(
8/15/2016 6:03:53 PM
)
peteo
Partition function in Rod Cutting problem (Dynamic Programming)
0
93
(
8/15/2016 5:46:46 AM
)
kpgupta98
Solution to the Liar Paradox (mathematically formalizing its self-reference error) website
0
81
(
8/13/2016 12:00:13 PM
)
peteo
P vs. NP #2
0
83
(
8/10/2016 12:19:50 AM
)
NAND
Love and Computer
2
106
(
8/5/2016 10:42:24 AM
)
einstein1410
Solution to the Liar Paradox (mathematically formalizing its self-reference error)
77
167
(
8/3/2016 7:51:14 PM
)
peteolcott
Solution to the Liar Paradox (formalizing its error).
0
74
(
8/1/2016 9:04:44 PM
)
peteolcott
Mathematical Mapping Theory of Truth (v9)
0
91
(
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
73
(
7/30/2016 8:04:32 PM
)
paul
Big Data Analyst Training
0
102
(
7/21/2016 9:50:34 AM
)
infocim249
not in Prolog
4
126
(
7/19/2016 2:42:10 PM
)
Peter
Hadoop Training In Bay Area
0
99
(
7/19/2016 9:51:48 AM
)
vasuinfo1100