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)
Recent searches
Search options
Administered by:
#Godel
0 posts0 participants0 posts today
ѦਹѤʞ 
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
hilberts-holidays.euHilberts HolidaysHilberts Holidays
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
www.spektrum.deGeschichten aus der Mathematik: Kurt Gödel und die Grenzen der LogikKurt Gödel gilt als größter Logiker seit Aristoteles, er beweist die Unvollständigkeit der Mathematik. Doch das weltliche Chaos macht ihn krank
…"while [Jacob] van Stockum's name is lost to #history, Time Travel & rotating #universes are not. And they were rediscovered by the eccentric #mathematician, Kurt Gödel in 1949"… (58:00)
https://www.youtube.com/watch?v=yPVQtvbiS4Y&t=3547s 27 Jul 2022 https://Wikipedia.org/wiki/Willem_Jacob_van_Stockum https://Wikipedia.org/wiki/Kurt_G%C3%B6del
Just finished Gödel’s Proof, by Nagel and Newman, and have gone back to Gödel, Escher, Bach (GEB), by Hofstadter 15 years later. Mathematics of the deepest philosophical interest. Really up for it this time around.
#Gödel #Nagel #Newman #Hofstadter #GödelsProof #GEB
"L'accomplissement de Kurt Gödel dans la logique moderne est singulière et monumentale – en fait, c'est plus qu'un monument, c'est un point de repère qui restera visible loin dans l'espace et le temps." – John von Neumann (1903-1957)
#citation #mathématiques #maths #math #Gödel
"Kurt Gödel's achievement in modern logic is singular and monumental – indeed it is more than a monument, it is a landmark which will remain visible far in space and time." – John von Neumann (1903-1957)
#quote #mathematics #maths #math #Gödel
Replied in thread
@wabrandsma Erg interessant artikel. Als dit onderwerp je aanspreekt, lees dan #Gödel, #Escher, #Bach:
en.wikipedia.orgGödel, Escher, Bach - Wikipedia
Whoa... this is freakin amazing science history: https://budiansky.com/goedel #mathematics #Gödel #history
Använder du GodEl? Berätta gärna vad du tycker är bra och dåligt med dem.
Uncover "The Contradiction In The U.S. Constitution" 
Dive into this thought-provoking video exploring the complexities of America's founding document. A must-watch for history buffs and political enthusiasts! 
#USConstitution #HistoryLesson #PoliticalAnalysis
https://inv.vern.cc/watch?v=n2x7d5hAmXs
FallbackLink:
That's me asking #Copilot some strange #questions about the #clock #circuit, the #liar #paradox and #Godel's #incompleteness #theorem, try in your own language!
