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 19453
Mark all as read
Report abusive group
0 selected
olcott
, …
Don Stockbauer
120
8:39 AM
What if a cat barks?
On Monday, September 20, 2021 at 6:46:34 AM UTC-5, Don Stockbauer wrote: > On Sunday, September 19
unread,
What if a cat barks?
On Monday, September 20, 2021 at 6:46:34 AM UTC-5, Don Stockbauer wrote: > On Sunday, September 19
8:39 AM
olcott
,
Jeff Barnett
13
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
olcott
5
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 Flibble
13
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
olcott
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 Stockbauer
3
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
Douglas Eagleson
Sep 13
The Second Abstraction of AI
I first posted in sci.crypt by mistake: And to new world begins:: Structuring an AI https://www.
unread,
The Second Abstraction of AI
I first posted in sci.crypt by mistake: And to new world begins:: Structuring an AI https://www.
Sep 13
olcott
,
André G. Isaak
19
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'Leary
3
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 sara
50
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 sara
57
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 sara
58
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
amelie whitee
, …
anderw sara
59
Sep 8
Find Local Swingers Online | Meet Girls Near Me | Single Women For Date
On Saturday, 29 August 2020 at 15:38:35 UTC+5:30, ameliewh...@gmail.com wrote: > FIND GIRLS NEAR
unread,
Find Local Swingers Online | Meet Girls Near Me | Single Women For Date
On Saturday, 29 August 2020 at 15:38:35 UTC+5:30, ameliewh...@gmail.com wrote: > FIND GIRLS NEAR
Sep 8
linda sara
, …
anderw sara
60
Sep 8
One Night Stand: How To Find Local Girls & Women Near Me
On Tuesday, 1 September 2020 at 09:30:32 UTC+5:30, sarali...@gmail.com wrote: > Here is the best
unread,
One Night Stand: How To Find Local Girls & Women Near Me
On Tuesday, 1 September 2020 at 09:30:32 UTC+5:30, sarali...@gmail.com wrote: > Here is the best
Sep 8
olcott
23
Sep 7
That P(P) of main() halts does not contradict H(P,P)==0 [ exception to the rule ]
On 9/7/2021 8:26 PM, Mike Terry wrote: > On 07/09/2021 23:26, Ben Bacarisse wrote:> Mike Terry
unread,
That P(P) of main() halts does not contradict H(P,P)==0 [ exception to the rule ]
On 9/7/2021 8:26 PM, Mike Terry wrote: > On 07/09/2021 23:26, Ben Bacarisse wrote:> Mike Terry
Sep 7
olcott
Sep 7
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ pure functions ][ Rice's Theorem ]
On 9/7/2021 10:39 AM, André G. Isaak wrote: > On 2021-09-07 08:26, olcott wrote: >> On 9/7/
unread,
Re: That P(P) of main() halts does not contradict H(P,P)==0 [ pure functions ][ Rice's Theorem ]
On 9/7/2021 10:39 AM, André G. Isaak wrote: > On 2021-09-07 08:26, olcott wrote: >> On 9/7/
Sep 7
olcott
4
Sep 5
The key mistake of the Peter Linz HP proof
On 9/5/2021 4:37 AM, Alan Mackenzie wrote: > Ben Bacarisse <ben.usenet@bsb.me.uk> wrote:
unread,
The key mistake of the Peter Linz HP proof
On 9/5/2021 4:37 AM, Alan Mackenzie wrote: > Ben Bacarisse <ben.usenet@bsb.me.uk> wrote:
Sep 5
olcott
4
Aug 30
Airtight proof that H(P,P)==0 is correct
On 8/30/2021 9:29 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Airtight proof that H(P,P)==0 is correct
On 8/30/2021 9:29 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Aug 30
olcott
14
Aug 28
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate)
On 8/28/2021 7:15 AM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Re: How do we know H(P,P)==0 is the correct halt status for the input to H? (possible duplicate)
On 8/28/2021 7:15 AM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Aug 28
olcott
Aug 23
H(P,P) is computationally distinct from P(P)
// Simplified Linz Ĥ (Linz:1990:319) // Strachey(1965) CPL translated to C void P(u32 x) { if (H(x, x
unread,
H(P,P) is computationally distinct from P(P)
// Simplified Linz Ĥ (Linz:1990:319) // Strachey(1965) CPL translated to C void P(u32 x) { if (H(x, x
Aug 23
olcott
16
Aug 23
How do we know H(P,P)==0 is the correct halt status for the input to H?
On 8/23/2021 12:58 PM, Malcolm McLean wrote: > On Monday, 23 August 2021 at 16:01:23 UTC+1, olcott
unread,
How do we know H(P,P)==0 is the correct halt status for the input to H?
On 8/23/2021 12:58 PM, Malcolm McLean wrote: > On Monday, 23 August 2021 at 16:01:23 UTC+1, olcott
Aug 23
olcott
Aug 20
Updated paper refutes the halting problem proofs
void P2(u32 x) { if (H1(x, x)) HERE: goto HERE; } int main() { Output("Input_Halts = ", H((
unread,
Updated paper refutes the halting problem proofs
void P2(u32 x) { if (H1(x, x)) HERE: goto HERE; } int main() { Output("Input_Halts = ", H((
Aug 20
olcott
Aug 19
How do we know H(P,P)==0 is the correct halt status for the input to H? (H1 copy of H)
To prove that H(P,P)==0 is correct we create an exact copy of H and change P to Call this exact copy:
unread,
How do we know H(P,P)==0 is the correct halt status for the input to H? (H1 copy of H)
To prove that H(P,P)==0 is correct we create an exact copy of H and change P to Call this exact copy:
Aug 19
mariy...@gmail.com
, …
LARA BRAN
150
Aug 18
Craigslist Personals Alternative site List For Sex Hookup & Dating
Want meet local girls sex dating for get laid? You can search and found 1000+ online dating profiles,
unread,
Craigslist Personals Alternative site List For Sex Hookup & Dating
Want meet local girls sex dating for get laid? You can search and found 1000+ online dating profiles,
Aug 18
olcott
2
Aug 14
How do we know H(P,P)==0 is the correct halt status for the input to H? (HTML for fixed width font)
On 8/14/2021 2:49 PM, dklei...@gmail.com wrote: > On Saturday, August 14, 2021 at 9:06:27 AM UTC-7
unread,
How do we know H(P,P)==0 is the correct halt status for the input to H? (HTML for fixed width font)
On 8/14/2021 2:49 PM, dklei...@gmail.com wrote: > On Saturday, August 14, 2021 at 9:06:27 AM UTC-7
Aug 14
olcott
,
Jeff Barnett
2
Aug 14
Any high school student knowing the x86 language can confirm this:
On 8/14/2021 8:24 AM, olcott wrote: > No one here has ever bothered to assess this they always
unread,
Any high school student knowing the x86 language can confirm this:
On 8/14/2021 8:24 AM, olcott wrote: > No one here has ever bothered to assess this they always
Aug 14
olcott
2
Aug 13
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction.
On 8/13/2021 3:58 AM, Malcolm McLean wrote: > On Thursday, 12 August 2021 at 16:50:19 UTC+1,
unread,
Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct and forms no contradiction.
On 8/13/2021 3:58 AM, Malcolm McLean wrote: > On Thursday, 12 August 2021 at 16:50:19 UTC+1,
Aug 13
olcott
43
Aug 12
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ]
On 8/12/2021 3:00 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
unread,
Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct ]
On 8/12/2021 3:00 PM, Ben Bacarisse wrote: > olcott <NoOne@NoWhere.com> writes: > >
Aug 12
olcott
16
Aug 11
Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0 is correct
On 8/11/2021 1:51 AM, Malcolm McLean wrote: > On Wednesday, 11 August 2021 at 00:08:50 UTC+1,
unread,
Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0 is correct
On 8/11/2021 1:51 AM, Malcolm McLean wrote: > On Wednesday, 11 August 2021 at 00:08:50 UTC+1,
Aug 11
Douglas Eagleson
3
Aug 8
Quantum logic in AI?
On Friday, August 6, 2021 at 4:07:37 PM UTC-4, Douglas Eagleson wrote: > I seem to remember that
unread,
Quantum logic in AI?
On Friday, August 6, 2021 at 4:07:37 PM UTC-4, Douglas Eagleson wrote: > I seem to remember that
Aug 8
