Gödel's Incompleteness Theorems vs. AI Minds

preview_player
Показать описание
  1. Parker's Pensées
  2. Kurt Gödel
  3. Incompleteness theorem
  4. Mark Colyvan
  5. Parker's Pensées
  6. Philosophy podcast
Рекомендации по теме
The paradox at 0:05:20

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

Roger Penrose explains 0:03:39

Roger Penrose explains Godel's incompleteness theorem in 3 minutes

Gödel's Incompleteness Theorems 0:08:34

Gödel's Incompleteness Theorems vs. AI Minds

The simplest version 0:05:33

The simplest version of Godel's theorem and why it's important

Math's Fundamental Flaw 0:34:00

Math's Fundamental Flaw

Mathematician explains Gödel's 0:20:47

Mathematician explains Gödel's Incompleteness Theorem | Edward Frenkel and Lex Fridman

Do Gödel's incompleteness 0:07:24

Do Gödel's incompleteness theorems refute computational theories of mind? | Pensées Clips

Godel's 1st Incompleteness 0:16:10

Godel's 1st Incompleteness Theorem - Proof by Diagonalization

Sir Roger Penrose 0:06:09

Sir Roger Penrose and Dr. Jordan Peterson Talking About Gödel's Theorem

Mathematician debunks AI 0:11:36

Mathematician debunks AI intelligence | Edward Frenkel and Lex Fridman

Godel's theorem of 0:00:53

Godel's theorem of Incompleteness

Why greatest Mathematicians 0:00:38

Why greatest Mathematicians are not trying to prove Riemann Hypothesis? || #short #terencetao #maths

Doug Hofstadter on 0:00:54

Doug Hofstadter on Gödel's Theorem & the Human Brain

The Mathematician Who 0:12:21

The Mathematician Who Discovered Math's Greatest Mystery

Roger Penrose on 0:00:44

Roger Penrose on Gödel's theorum and consciousness #shorts

The greatest mathematician 0:05:13

The greatest mathematician that never lived - Pratik Aghor

On the Proof 0:45:28

On the Proof of Gödel's Incompleteness Theorems

The Gödel incompleteness 1:19:48

The Gödel incompleteness phenomenon

Gödel's incompleteness theorem: 0:14:34

Gödel's incompleteness theorem: a conceptual explanation

Gödel's Incompleteness Theorems 0:00:49

Gödel's Incompleteness Theorems and the Nature of Truth #philosophy

Gödel, Escher, Bach 0:00:21

Gödel, Escher, Bach by Douglas Hofstadter Takeaway #3 #consciousness #intelligence #philosophy

Yong Cheng - 1:01:05

Yong Cheng - The Landscape of Gödel's Incompleteness Theorems (Gödel Conference)

Gödel's Incompleteness Theorems 0:18:14

Gödel's Incompleteness Theorems - Ep. 6.2: Hilbert's Program

Gödel, Escher, Bach 0:00:17

Gödel, Escher, Bach by Douglas Hofstadter Takeaway #2 #consciousness #intelligence #philosophy

Комментарии
Автор

Wouldn't it be that at any and every stage of the nested self referential computations that you propose, consciousness can "look" at the paradox/glitch from the outside (out to infinity). So consciousness in that sense is not computation. Keanu Reeves did a video on this. Roger Penrose speaks well on this subject.

jimmymcjim
Автор

Isn’t it great how you have almost 100 videos here discussing the good stuff with only 10k subs, and then you get 10 times more subs on your other channel just talking about notebooks lol

iamjuleshimself
Автор

Would love to see you dialogue with Pat Flynn over at Philosophy for the People, Parker. 👍

bookishbrendan
Автор

Greetings, I use the same microphone as you. You have a very good sound! could you please tell me what settings you have? this will help me do my job better)

LEMAN-AND
Автор

The significance of Gödel's Incompleteness Theorems is not the conclusion you draw from the proof. It's that flash of insight you get after reasoning through the proof till you understand what makes it true. That's the point when you experience a thought process that cannot be algorithmically replicated by a Turning Machine.

QuicksilverSG
Автор

Great question. I hope the answer is...

S.G.Wallner
Автор

Thank you, thank you, thank you for this clip. The leap from Gödel's Incompleteness theorems to the conclusion that the human mind is non-computable is really seductive, but I think it's baseless. An average human can't look at a formal system and find prove or disprove its completeness or consistency in a flash of insight. This takes training, practice, and trial and error, and relies on learned heuristics, just like any human skill. But machines can also perform heuristics, and GPT's can learn new heuristics just by dialogue with humans (this is insanely inefficient but it does work). What evidence do we have that, say, GPT6 couldn't mimic the mathematicians reasoning process? At that point, what evidence do Penrose et al. have left to assert the non-computability of the human mind?

aqua