La #faille de #Gödel est une auto-contradiction dans la #Constitution des #États-Unis #US que le logicien austro-américain Kurt #Gödel postule en 1947. Elle permettrait de transformer légalement la #démocratie #américaine en #dictature
#Gödel l’avait prédit..
La #faille de #Gödel est une auto-contradiction dans la #Constitution des #États-Unis #US que le logicien austro-américain Kurt #Gödel postule en 1947. Elle permettrait de transformer légalement la #démocratie #américaine en #dictature
#Gödel l’avait prédit..
fr.m.wikipedia.org/wiki/Faille_...
Faille de Gödel — Wikipédia
AIXI
https://en.wikipedia.org/wiki/AIXI
"AIXI /ˈaɪksi/ is a theoretical mathematical formalism for artificial general intelligence. It combines Solomonoff induction with sequential decision theory. AIXI was first proposed by Marcus Hutter in 2000[...]."
"[...]AIXI is incomputable."
3/3
#AI #ArtificialIntelligence #Gödel #AGI #ArtificialGeneralIntelligence
#Pythagoras believed the world was made of #numbers—until irrational numbers like √2 broke that belief. Centuries later, #Russell tried to build #math on logic, but #Gödel proved no system can capture all truth. Today, #AI is built on the same false faith: that everything is #computable. But life isn’t code. It’s blurry, intuitive, #contradictory. The dream of full #understanding through math isn’t just wrong—it’s a #delusion we keep repeating.
Gödel machine: AI that develops itself
https://kocka.news/en/article/software/275/godel-machine-ai-that-develops-itself
Gödel gép az MI, amely saját magát fejleszti
https://kocka.news/hu/article/szoftver/274/godel-gep-az-mi-amely-sajat-magat-fejleszti
In 1931, Kurt Gödel proved that any system describing the natural numbers could not be both consistent and complete. #Poetry #Science #History #Logic #Incompleteness #Gödel (https://sharpgiving.com/thebookofscience/items/p1931a.html)
When, in 1930, the german logician Kurt Goedel managed to prove the incompleteness of a range of rule-based systems, he did so by an encoding that looked like a programming language--and drove, through Alonzo Church, Alan Turing, forth the development that led to _all_ computing. There is an infinity that programs can't predict about themselves; so "AI" is impossible.
https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis
#godel#goedel#incompleteness#aiisamisnomer#doubtai#incompletenesstheorem#logic#uncomputability#theorems
Provably unprovable? #WTF :-)
https://www.youtube.com/watch?v=0Le7NgS-wO0
#maths #mathematics #numbers #Goodstein #Peano #Gödel #sequence
Oskar Morgenstern's account of Kurt Gödel's naturalization and the supposed "inner contradiction" in the Constitution of the United States:
https://albert.ias.edu/entities/archivalmaterial/9fd45e83-9706-4c1f-92de-302efdc85561
🚨 BREAKING: Nobel laureate drops bombshell in 473rd video explaining AI won’t gain consciousness because #Gödel said so. 🎓🤖 Meanwhile, YouTube comments section still debating if robots dream of electric sheep. 🐑💤
https://www.youtube.com/watch?v=biUfMZ2dts8 #NobelLaureate #AIConsciousness #YouTubeDebate #ElectricSheep #HackerNews #ngated
Gödel's theorem debunks the most important AI myth – Roger Penrose [video] — https://www.youtube.com/watch?v=biUfMZ2dts8
#HackerNews #Gödel'sTheorem #AI #Myths #RogerPenrose #Video #Mathematics
Is there a theory in which Gödel's Incompleteness Theorem is natural to prove? Something like a first-order theory of abstract syntax trees.
Then you could split the usual proof into two parts. First prove the theorem for this theory, which would allow you to present the core ideas without getting caught up in details. Then use Gödel numbering to show that this theory has an interpretation in PA.
Point-&-Click-#Adventure „Hilbert’s Holidays“
im #Browser kostenlos spielbar
Der Spieler wandert darin im Hotel von Zimmertür zu Zimmertür und lernt #Mathematiker wie Evariste #Galois oder Kurt #Gödel und deren Problemstellungen kennen.
Im Vordergrund steht das spielerische Lernen, z.B. warum unendlich viele Leute bei Hilbert ein Zimmer bekommen können, obwohl alle belegt sind.
Danke an @ct_Magazin für den Hinweis
Kurt #Gödel, einer der bedeutendsten Männer der Welt, Freund von Albert #Einstein, bekannt aus Hofstatters "Gödel Escher Bach" (GEB) und für den Gödelschen Unvollständigkeitssatz (den Grund, warum es keine #KI gibt), verhungerte, als seine Ehefrau im krankenhaus lag und nicht für ihn kochte.
So schädlich ist #Feminismus!
Wobei hilft #Gödel im Alltag?
Der Unvollständigkeitssatz besagt, dass kein System seine Richtigkeit AUS SICH SELBST heraus rational > mathematisch > logisch begründen (aka "nachvollziehbar erklären") kann.
Und was geht mich das jetzt an?
https://www.spektrum.de/podcast/geschichten-aus-der-mathematik-kurt-goedel-und-die-grenzen-der-logik/2239176?utm_source=pocket-newtab-de-de
