comp.ai.philosophy

1–30 of 19469

0 selected

11:11 AM

Re: Scientific reasoning

On 10/27/2021 6:34 PM, Richard Damon wrote: > On 10/27/21 9:51 AM, olcott wrote: >> On 10/27

unread,

Re: Scientific reasoning

On 10/27/2021 6:34 PM, Richard Damon wrote: > On 10/27/21 9:51 AM, olcott wrote: >> On 10/27

11:11 AM

olcott, … André G. Isaak11

Oct 26

Simulating Halt Decider Theorem (Olcott 2021)

On 10/26/2021 2:11 PM, André G. Isaak wrote: > On 2021-10-26 11:41, olcott wrote: >> On 10/

unread,

Simulating Halt Decider Theorem (Olcott 2021)

On 10/26/2021 2:11 PM, André G. Isaak wrote: > On 2021-10-26 11:41, olcott wrote: >> On 10/

Oct 26

Oct 26

The foundation of analytic knowledge refuting the Münchhausen trilemma

On 10/26/2021 11:07 AM, Peter wrote: > olcott wrote: >> On 10/26/2021 10:18 AM, Peter wrote:

unread,

The foundation of analytic knowledge refuting the Münchhausen trilemma

On 10/26/2021 11:07 AM, Peter wrote: > olcott wrote: >> On 10/26/2021 10:18 AM, Peter wrote:

Oct 26

olcott, Jeff Barnett10

Oct 25

Re: Clarification of Linz Ĥ Description [ untainted decision ]

On 10/25/2021 7:46 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >

unread,

Re: Clarification of Linz Ĥ Description [ untainted decision ]

On 10/25/2021 7:46 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >

Oct 25

Oct 25

Re: Vacuously TRUE vs Vacuously FALSE? [ natural preexisting order of the body of knowledge ]

olcott wrote: > On 10/25/2021 10:00 AM, Peter wrote: >> olcott wrote: >>> On 10/24/

unread,

Re: Vacuously TRUE vs Vacuously FALSE? [ natural preexisting order of the body of knowledge ]

olcott wrote: > On 10/25/2021 10:00 AM, Peter wrote: >> olcott wrote: >>> On 10/24/

Oct 25

Oct 25

I finally completed my lexical analyzer generator (needed by my halt decider)

On 10/24/2021 12:37 PM, Richard Damon wrote: > On 10/24/21 10:04 AM, olcott wrote: >> On 10/

unread,

I finally completed my lexical analyzer generator (needed by my halt decider)

On 10/24/2021 12:37 PM, Richard Damon wrote: > On 10/24/21 10:04 AM, olcott wrote: >> On 10/

Oct 25

Oct 25

Re: Vacuously TRUE vs Vacuously FALSE? [ properties of elements of the empty set ]

olcott wrote: > On 10/24/2021 9:59 AM, Dan Christensen wrote: >> On Sunday, October 24, 2021

unread,

Re: Vacuously TRUE vs Vacuously FALSE? [ properties of elements of the empty set ]

olcott wrote: > On 10/24/2021 9:59 AM, Dan Christensen wrote: >> On Sunday, October 24, 2021

Oct 25

Oct 23

Re: Scientific reasoning H(P,P) and Ĥq0 ⟨Ĥ⟩ ⟨Ĥ⟩

On 10/23/2021 12:13 PM, Richard Damon wrote: > On 10/23/21 12:59 PM, olcott wrote: >> On 10/

unread,

Re: Scientific reasoning H(P,P) and Ĥq0 ⟨Ĥ⟩ ⟨Ĥ⟩

On 10/23/2021 12:13 PM, Richard Damon wrote: > On 10/23/21 12:59 PM, olcott wrote: >> On 10/

Oct 23

olcott, … Peter7

Oct 21

Abolishing Russell's paradox using a knowledge ontology

olcott wrote: > On 10/19/2021 12:48 PM, Peter wrote: >> olcott wrote: >>> I

unread,

Abolishing Russell's paradox using a knowledge ontology

olcott wrote: > On 10/19/2021 12:48 PM, Peter wrote: >> olcott wrote: >>> I

Oct 21

olcott, Jim Burns14

Oct 19

My augmentation to foundationalism

On 10/18/2021 6:50 PM, Jim Burns wrote: > On 10/18/2021 7:33 PM, olcott wrote: >> On 10/18/

unread,

My augmentation to foundationalism

On 10/18/2021 6:50 PM, Jim Burns wrote: > On 10/18/2021 7:33 PM, olcott wrote: >> On 10/18/

Oct 19

Oct 15

Re: The Vacuous Truth about the Present King of France: **** CORRECTION *** {vacuous truth}

On 10/15/2021 10:06 AM, Dan Christensen wrote: > On Friday, October 15, 2021 at 9:43:01 AM UTC-4,

unread,

Re: The Vacuous Truth about the Present King of France: **** CORRECTION *** {vacuous truth}

On 10/15/2021 10:06 AM, Dan Christensen wrote: > On Friday, October 15, 2021 at 9:43:01 AM UTC-4,

Oct 15

olcott, … Don Stockbauer123

Oct 9

What if a cat barks?

On Thursday, October 7, 2021 at 7:08:51 AM UTC-5, Don Stockbauer wrote: > On Wednesday, October 6,

unread,

What if a cat barks?

On Thursday, October 7, 2021 at 7:08:51 AM UTC-5, Don Stockbauer wrote: > On Wednesday, October 6,

Oct 9

olcott, Jeff Barnett15

Oct 2

Clarification of Linz Ĥ Description

On 10/2/2021 3:15 PM, Ben Bacarisse wrote: > Richard Damon <Richard@Damon-Family.org> writes

unread,

Clarification of Linz Ĥ Description

On 10/2/2021 3:15 PM, Ben Bacarisse wrote: > Richard Damon <Richard@Damon-Family.org> writes

Oct 2

Sep 30

The key basis of my refutation of the halting theorem

On 9/30/2021 4:38 AM, zelos...@gmail.com wrote: > måndag 27 september 2021 kl. 21:35:05 UTC+2

unread,

The key basis of my refutation of the halting theorem

On 9/30/2021 4:38 AM, zelos...@gmail.com wrote: > måndag 27 september 2021 kl. 21:35:05 UTC+2

Sep 30

Sep 28

Re: People who believe Trump won without evidence are correctly called psychotic

On 9/28/2021 2:20 PM, Charlie-Boo wrote: > > No Program Synthesis article or book gives a

unread,

Re: People who believe Trump won without evidence are correctly called psychotic

On 9/28/2021 2:20 PM, Charlie-Boo wrote: > > No Program Synthesis article or book gives a

Sep 28

olcott, Jeff Barnett14

Sep 27

It looks like I can exactly duplicate the Linz proof in x86 without static data

On 9/27/2021 10:14 PM, André G. Isaak wrote: > On 2021-09-27 20:52, olcott wrote: >> On 9/27

unread,

It looks like I can exactly duplicate the Linz proof in x86 without static data

On 9/27/2021 10:14 PM, André G. Isaak wrote: > On 2021-09-27 20:52, olcott wrote: >> On 9/27

Sep 27

Sep 27

Re: Infinitely Recursive input on HP Proofs

On 3/11/2017 3:13 PM, peteolcott wrote: > http://LiarParadox.org/HP_Infinite_Recursion.pdf >

unread,

Re: Infinitely Recursive input on HP Proofs

On 3/11/2017 3:13 PM, peteolcott wrote: > http://LiarParadox.org/HP_Infinite_Recursion.pdf >

Sep 27

Sep 25

Is it possible to create a simple infinite emulation detector?

On 9/25/2021 6:55 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >

unread,

Is it possible to create a simple infinite emulation detector?

On 9/25/2021 6:55 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >

Sep 25

Douglas Eagleson, Don Stockbauer3

Sep 24

The Second Abstraction of AI

On Friday, September 24, 2021 at 2:19:53 PM UTC-5, Douglas Eagleson wrote: > On Monday, September

unread,

The Second Abstraction of AI

On Friday, September 24, 2021 at 2:19:53 PM UTC-5, Douglas Eagleson wrote: > On Monday, September

Sep 24

Sep 21

Re: Why do theory of computation problems require pure functions? [ computation ? ]

On 9/20/2021 11:42 PM, Richard Damon wrote: > On 9/21/21 12:03 AM, olcott wrote: >> On 9/20/

unread,

Re: Why do theory of computation problems require pure functions? [ computation ? ]

On 9/20/2021 11:42 PM, Richard Damon wrote: > On 9/21/21 12:03 AM, olcott wrote: >> On 9/20/

Sep 21

olcott, Jeff Barnett13

Sep 20

Why do theory of computation problems require pure functions?

On 9/20/2021 9:45 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >

unread,

Why do theory of computation problems require pure functions?

On 9/20/2021 9:45 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >

Sep 20

Sep 20

Re: Must a partial halt decider be a pure function of its inputs?

On 9/20/2021 12:59 PM, André G. Isaak wrote: > On 2021-09-20 11:42, olcott wrote: >> On 9/20

unread,

Re: Must a partial halt decider be a pure function of its inputs?

On 9/20/2021 12:59 PM, André G. Isaak wrote: > On 2021-09-20 11:42, olcott wrote: >> On 9/20

Sep 20

olcott, Mr Flibble13

Sep 19

Re: Must a partial halt decider be a pure function of its inputs? (addendum)

On Sun, 19 Sep 2021 15:08:54 -0500 olcott <NoOne@NoWhere.com> wrote: > On 9/19/2021 2:29 PM,

unread,

Re: Must a partial halt decider be a pure function of its inputs? (addendum)

On Sun, 19 Sep 2021 15:08:54 -0500 olcott <NoOne@NoWhere.com> wrote: > On 9/19/2021 2:29 PM,

Sep 19

Sep 17

Re: The key mistake of the Peter Linz HP proof [ Liar Liar pants on fire ]

On 9/17/2021 1:27 PM, Mr Flibble wrote: > On Sat, 4 Sep 2021 17:52:27 -0500 > olcott <NoOne@

unread,

Re: The key mistake of the Peter Linz HP proof [ Liar Liar pants on fire ]

On 9/17/2021 1:27 PM, Mr Flibble wrote: > On Sat, 4 Sep 2021 17:52:27 -0500 > olcott <NoOne@

Sep 17

rock metro, Don Stockbauer3

Sep 16

ESCORTS PUNE GIRLS

On Tuesday, September 14, 2021 at 10:35:36 PM UTC-5, Don Stockbauer wrote: > On Tuesday, September

unread,

ESCORTS PUNE GIRLS

On Tuesday, September 14, 2021 at 10:35:36 PM UTC-5, Don Stockbauer wrote: > On Tuesday, September

Sep 16

olcott, André G. Isaak19

Sep 12

Re: That P(P) of main() halts does not contradict H(P,P)==0 [ Refuting Rice's Theorem ]

On 9/12/2021 1:35 PM, Richard Damon wrote: > On 9/12/21 2:00 PM, olcott wrote: >> On 9/12/

unread,

Re: That P(P) of main() halts does not contradict H(P,P)==0 [ Refuting Rice's Theorem ]

On 9/12/2021 1:35 PM, Richard Damon wrote: > On 9/12/21 2:00 PM, olcott wrote: >> On 9/12/

Sep 12

Simon Laub, … Doc O'Leary3

Sep 10

Helgoland - a stepping stone forward for new ideas (in SF)?

For your reference, records indicate that Simon Laub <Simon.Laub@FILTER.mail.tele.dk> wrote:

unread,

Helgoland - a stepping stone forward for new ideas (in SF)?

For your reference, records indicate that Simon Laub <Simon.Laub@FILTER.mail.tele.dk> wrote:

Sep 10

jiyaja...@gmail.com, … anderw sara50

Sep 8

Top 5 Casual Dating Sites ⇒ Join the Best Hookup Sites!

On Wednesday, 2 September 2020 at 23:23:03 UTC+5:30, jiyaja...@gmail.com wrote: > Top 5 Casual

unread,

Top 5 Casual Dating Sites ⇒ Join the Best Hookup Sites!

On Wednesday, 2 September 2020 at 23:23:03 UTC+5:30, jiyaja...@gmail.com wrote: > Top 5 Casual

Sep 8

wj4...@gmail.com, … anderw sara57

Sep 8

The Easiest App to Fuck Local Girls : Free Meet n Fuck App

On Wednesday, 2 September 2020 at 23:07:41 UTC+5:30, wj4...@gmail.com wrote: > The Easiest App to

unread,

The Easiest App to Fuck Local Girls : Free Meet n Fuck App

On Wednesday, 2 September 2020 at 23:07:41 UTC+5:30, wj4...@gmail.com wrote: > The Easiest App to

Sep 8

jennife...@gmail.com, … anderw sara58

Sep 8

Free online dating sites without registration and payment - Fun Tonight

On Sunday, 30 August 2020 at 10:28:04 UTC+5:30, jennife...@gmail.com wrote: > Free online dating

unread,

Free online dating sites without registration and payment - Fun Tonight

On Sunday, 30 August 2020 at 10:28:04 UTC+5:30, jennife...@gmail.com wrote: > Free online dating

Sep 8

Search

Clear search

Close search

Google apps

Main menu