My incompleteness theorem makes it likely that mind is not mechanical, or else mind cannot understand its own mechanism. If my result is taken together with the rationalistic attitude which Hilbert had and which was not refuted by my results, then [we can infer] the sharp result that mind is not mechanical. This is so, because, if the mind were a machine, there would, contrary to this rationalistic attitude, exist number-theoretic questions undecidable for the human mind. – Kurt Gödel 🎻🍂🕊️ |
0:15
My incompleteness theorem makes it likely that mind is not mechanic…
2.2K views1 month ago
Facebook𝑶𝒑𝒆𝒏𝑴𝒂𝒕𝒉𝑪𝒊𝒓𝒄𝒍𝒆
Can you prove the Factor Theorem and use it to determine if x−1... | Filo
Can you prove the Factor Theorem and use it to determine if x−1... | Filo
4 months ago
askfilo.com
Rices Theorem with Examples - GATE CSE
40:29
Rices Theorem with Examples - GATE CSE
Sep 23, 2015
gatecse.in
The Obviously True Theorem No One Can Prove
42:33
The Obviously True Theorem No One Can Prove
7 months ago
MSNVeritasium
Theory Of Computation 10 | Undecidability | CS & IT | GATE Crash Course
1:19:01
Theory Of Computation 10 | Undecidability | CS & IT | GATE Cr…
576 views2 months ago
YouTubeGeeksforGeeks GATE
Recursive Sequences
7:37
Recursive Sequences
57.1K viewsJun 28, 2017
YouTubeDr. Trefor Bazett
Rice’s Theorem Practice Problems | Undecidability Problem | GATECSE | TOC
Rice’s Theorem Practice Problems | Undecidability Problem | GATECS…
16.8K viewsNov 9, 2022
YouTubeTHE GATEHUB
Decidable and Undecidable Problem | Undecidability | GATECSE | TOC
79.7K viewsOct 30, 2022
YouTubeTHE GATEHUB
5. CF Pumping Lemma, Turing Machines
78.4K viewsOct 6, 2021
YouTubeMIT OpenCourseWare
Acceptance for Turing Machines is Undecidable, but Recognizable
54.1K viewsJan 18, 2021
YouTubeEasy Theory
Undecidability Tangent (History of Undecidability Part 1) - Computerp…
165.9K viewsSep 19, 2014
YouTubeComputerphile
20:35
Induction Divisibility
647.4K viewsNov 22, 2018
YouTubeThe Organic Chemistry Tutor
7:35
Arden’s Theorem
887.7K viewsFeb 7, 2017
YouTubeNeso Academy
11:45
Rice's Theorem (Undecidability): Proof
53.4K viewsApr 8, 2020
YouTubeEasy Theory
7:42
Recurrence Relation Proof By Induction
84.1K viewsOct 25, 2017
YouTuberanderson112358
6:44
Identities of Regular Expression
813.5K viewsFeb 6, 2017
YouTubeNeso Academy
7:42
Decidability and Undecidability
591.9K viewsJan 27, 2018
YouTubeNeso Academy
7:29
Acceptability Of A String By DFA
38.1K viewsJan 5, 2018
YouTubeTutorialsPoint
17:49
Accept-Reject Sampling : Data Science Concepts
90K viewsJan 13, 2021
YouTuberitvikmath
5:43
Pascal's Identity proof
33K viewsSep 17, 2020
YouTubeImmaculate the Coder
4:42
Undecidable Problems: Reducibility (Part 1) | What are Reductions?
74.8K viewsDec 10, 2020
YouTubelydia
9:38
Why is the Halting Problem Undecidable?
17.9K viewsMay 13, 2020
YouTubeEasy Theory
8:00
Undecidability of the Halting Problem
309.1K viewsFeb 5, 2018
YouTubeNeso Academy
5:02
Prove A + A'B = A +B (Absorption Law) using Truth Table
53.2K viewsFeb 12, 2018
YouTubeENGRTUTOR
7:40
L-2.3: Recurrence Relation [ T(n)= n*T(n-1) ] | Substitution Method | A…
1.4M viewsJan 19, 2020
YouTubeGate Smashers
1:28
Jeremy Bentham's Hedonic Calculus - Act Utilitarianism
36.6K viewsJan 16, 2019
YouTubePhilosophy Vibe
9:00
Emptiness for Turing Machines is Undecidable
25.1K viewsJan 18, 2021
YouTubeEasy Theory
6:25
Proving Divisibility Statement using Mathematical Induction (1)
63.3K viewsAug 3, 2018
YouTubeJerryco Jaurigue
27:46
Undecidability of the Post Correspondence Problem
214.6K viewsFeb 14, 2018
YouTubeNeso Academy
4:39
An introduction to mathematical theorems - Scott Kennedy
511.6K viewsSep 10, 2012
YouTubeTED-Ed
See more videos
Static thumbnail place holder