Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
comp.ai.philosophy
Conversations
About
comp.ai.philosophy
Contact owners and managers
1–30 of 19800
Mark all as read
Report abusive group
0 selected
olcott
, …
Jim Burns
20
12:01 AM
Gödel's 1931 incompleteness fails HOL
On 12/3/2023 9:57 PM, Jim Burns wrote: > On 12/3/2023 5:53 PM, olcott wrote: >> On 12/3/2023
unread,
Gödel's 1931 incompleteness fails HOL
On 12/3/2023 9:57 PM, Jim Burns wrote: > On 12/3/2023 5:53 PM, olcott wrote: >> On 12/3/2023
12:01 AM
Leroy N. Soetoro
Dec 1
The Pentagon is moving toward letting AI weapons autonomously decide to kill humans
https://www.yahoo.com/news/pentagon-moving-toward-letting-ai- 120645293.html The US is among
unread,
The Pentagon is moving toward letting AI weapons autonomously decide to kill humans
https://www.yahoo.com/news/pentagon-moving-toward-letting-ai- 120645293.html The US is among
Dec 1
Aliya Dewey
Nov 25
[Registration] PhAI 2023 @ Erlangen, Germany (Dec. 15–16)
Registration for PhAI 2023 is open! Please register before 12.12.23: https://www.pt-ai.org/2023/
unread,
[Registration] PhAI 2023 @ Erlangen, Germany (Dec. 15–16)
Registration for PhAI 2023 is open! Please register before 12.12.23: https://www.pt-ai.org/2023/
Nov 25
olcott
,
Richard Damon
29
Nov 21
Gödel's huge mistake
On 11/21/23 12:23 PM, olcott wrote: > On 11/21/2023 10:52 AM, olcott wrote: >> On 11/20/2023
unread,
Gödel's huge mistake
On 11/21/23 12:23 PM, olcott wrote: > On 11/21/2023 10:52 AM, olcott wrote: >> On 11/20/2023
Nov 21
olcott
,
Richard Damon
54
Nov 20
Undecidable decision problems are abolished
On 11/20/23 4:10 PM, olcott wrote: > On 11/20/2023 2:08 PM, olcott wrote: >> On 11/20/2023 1
unread,
Undecidable decision problems are abolished
On 11/20/23 4:10 PM, olcott wrote: > On 11/20/2023 2:08 PM, olcott wrote: >> On 11/20/2023 1
Nov 20
funsuckers
Nov 16
AI fun
Q. why are liberals mentally ill? A. I'm sorry, but I can't provide the information you'
unread,
AI fun
Q. why are liberals mentally ill? A. I'm sorry, but I can't provide the information you'
Nov 16
Leroy N. Soetoro
Nov 12
This grocery chain is doing away with self-checkout - the reason why might surprise you
https://nypost.com/2023/11/11/lifestyle/this-grocery-chain-is-doing-away- with-self-checkout-the-
unread,
This grocery chain is doing away with self-checkout - the reason why might surprise you
https://nypost.com/2023/11/11/lifestyle/this-grocery-chain-is-doing-away- with-self-checkout-the-
Nov 12
Leroy N. Soetoro
Nov 10
Biden's cabinet wants to know if ChatGPT can make a bioweapon
https://www.businessinsider.com/biden-cabinet-member-chatgpt-if-it-could- make-a-bioweapon-2023-11
unread,
Biden's cabinet wants to know if ChatGPT can make a bioweapon
https://www.businessinsider.com/biden-cabinet-member-chatgpt-if-it-could- make-a-bioweapon-2023-11
Nov 10
Consultant
,
Nicki makethings
2
Nov 10
Meta's AI-Powered Tom Brady Bot Trashes Colin Kaepernick, Saying He "Ain't Good Enough" to Play in the NFL
On Friday, November 10, 2023 at 7:22:51 AM UTC, Consultant wrote: > "Kaepernick ain't
unread,
Meta's AI-Powered Tom Brady Bot Trashes Colin Kaepernick, Saying He "Ain't Good Enough" to Play in the NFL
On Friday, November 10, 2023 at 7:22:51 AM UTC, Consultant wrote: > "Kaepernick ain't
Nov 10
Anonymous
Nov 7
Re: Self Referential Undecidability Construed as Incorrect Questions
olcott <polc...@gmail.com> wrote: > I will start simple with the most self-evident points
unread,
Re: Self Referential Undecidability Construed as Incorrect Questions
olcott <polc...@gmail.com> wrote: > I will start simple with the most self-evident points
Nov 7
Leroy N. Soetoro
Nov 4
Data centers are booming. Their need for power is causing utilities to retreat on green energy.
https://www.businessinsider.com/data-centers-energy-demand-utilities- green-renewable-2023-10?
unread,
Data centers are booming. Their need for power is causing utilities to retreat on green energy.
https://www.businessinsider.com/data-centers-energy-demand-utilities- green-renewable-2023-10?
Nov 4
Fucking TOLD YOU!
Nov 4
Obama Has Secretly (Illegally!) Been Working on AI for Biden
What happened to that fucking whore Kamala Harris??? Phone a Friend It turns out that former
unread,
Obama Has Secretly (Illegally!) Been Working on AI for Biden
What happened to that fucking whore Kamala Harris??? Phone a Friend It turns out that former
Nov 4
vallor
, …
Artist (nickis jobsearchespage)
8
Nov 3
Re: Message To Don Stockbauer
> > > > > > is a message for DonStockbauer kind of like call for Philip Morris?
unread,
Re: Message To Don Stockbauer
> > > > > > is a message for DonStockbauer kind of like call for Philip Morris?
Nov 3
Nicki makethings
Nov 3
The Bletchley Declaration by Countries Attending the AI Safety Summit, 1-2 November 2023
The Bletchley Declaration by Countries Attending the AI Safety Summit https://www.gov.uk/government/
unread,
The Bletchley Declaration by Countries Attending the AI Safety Summit, 1-2 November 2023
The Bletchley Declaration by Countries Attending the AI Safety Summit https://www.gov.uk/government/
Nov 3
Nicki Hatfield Elson makethings
3
Nov 2
UK hosting a two day AI safety summit next week
On Wednesday, November 1, 2023 at 10:58:19 PM UTC, Nicki makethings wrote: > On Thursday, October
unread,
UK hosting a two day AI safety summit next week
On Wednesday, November 1, 2023 at 10:58:19 PM UTC, Nicki makethings wrote: > On Thursday, October
Nov 2
olcott
, …
Richard Damon
60
Oct 30
Does the halting problem actually limit what computers can do?
On 10/30/23 5:39 PM, olcott wrote: > On 10/30/2023 7:04 PM, olcott wrote: >> On 10/30/2023 6
unread,
Does the halting problem actually limit what computers can do?
On 10/30/23 5:39 PM, olcott wrote: > On 10/30/2023 7:04 PM, olcott wrote: >> On 10/30/2023 6
Oct 30
Douglas Eagleson
,
Nicki makethings
8
Oct 28
A Formal Utter from Douglas Miller Eagleson
On Saturday, October 28, 2023 at 8:33:34 AM UTC+1, Douglas Eagleson wrote: > On Sunday, October 22
unread,
A Formal Utter from Douglas Miller Eagleson
On Saturday, October 28, 2023 at 8:33:34 AM UTC+1, Douglas Eagleson wrote: > On Sunday, October 22
Oct 28
olcott
,
Richard Damon
51
Oct 28
a computation is not allowed to report on the machine that it is embedded within
On 10/27/23 9:15 PM, olcott wrote: > On 10/27/2023 9:24 PM, olcott wrote: >> On 10/27/2023 8
unread,
a computation is not allowed to report on the machine that it is embedded within
On 10/27/23 9:15 PM, olcott wrote: > On 10/27/2023 9:24 PM, olcott wrote: >> On 10/27/2023 8
Oct 28
olcott
,
Richard Damon
22
Oct 26
Analyzing the Peter Linz Halting Problem Proof
On 10/26/23 8:45 AM, olcott wrote: > On 10/25/2023 11:34 PM, olcott wrote: >> On 10/25/2023
unread,
Analyzing the Peter Linz Halting Problem Proof
On 10/26/23 8:45 AM, olcott wrote: > On 10/25/2023 11:34 PM, olcott wrote: >> On 10/25/2023
Oct 26
olcott
,
Richard Damon
6
Oct 24
Mathematical undecidability is an unsound notion V2
On 10/24/23 1:16 PM, olcott wrote: > On 10/24/2023 12:54 PM, olcott wrote: >> On 10/24/2023
unread,
Mathematical undecidability is an unsound notion V2
On 10/24/23 1:16 PM, olcott wrote: > On 10/24/2023 12:54 PM, olcott wrote: >> On 10/24/2023
Oct 24
useapen
Oct 22
Data centers are sprouting up as a result of the AI boom, minting fortunes, sucking up energy, and changing rural America
The AI boom has triggered a surge in spending on data centers. These data centers require billions of
unread,
Data centers are sprouting up as a result of the AI boom, minting fortunes, sucking up energy, and changing rural America
The AI boom has triggered a surge in spending on data centers. These data centers require billions of
Oct 22
olcott
, …
Richard Damon
3
Oct 21
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO)
On 10/21/23 12:20 PM, olcott wrote: > On 10/21/2023 1:24 PM, olcott wrote: >> This is one of
unread,
Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO)
On 10/21/23 12:20 PM, olcott wrote: > On 10/21/2023 1:24 PM, olcott wrote: >> This is one of
Oct 21
olcott
,
Richard Damon
8
Oct 20
Simplest Possible Halting Problem Proof Rebuttal
On 10/20/23 11:59 AM, olcott wrote: > On 10/19/2023 6:21 AM, Paul N wrote: >> On Thursday,
unread,
Simplest Possible Halting Problem Proof Rebuttal
On 10/20/23 11:59 AM, olcott wrote: > On 10/19/2023 6:21 AM, Paul N wrote: >> On Thursday,
Oct 20
olcott
,
Richard Damon
29
Oct 18
Simplified Halting Problem Proof Rebuttal
On 10/18/23 10:48 AM, olcott wrote: > On 10/17/2023 11:10 PM, olcott wrote: >> On 10/16/2023
unread,
Simplified Halting Problem Proof Rebuttal
On 10/18/23 10:48 AM, olcott wrote: > On 10/17/2023 11:10 PM, olcott wrote: >> On 10/16/2023
Oct 18
bert
Oct 16
Re: Even AI is getting canceled by wokesters at Harvard
bigdog <geowri...@gmail.com> wrote in news:346e02ac-87b7-4570-83d0-24eff6835adan@
unread,
Re: Even AI is getting canceled by wokesters at Harvard
bigdog <geowri...@gmail.com> wrote in news:346e02ac-87b7-4570-83d0-24eff6835adan@
Oct 16
Nicki Hatfield Elson makethings
Oct 14
Dyslexia or Neurodivergent?
UK IPO have some encouraging news; https://ipo.blog.gov.uk/2023/10/04/dyslexia-its-a-different-way-of
unread,
Dyslexia or Neurodivergent?
UK IPO have some encouraging news; https://ipo.blog.gov.uk/2023/10/04/dyslexia-its-a-different-way-of
Oct 14
Alphabet Social Meddling
,
Nicki Hatfield Elson makethings
3
Oct 14
google's AI black-on-white multicultural commercials, the next Bud Light
On Saturday, October 14, 2023 at 6:10:23 PM UTC+1, Nicki Hatfield Elson makethings wrote: > On
unread,
google's AI black-on-white multicultural commercials, the next Bud Light
On Saturday, October 14, 2023 at 6:10:23 PM UTC+1, Nicki Hatfield Elson makethings wrote: > On
Oct 14
Aliya Dewey
Sep 21
[CFA due Oct. 15] PhAI 2023 @ Erlangen, Germany (Dec. 15–16)
PhAI 2023: 5th Conference on Philosophy of AI (A conference of the Society for Philosophy of AI) 15-
unread,
[CFA due Oct. 15] PhAI 2023 @ Erlangen, Germany (Dec. 15–16)
PhAI 2023: 5th Conference on Philosophy of AI (A conference of the Society for Philosophy of AI) 15-
Sep 21
olcott
,
Richard Damon
2
Aug 30
Incompleteness is more aptly construed as the non-sequitur error
On 8/30/23 9:07 PM, olcott wrote: > Gödel incompleteness is more aptly construed as the non-
unread,
Incompleteness is more aptly construed as the non-sequitur error
On 8/30/23 9:07 PM, olcott wrote: > Gödel incompleteness is more aptly construed as the non-
Aug 30
olcott
,
Richard Damon
25
Aug 28
Termination Analyzer H is Not Fooled by Pathological Input D
On 8/28/23 11:05 AM, olcott wrote: > On 8/27/2023 2:31 PM, olcott wrote: >> On 8/27/2023 12:
unread,
Termination Analyzer H is Not Fooled by Pathological Input D
On 8/28/23 11:05 AM, olcott wrote: > On 8/27/2023 2:31 PM, olcott wrote: >> On 8/27/2023 12:
Aug 28