Groups
Conversations
All groups and messages
Send feedback to Google
Help
Account
Search
Maps
YouTube
Play
News
Gmail
Meet
Chat
Contacts
Drive
Calendar
Translate
Photos
Duo
Chrome
Shopping
Finance
Docs
Sheets
Slides
Books
Blogger
Hangouts
Keep
Jamboard
Earth
Collections
Arts and Culture
Google Ads
Podcasts
Stadia
Travel
Forms
More from Google
Sign in
Groups
comp.ai.philosophy
Conversations
About
comp.ai.philosophy
1–30 of 19429
Mark all as read
Report abusive group
0 selected
olcott
11
Jul 31
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ]
On 7/31/2021 5:53 PM, Andy Walker wrote: > On 31/07/2021 01:42, olcott wrote: >> [...] At
unread,
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ]
On 7/31/2021 5:53 PM, Andy Walker wrote: > On 31/07/2021 01:42, olcott wrote: >> [...] At
Jul 31
olcott
8
Jul 31
Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
On 7/31/2021 5:17 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Theorem ]
On 7/31/2021 5:17 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Jul 31
olcott
Jul 31
Re: The HP does not exist as stated .. [ Simulating halt deciders ]
On 7/31/2021 3:59 PM, Mr Flibble wrote: > .. because it is predicated on an erroneous
unread,
Re: The HP does not exist as stated .. [ Simulating halt deciders ]
On 7/31/2021 3:59 PM, Mr Flibble wrote: > .. because it is predicated on an erroneous
Jul 31
olcott
,
Jeff Barnett
31
Jul 31
Re: Black box halt decider is NOT a partial decider [ paradox rather than contradiction ]
On 7/31/2021 2:23 PM, Richard Damon wrote: > On 7/31/21 11:57 AM, olcott wrote: >> On 7/31/
unread,
Re: Black box halt decider is NOT a partial decider [ paradox rather than contradiction ]
On 7/31/2021 2:23 PM, Richard Damon wrote: > On 7/31/21 11:57 AM, olcott wrote: >> On 7/31/
Jul 31
olcott
Jul 30
Pathological self-reference(Olcott 2004) decider
int Factorial(int n) { Output("Factorial(n)",n); if (n > 1) return n * Factorial(n - 1);
unread,
Pathological self-reference(Olcott 2004) decider
int Factorial(int n) { Output("Factorial(n)",n); if (n > 1) return n * Factorial(n - 1);
Jul 30
olcott
3
Jul 29
Re: HP proofs appear to be peer reviewed garbage
On 7/29/2021 4:14 PM, André G. Isaak wrote: > On 2021-07-29 15:04, olcott wrote: > >> I
unread,
Re: HP proofs appear to be peer reviewed garbage
On 7/29/2021 4:14 PM, André G. Isaak wrote: > On 2021-07-29 15:04, olcott wrote: > >> I
Jul 29
olcott
,
Mr Flibble
4
Jul 28
Re: The contradiction that the HP is predicated on is detectable ..
On 7/28/2021 11:35 AM, Mr Flibble wrote: > On Tue, 27 Jul 2021 16:06:09 -0500 > olcott <
unread,
Re: The contradiction that the HP is predicated on is detectable ..
On 7/28/2021 11:35 AM, Mr Flibble wrote: > On Tue, 27 Jul 2021 16:06:09 -0500 > olcott <
Jul 28
MARTIN ZAPICO EX OF NAZIFASCIST MORGAN STANLEY
Jul 26
É DA ARRESTARE L'AVVOCATO ASSASSINO DANIELE MINOTTI, L'AVVOCATO MASSO卐NAZISTA, SATA卐NAZISTA, PEDOFILO ED ASSASSINO DANIELE MINOTTI (FACEBOOK) DI CRIMINALISSIMO STUDIO LEGALE LISI.
É DA ARRESTARE L'AVVOCATO ASSASSINO DANIELE MINOTTI, L'AVVOCATO MASSO卐NAZISTA, SATA卐NAZISTA,
unread,
É DA ARRESTARE L'AVVOCATO ASSASSINO DANIELE MINOTTI, L'AVVOCATO MASSO卐NAZISTA, SATA卐NAZISTA, PEDOFILO ED ASSASSINO DANIELE MINOTTI (FACEBOOK) DI CRIMINALISSIMO STUDIO LEGALE LISI.
É DA ARRESTARE L'AVVOCATO ASSASSINO DANIELE MINOTTI, L'AVVOCATO MASSO卐NAZISTA, SATA卐NAZISTA,
Jul 26
olcott
22
Jul 26
How is H(P,P)==0 correct even though P(P) stops running?
On 7/25/2021 3:02 PM, Mike Terry wrote: > On 25/07/2021 04:07, Ben Bacarisse wrote: >>
unread,
How is H(P,P)==0 correct even though P(P) stops running?
On 7/25/2021 3:02 PM, Mike Terry wrote: > On 25/07/2021 04:07, Ben Bacarisse wrote: >>
Jul 26
mail...@gmail.com
,
Don Stockbauer
2
Jul 25
The Rwandan genocide: still questions
On Saturday, July 24, 2021 at 11:26:18 PM UTC-5, mail...@gmail.com wrote: > Rwandan genocide: the
unread,
The Rwandan genocide: still questions
On Saturday, July 24, 2021 at 11:26:18 PM UTC-5, mail...@gmail.com wrote: > Rwandan genocide: the
Jul 25
olcott
, …
Don Stockbauer
92
Jul 23
What if a cat barks?
On Friday, July 23, 2021 at 3:19:44 PM UTC-5, assumed.i...@gmail.com wrote: > On Thursday, July 22
unread,
What if a cat barks?
On Friday, July 23, 2021 at 3:19:44 PM UTC-5, assumed.i...@gmail.com wrote: > On Thursday, July 22
Jul 23
olcott
,
David Brown
24
Jul 23
Re: Halting Problem Solved (Black Box Decider Theory)
On 7/22/2021 6:53 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Re: Halting Problem Solved (Black Box Decider Theory)
On 7/22/2021 6:53 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Jul 23
olcott
,
Mr Flibble
29
Jul 21
Re: Halting Problem Solved? (Black Box Decider Theory) V2
On 7/21/2021 5:59 PM, André G. Isaak wrote: > On 2021-07-21 16:21, olcott wrote: >> On 7/21/
unread,
Re: Halting Problem Solved? (Black Box Decider Theory) V2
On 7/21/2021 5:59 PM, André G. Isaak wrote: > On 2021-07-21 16:21, olcott wrote: >> On 7/21/
Jul 21
olcott
,
Mr Flibble
40
Jul 21
Re: Olcott's theory
On 7/21/2021 10:49 AM, Peter wrote: > olcott wrote: >> On 7/21/2021 12:55 AM, Peter wrote:
unread,
Re: Olcott's theory
On 7/21/2021 10:49 AM, Peter wrote: > olcott wrote: >> On 7/21/2021 12:55 AM, Peter wrote:
Jul 21
olcott
,
Mr Flibble
28
Jul 20
Re: Halting problem erroneously defined
On 7/19/2021 7:38 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Re: Halting problem erroneously defined
On 7/19/2021 7:38 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Jul 20
olcott
,
Mr Flibble
13
Jul 20
Re: Halting Problem proofs appear to be bogus!
On 7/19/2021 7:35 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Re: Halting Problem proofs appear to be bogus!
On 7/19/2021 7:35 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Jul 20
olcott
3
Jul 20
Simulating halt decider H correctly decides halt status of pathological inputs (V2)
On 7/19/2021 7:35 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Simulating halt decider H correctly decides halt status of pathological inputs (V2)
On 7/19/2021 7:35 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Jul 20
olcott
2
Jul 20
Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ]
On 7/19/2021 2:40 PM, Peter wrote: > olcott wrote: >> On 7/10/2021 12:00 PM, Mr Flibble
unread,
Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ]
On 7/19/2021 2:40 PM, Peter wrote: > olcott wrote: >> On 7/10/2021 12:00 PM, Mr Flibble
Jul 20
olcott
, …
Kenny McCormack
90
Jul 19
How do we know that H(P,P)==0 is correct?
On 7/17/2021 8:27 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
How do we know that H(P,P)==0 is correct?
On 7/17/2021 8:27 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Jul 19
olcott
,
David Brown
7
Jul 19
Re: Halting Problem Solved (Black Box Decider Theory) [ Flibble is correct ]
On 7/18/2021 4:43 AM, David Brown wrote: > On 17/07/2021 18:40, olcott wrote: >> On 7/17/
unread,
Re: Halting Problem Solved (Black Box Decider Theory) [ Flibble is correct ]
On 7/18/2021 4:43 AM, David Brown wrote: > On 17/07/2021 18:40, olcott wrote: >> On 7/17/
Jul 19
olcott
Jul 19
Re: Undecidablity of halting problem and pathological programs
On 7/18/2021 5:43 AM, David Brown wrote: > Olcott and Mr. Flibble have got themselves tied up with
unread,
Re: Undecidablity of halting problem and pathological programs
On 7/18/2021 5:43 AM, David Brown wrote: > Olcott and Mr. Flibble have got themselves tied up with
Jul 19
olcott
Jul 19
Re: Proof by contradiction? HP solved. [ PSR Error ]
On 7/18/2021 7:20 AM, Mr Flibble wrote: > Proof by contradiction and contradiction are not the
unread,
Re: Proof by contradiction? HP solved. [ PSR Error ]
On 7/18/2021 7:20 AM, Mr Flibble wrote: > Proof by contradiction and contradiction are not the
Jul 19
olcott
Jul 19
Re: Proof by contradiction? HP solved. [ pathology removed ]
On 7/18/2021 8:35 AM, Ben Bacarisse wrote: > Mr Flibble <flibble@reddwarf.jmc> writes: >
unread,
Re: Proof by contradiction? HP solved. [ pathology removed ]
On 7/18/2021 8:35 AM, Ben Bacarisse wrote: > Mr Flibble <flibble@reddwarf.jmc> writes: >
Jul 19
olcott
2
Jul 17
X86 based simulating halt decider H correctly decides halt status of pathological input P(P)
On 7/17/2021 1:36 PM, olcott wrote: > // Strachey(1965) "An impossible program" > //
unread,
X86 based simulating halt decider H correctly decides halt status of pathological input P(P)
On 7/17/2021 1:36 PM, olcott wrote: > // Strachey(1965) "An impossible program" > //
Jul 17
olcott
Jul 17
Re: Halting Problem Solved? (Black Box Decider Theory) [ Rice's Theorem ]
On 7/17/2021 10:12 AM, Alan Mackenzie wrote: > Mr Flibble <flibble@reddwarf.jmc> wrote: >
unread,
Re: Halting Problem Solved? (Black Box Decider Theory) [ Rice's Theorem ]
On 7/17/2021 10:12 AM, Alan Mackenzie wrote: > Mr Flibble <flibble@reddwarf.jmc> wrote: >
Jul 17
olcott
Jul 17
The nature of correct proofs
On 7/17/2021 9:40 AM, Alan Mackenzie wrote: > olcott <NoOne@nowhere.com> wrote: >> On
unread,
The nature of correct proofs
On 7/17/2021 9:40 AM, Alan Mackenzie wrote: > olcott <NoOne@nowhere.com> wrote: >> On
Jul 17
iaeng imecs_wce_wcecs_a
Jul 15
Call for Papers Reminder (extended): International MultiConference of Engineers and Computer Scientists (IMECS 2021)
Call for Papers Reminder (extended): International MultiConference of Engineers and Computer
unread,
Call for Papers Reminder (extended): International MultiConference of Engineers and Computer Scientists (IMECS 2021)
Call for Papers Reminder (extended): International MultiConference of Engineers and Computer
Jul 15
wj4...@gmail.com
, …
comp code
56
Jul 15
The Easiest App to Fuck Local Girls : Free Meet n Fuck App
On Wednesday, September 2, 2020 at 11:07:41 PM UTC+5:30, wj4...@gmail.com wrote: > The Easiest App
unread,
The Easiest App to Fuck Local Girls : Free Meet n Fuck App
On Wednesday, September 2, 2020 at 11:07:41 PM UTC+5:30, wj4...@gmail.com wrote: > The Easiest App
Jul 15
linda sara
, …
comp code
59
Jul 15
One Night Stand: How To Find Local Girls & Women Near Me
On Tuesday, September 1, 2020 at 9:30:32 AM UTC+5:30, sarali...@gmail.com wrote: > Here is the
unread,
One Night Stand: How To Find Local Girls & Women Near Me
On Tuesday, September 1, 2020 at 9:30:32 AM UTC+5:30, sarali...@gmail.com wrote: > Here is the
Jul 15
jiyaja...@gmail.com
, …
comp code
49
Jul 15
Top 5 Casual Dating Sites ⇒ Join the Best Hookup Sites!
On Wednesday, September 2, 2020 at 11:23:03 PM UTC+5:30, jiyaja...@gmail.com wrote: > Top 5 Casual
unread,
Top 5 Casual Dating Sites ⇒ Join the Best Hookup Sites!
On Wednesday, September 2, 2020 at 11:23:03 PM UTC+5:30, jiyaja...@gmail.com wrote: > Top 5 Casual
Jul 15
