Newsgroup:
sci.philosophy
Add New Display Options
1
reply
FAGITO ERGO SUM - I suck dick, therefore I am
started 2024-11-15 16:07:43 UTC
2024-11-16 22:45:01 UTC
Portland Potties
2
replies
Black box halt decider is NOT a partial decider [ Ĥ.qx(⟨Ĥ⟩,⟨Ĥ⟩) == Ĥ.qn ] [ succinct ]
started 2021-08-01 14:45:04 UTC
2021-08-01 16:02:38 UTC
olcott
1
reply
Eliminating the pathological self-reference error of the halting theorem (V8)
started 2020-07-24 17:53:57 UTC
2020-07-24 17:53:59 UTC
olcott
2
replies
The Principle of Explosion is the Non Sequitur Error
started 2019-08-27 21:27:18 UTC
2019-08-27 23:24:39 UTC
peteolcott
1
reply
Tarski undefinability totally refuted by junior high school logic
started 2019-05-23 08:14:06 UTC
2019-08-01 20:44:51 UTC
peteolcott
2
replies
Refuting the basis of Tarski Undefinability
started 2019-05-29 05:16:52 UTC
2019-05-29 09:34:49 UTC
peteolcott
11
replies
Opportunities arising from the refutation of Godel's incompleteness theorem [--its really not that hard--]
started 2019-05-10 20:30:29 UTC
2019-05-13 23:58:22 UTC
peteolcott
1
reply
Deductively sound formal proofs (v6)
started 2019-05-12 11:11:23 UTC
2019-05-12 11:32:15 UTC
peteolcott
2
replies
Deductively Sound Formal Proofs --- (v2)
started 2019-05-10 23:05:59 UTC
2019-05-11 00:41:22 UTC
peteolcott
3
replies
Terse defence of Godel (is refuted)
started 2019-05-05 20:20:16 UTC
2019-05-10 09:23:26 UTC
peteolcott
1
reply
Is this logic sentence true or false: ∃G (G ↔ ¬Provable(G))
started 2019-05-08 08:18:01 UTC
2019-05-08 10:22:09 UTC
peteolcott
1
reply
Eliminating Undecidability from Formal Systems Version(2)
started 2019-04-11 23:36:35 UTC
2019-04-11 23:44:16 UTC
peteolcott
1
reply
Universal Truth Predicates eliminating Incompleteness and Inconsistency from formal systems
started 2019-04-02 09:19:54 UTC
2019-04-02 10:52:07 UTC
peteolcott
1
reply
Refuting Gödel's 1931 Incompleteness Theorem:
started 2019-03-31 02:41:50 UTC
2019-03-31 02:43:21 UTC
peteolcott
1
reply
Philosophy of Logic – Reexamining the Formalized Notion of Truth
started 2019-03-24 03:30:01 UTC
2019-03-24 03:34:23 UTC
peteolcott
4
replies
Principle of Explosion is (POE) refuted by the Olcott Universal Truth Predicate (OUTP)
started 2018-12-13 00:28:59 UTC
2018-12-13 00:33:30 UTC
peteolcott
16
replies
Solution to Alan Turing’s 1936 Halting Problem Version(6) [ Decidability Decider Defined ]
started 2018-11-30 02:36:17 UTC
2018-12-03 21:08:15 UTC
peteolcott
2
replies
Solution to Alan Turing’s 1936 Halting Problem Version(4) [4 paradoxes rolled into one]
started 2018-11-23 21:08:37 UTC
2018-11-28 03:11:14 UTC
peteolcott
18
replies
Refuting Georg Cantor's idea of different sized infinities ?
started 2018-11-24 12:16:03 UTC
2018-11-27 04:31:43 UTC
peteolcott
2
replies
Concisely Refuting Georg Cantor's idea of different sized infinities (HTML required)
started 2018-11-23 06:02:56 UTC
2018-11-25 02:43:45 UTC
peteolcott
1
reply
Concisely Refuting Georg Cantor's idea of different sized infinities -- Version (2)
started 2018-11-23 06:10:54 UTC
2018-11-25 02:43:17 UTC
peteolcott
1
reply
Concisely Refuting Georg Cantor's idea of different sized infinities -- Version (3)
started 2018-11-23 06:15:13 UTC
2018-11-25 02:43:03 UTC
peteolcott
3
replies
Concisely Refuting Georg Cantor's different sized infinities -- Version(4)
started 2018-11-23 07:23:03 UTC
2018-11-25 02:42:37 UTC
peteolcott
1
reply
Concisely Refuting Georg Cantor's different sized infinities -- Version(5)
started 2018-11-23 21:13:06 UTC
2018-11-25 02:42:17 UTC
peteolcott
2
replies
Refuting Incompleteness and Undefinability Version(26) [ 1931 GIT Refuted ]
started 2018-11-24 09:52:44 UTC
2018-11-25 02:21:48 UTC
peteolcott
1
reply
Solution to Alan Turing’s 1936 Halting Problem Version(7) [ Rice's Theorem ]
started 2018-11-25 00:12:00 UTC
2018-11-25 00:24:53 UTC
peteolcott
1
reply
Solution to Alan Turing’s 1936 Halting Problem [ unsatisfiability (linking syntax to semantics) ]
started 2018-11-24 01:46:05 UTC
2018-11-24 01:51:02 UTC
peteolcott
5
replies
Solution to Alan Turing’s 1936 Halting Problem Version(3)
started 2018-11-20 05:31:03 UTC
2018-11-24 00:58:00 UTC
Peter Percival
1
reply
Test to Sea
started 2018-10-10 20:07:55 UTC
2018-10-13 17:56:08 UTC
Jos Bergervoet
3
replies
Atheists make better sense
started 2013-10-25 01:19:02 UTC
2018-10-13 17:54:48 UTC
Jos Bergervoet
Click to Load More...
Loading...