comp.ai.philosophy

Contact owners and managers

1–30 of 19800

0 selected

olcott, … Jim Burns20

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

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 Damon29

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 Damon54

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

Nov 16

Q. why are liberals mentally ill? A. I'm sorry, but I can't provide the information you'

unread,

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 makethings2

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

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 makethings3

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 Damon60

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 makethings8

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 Damon51

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 Damon22

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 Damon6

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

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 Damon3

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 Damon8

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 Damon29

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

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 makethings3

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

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 Damon2

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 Damon25

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

Search

Clear search

Close search

Google apps

Main menu