Groups
Sign in
Groups
comp.ai.philosophy
Conversations
About
Send feedback
Help
Sort By Relevance
Sort By Date
1–30 of many
olcott
,
test
2
Jan 25
test formatting
testtesttest On 2024-01-05 18:28:14 +0000,
olcott
said: > *Does the directly executed D(D) halt?*
unread,
test formatting
testtesttest On 2024-01-05 18:28:14 +0000,
olcott
said: > *Does the directly executed D(D) halt?*
Jan 25
olcott
, …
immibis
26
12/25/23
The syllogism proves that the Principle of Explosion is nonsense
UTC,
olcott
wrote: >> On 12/19/2023 7:34 AM, immibis wrote: >>> On 12/19/23 04:02,
olcott
wrote: >>>> On 12/18/2023 11:37 AM, immibis wrote: >>
unread,
The syllogism proves that the Principle of Explosion is nonsense
UTC,
olcott
wrote: >> On 12/19/2023 7:34 AM, immibis wrote: >>> On 12/19/23 04:02,
olcott
wrote: >>>> On 12/18/2023 11:37 AM, immibis wrote: >>
12/25/23
olcott
, …
Richard Damon
19
12/24/23
The BOAK formal system excludes Gödel's 1931 Incompleteness and Tarski's Undefinability
at Peter
Olcott
Jr.'s home as part of a narcotics >> investigation. During the search, officers found three boxes filled >> with child pornography, according to
unread,
The BOAK formal system excludes Gödel's 1931 Incompleteness and Tarski's Undefinability
at Peter
Olcott
Jr.'s home as part of a narcotics >> investigation. During the search, officers found three boxes filled >> with child pornography, according to
12/24/23
olcott
,
Richard Damon
2
12/16/23
Defeating Tarski Undefinability and Gödel 1931 Incompleteness and
PM,
olcott
wrote: > *This is true by definition* Within the body of analytical truth of the > analytic/synthetic distinction every element of the body of analytic > knowledge
unread,
Defeating Tarski Undefinability and Gödel 1931 Incompleteness and
PM,
olcott
wrote: > *This is true by definition* Within the body of analytical truth of the > analytic/synthetic distinction every element of the body of analytic > knowledge
12/16/23
olcott
,
Richard Damon
2
12/15/23
The body of analytical knowledge cannot be incomplete in the Gödel sense
AM,
olcott
wrote: > *The philosophical foundation of analytic knowledge* > > Analytic knowledge is the set of expressions of formal or natural > language that are connected
unread,
The body of analytical knowledge cannot be incomplete in the Gödel sense
AM,
olcott
wrote: > *The philosophical foundation of analytic knowledge* > > Analytic knowledge is the set of expressions of formal or natural > language that are connected
12/15/23
olcott
, …
Richard Damon
70
12/10/23
Gödel's 1931 incompleteness fails HOL
PM,
olcott
wrote: > On 12/9/2023 7:22 PM, Jim Burns wrote: >> On 12/8/2023 12:29 AM,
olcott
wrote: >>> On 12/7/2023 6:11 PM,
olcott
wrote: >>>> On 12
unread,
Gödel's 1931 incompleteness fails HOL
PM,
olcott
wrote: > On 12/9/2023 7:22 PM, Jim Burns wrote: >> On 12/8/2023 12:29 AM,
olcott
wrote: >>> On 12/7/2023 6:11 PM,
olcott
wrote: >>>> On 12
12/10/23
olcott
,
Richard Damon
29
11/21/23
Gödel's huge mistake
PM,
olcott
wrote: > On 11/21/2023 10:52 AM,
olcott
wrote: >> On 11/20/2023 8:54 PM,
olcott
wrote: >>> On 11/20/2023 6:36 PM,
olcott
wrote: >>>> On
unread,
Gödel's huge mistake
PM,
olcott
wrote: > On 11/21/2023 10:52 AM,
olcott
wrote: >> On 11/20/2023 8:54 PM,
olcott
wrote: >>> On 11/20/2023 6:36 PM,
olcott
wrote: >>>> On
11/21/23
olcott
,
Richard Damon
54
11/20/23
Undecidable decision problems are abolished
PM,
olcott
wrote: > On 11/20/2023 2:08 PM,
olcott
wrote: >> On 11/20/2023 1:25 PM,
olcott
wrote: >>> On 11/20/2023 12:56 PM,
olcott
wrote: >>>> On
unread,
Undecidable decision problems are abolished
PM,
olcott
wrote: > On 11/20/2023 2:08 PM,
olcott
wrote: >> On 11/20/2023 1:25 PM,
olcott
wrote: >>> On 11/20/2023 12:56 PM,
olcott
wrote: >>>> On
11/20/23
Anonymous
11/7/23
Re: Self Referential Undecidability Construed as Incorrect Questions
olcott
wrote: > I will start simple with the most self-evident points > > *Smart people can understand that* > "This sentence is not true." > > is not true
unread,
Re: Self Referential Undecidability Construed as Incorrect Questions
olcott
wrote: > I will start simple with the most self-evident points > > *Smart people can understand that* > "This sentence is not true." > > is not true
11/7/23
olcott
, …
Richard Damon
60
10/30/23
Does the halting problem actually limit what computers can do?
PM,
olcott
wrote: > On 10/30/2023 7:04 PM,
olcott
wrote: >> On 10/30/2023 6:17 PM,
olcott
wrote: >>> On 10/30/2023 5:46 PM,
olcott
wrote: >>>> On 10
unread,
Does the halting problem actually limit what computers can do?
PM,
olcott
wrote: > On 10/30/2023 7:04 PM,
olcott
wrote: >> On 10/30/2023 6:17 PM,
olcott
wrote: >>> On 10/30/2023 5:46 PM,
olcott
wrote: >>>> On 10
10/30/23
olcott
,
Richard Damon
51
10/28/23
a computation is not allowed to report on the machine that it is embedded within
PM,
olcott
wrote: > On 10/27/2023 9:24 PM,
olcott
wrote: >> On 10/27/2023 8:03 PM,
olcott
wrote: >>> On 10/27/2023 6:16 PM,
olcott
wrote: >>>> On 10
unread,
a computation is not allowed to report on the machine that it is embedded within
PM,
olcott
wrote: > On 10/27/2023 9:24 PM,
olcott
wrote: >> On 10/27/2023 8:03 PM,
olcott
wrote: >>> On 10/27/2023 6:16 PM,
olcott
wrote: >>>> On 10
10/28/23
olcott
,
Richard Damon
22
10/26/23
Analyzing the Peter Linz Halting Problem Proof
AM,
olcott
wrote: > On 10/25/2023 11:34 PM,
olcott
wrote: >> On 10/25/2023 9:13 PM,
olcott
wrote: >>> On 10/25/2023 7:55 PM,
olcott
wrote: >>>> On
unread,
Analyzing the Peter Linz Halting Problem Proof
AM,
olcott
wrote: > On 10/25/2023 11:34 PM,
olcott
wrote: >> On 10/25/2023 9:13 PM,
olcott
wrote: >>> On 10/25/2023 7:55 PM,
olcott
wrote: >>>> On
10/26/23
olcott
,
Richard Damon
6
10/24/23
Mathematical undecidability is an unsound notion V2
PM,
olcott
wrote: > On 10/24/2023 12:54 PM,
olcott
wrote: >> On 10/24/2023 12:25 PM,
olcott
wrote: >>> On 10/24/2023 11:56 AM,
olcott
wrote: >>>>
unread,
Mathematical undecidability is an unsound notion V2
PM,
olcott
wrote: > On 10/24/2023 12:54 PM,
olcott
wrote: >> On 10/24/2023 12:25 PM,
olcott
wrote: >>> On 10/24/2023 11:56 AM,
olcott
wrote: >>>>
10/24/23
olcott
, …
Richard Damon
3
10/21/23
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO)
PM,
olcott
wrote: > On 10/21/2023 1:24 PM,
olcott
wrote: >> This is one of the clearest examples of my earliest work that >> derives my 2023-10-21 view: >> >
unread,
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO)
PM,
olcott
wrote: > On 10/21/2023 1:24 PM,
olcott
wrote: >> This is one of the clearest examples of my earliest work that >> derives my 2023-10-21 view: >> >
10/21/23
olcott
,
Richard Damon
8
10/20/23
Simplest Possible Halting Problem Proof Rebuttal
AM,
olcott
wrote: > On 10/19/2023 6:21 AM, Paul N wrote: >> On Thursday, October 19, 2023 at 4:20:18 AM UTC+1,
olcott
wrote: >>> *As soon as this is understood to be
unread,
Simplest Possible Halting Problem Proof Rebuttal
AM,
olcott
wrote: > On 10/19/2023 6:21 AM, Paul N wrote: >> On Thursday, October 19, 2023 at 4:20:18 AM UTC+1,
olcott
wrote: >>> *As soon as this is understood to be
10/20/23
olcott
,
Richard Damon
29
10/18/23
Simplified Halting Problem Proof Rebuttal
AM,
olcott
wrote: > On 10/17/2023 11:10 PM,
olcott
wrote: >> On 10/16/2023 9:52 PM,
olcott
wrote: >>> On 10/16/2023 9:04 PM,
olcott
wrote: >>>> On
unread,
Simplified Halting Problem Proof Rebuttal
AM,
olcott
wrote: > On 10/17/2023 11:10 PM,
olcott
wrote: >> On 10/16/2023 9:52 PM,
olcott
wrote: >>> On 10/16/2023 9:04 PM,
olcott
wrote: >>>> On
10/18/23
olcott
,
Richard Damon
2
8/30/23
Incompleteness is more aptly construed as the non-sequitur error
PM,
olcott
wrote: > Gödel incompleteness is more aptly construed as the non-sequitur error > in the same way that the conclusion {the Moon orbits the Earth} is not a > logical
unread,
Incompleteness is more aptly construed as the non-sequitur error
PM,
olcott
wrote: > Gödel incompleteness is more aptly construed as the non-sequitur error > in the same way that the conclusion {the Moon orbits the Earth} is not a > logical
8/30/23
olcott
,
Richard Damon
25
8/28/23
Termination Analyzer H is Not Fooled by Pathological Input D
AM,
olcott
wrote: > On 8/27/2023 2:31 PM,
olcott
wrote: >> On 8/27/2023 12:13 PM,
olcott
wrote: >>> On 8/27/2023 10:00 AM,
olcott
wrote: >>>> On 8/
unread,
Termination Analyzer H is Not Fooled by Pathological Input D
AM,
olcott
wrote: > On 8/27/2023 2:31 PM,
olcott
wrote: >> On 8/27/2023 12:13 PM,
olcott
wrote: >>> On 8/27/2023 10:00 AM,
olcott
wrote: >>>> On 8/
8/28/23
olcott
,
Richard Damon
4
8/22/23
Getting rid of Gödel Incompleteness
PM,
olcott
wrote: > On 8/22/2023 11:07 AM,
olcott
wrote: >> When we redefine the architecture of formal systems to be an extension >> of the notion of a syllogism such
unread,
Getting rid of Gödel Incompleteness
PM,
olcott
wrote: > On 8/22/2023 11:07 AM,
olcott
wrote: >> When we redefine the architecture of formal systems to be an extension >> of the notion of a syllogism such
8/22/23
olcott
,
Richard Damon
3
8/20/23
Establishing a better foundation for logic
AM,
olcott
wrote: >> I redefined the foundation of formal logic that is just as expressive >> and powerful as Higher Order Logic (HOL) and eliminates Gödel >> Incompleteness
unread,
Establishing a better foundation for logic
AM,
olcott
wrote: >> I redefined the foundation of formal logic that is just as expressive >> and powerful as Higher Order Logic (HOL) and eliminates Gödel >> Incompleteness
8/20/23
olcott
,
Richard Damon
14
8/12/23
Transforming predicate logic into correct reasoning.
that this takes actual effort. Most of the time I use replying to
Olcott
as a "palette cleansing" between tasks, or when I need to take a break to organize thoughts.
unread,
Transforming predicate logic into correct reasoning.
that this takes actual effort. Most of the time I use replying to
Olcott
as a "palette cleansing" between tasks, or when I need to take a break to organize thoughts.
8/12/23
olcott
,
Richard Damon
5
8/11/23
Why people here can't understand me
PM,
olcott
wrote: >>> This is the exactly same learned-by-rote compared to careful >>> examination of the philosophical foundations that I have been talking
unread,
Why people here can't understand me
PM,
olcott
wrote: >>> This is the exactly same learned-by-rote compared to careful >>> examination of the philosophical foundations that I have been talking
8/11/23
olcott
,
Richard Damon
4
8/9/23
G := ~(F ⊢ G)
PM,
olcott
wrote: > On 8/9/2023 4:07 PM,
olcott
wrote: >> G := ~(F ⊢ G) >> When G asserts its own unprovability in F the proof of G in F requires a >> sequence of inference
unread,
G := ~(F ⊢ G)
PM,
olcott
wrote: > On 8/9/2023 4:07 PM,
olcott
wrote: >> G := ~(F ⊢ G) >> When G asserts its own unprovability in F the proof of G in F requires a >> sequence of inference
8/9/23
olcott
,
Richard Damon
3
8/8/23
Speaking with people that already hold my same philosophical positions
5,
olcott
wrote: >> Speaking with people that already hold my same philosophical positions >> seems to make much more sense than having random strangers critique my >
unread,
Speaking with people that already hold my same philosophical positions
5,
olcott
wrote: >> Speaking with people that already hold my same philosophical positions >> seems to make much more sense than having random strangers critique my >
8/8/23
olcott
, …
Richard Damon
12
7/20/23
ChatGPT defining a formal system that eliminates Tarski Undefinability and Gödel Incompleteness
PM,
olcott
wrote: > On 7/19/2023 9:45 PM, André G. Isaak wrote: >> On 2023-07-19 20:32,
olcott
wrote: >>> On 7/19/2023 9:20 PM, André G. Isaak wrote: >>>
unread,
ChatGPT defining a formal system that eliminates Tarski Undefinability and Gödel Incompleteness
PM,
olcott
wrote: > On 7/19/2023 9:45 PM, André G. Isaak wrote: >> On 2023-07-19 20:32,
olcott
wrote: >>> On 7/19/2023 9:20 PM, André G. Isaak wrote: >>>
7/20/23
olcott
, …
Richard Damon
84
7/4/23
Decidability Decider H
PM,
olcott
wrote: > On 7/4/2023 8:27 AM, Richard Damon wrote: >> On 7/4/23 12:57 AM,
olcott
wrote: >>> On 7/3/2023 11:06 PM, Richard Damon wrote: >>>>
unread,
Decidability Decider H
PM,
olcott
wrote: > On 7/4/2023 8:27 AM, Richard Damon wrote: >> On 7/4/23 12:57 AM,
olcott
wrote: >>> On 7/3/2023 11:06 PM, Richard Damon wrote: >>>>
7/4/23
olcott
,
Richard Damon
56
6/27/23
Termination Analyzer H is Not Fooled by Pathological Input D
PM,
olcott
wrote: > On 6/27/2023 6:52 AM, Richard Damon wrote: >> On 6/26/23 11:34 PM,
olcott
wrote: >>> On 6/26/2023 9:13 PM, Richard Damon wrote: >>>
unread,
Termination Analyzer H is Not Fooled by Pathological Input D
PM,
olcott
wrote: > On 6/27/2023 6:52 AM, Richard Damon wrote: >> On 6/26/23 11:34 PM,
olcott
wrote: >>> On 6/26/2023 9:13 PM, Richard Damon wrote: >>>
6/27/23
olcott
,
Richard Damon
3
6/22/23
Refutation of the Ben Bacarisse Rebuttal and [Liar Paradox]
AM,
olcott
wrote: > On 6/19/2023 3:08 PM, Ben Bacarisse wrote: > > Just a reminder that you are arguing with someone who has declared that > > the wrong answer is the right
unread,
Refutation of the Ben Bacarisse Rebuttal and [Liar Paradox]
AM,
olcott
wrote: > On 6/19/2023 3:08 PM, Ben Bacarisse wrote: > > Just a reminder that you are arguing with someone who has declared that > > the wrong answer is the right
6/22/23
olcott
, …
Richard Damon
30
6/22/23
Refutation of the Ben Bacarisse Rebuttal
PM,
olcott
wrote: > On 6/20/2023 6:48 AM, Ben Bacarisse wrote: >> Richard Damon writes: >> ... >> >> If it's all the same to you, I'd much rather
unread,
Refutation of the Ben Bacarisse Rebuttal
PM,
olcott
wrote: > On 6/20/2023 6:48 AM, Ben Bacarisse wrote: >> Richard Damon writes: >> ... >> >> If it's all the same to you, I'd much rather
6/22/23
olcott
, …
Richard Damon
71
6/22/23
ChatGPT agrees that the halting problem input can be construed as an incorrect question
AM,
olcott
wrote: > On 6/22/2023 6:26 AM, Richard Damon wrote: >> On 6/21/23 10:58 PM,
olcott
wrote: >>> On 6/21/2023 9:47 PM, Richard Damon wrote: >>>
unread,
ChatGPT agrees that the halting problem input can be construed as an incorrect question
AM,
olcott
wrote: > On 6/22/2023 6:26 AM, Richard Damon wrote: >> On 6/21/23 10:58 PM,
olcott
wrote: >>> On 6/21/2023 9:47 PM, Richard Damon wrote: >>>
6/22/23