The true story about #Gödel no-one wants you to know: He died starving because choosing what food to order was an #undecidable problem.

15/ Godel-Beton wird an der Blockade der Letzten Generation vorbeigewinkt.

Wisst Ihr, wer #Gödel ist? Das ist der Kumpel von #Escher und #Bach. Ich glaube, die waren zu einer Baustelle von Escher unterwegs.

Escher war ein Öko-Freak und Bach ein Rocker.

Was mich irritiert hat, war, dass die Godel-Leute orangene Westen anhatten, die #LetzteGeneration aber nicht. Es zeigt einmal mehr: Man muss immer geistig flexibel bleiben. Bis ins hohe Alter. Und spontan die richtigen Entscheidungen treffen. Nicht auszudenken, was passiert wäre, wenn ich der Agentur nur die Bilder von den Betonbauern geliefert hätte.

The elusive 7th #Gödel memorial plaque in Vienna's 19th district, Himmelstraße 43

@mariapopova

Sounds a bit like Gödel's incompleteness theorem… "there are true propositions about the natural numbers that can be neither proved nor disproved from the axioms."

https://en.wikipedia.org/wiki/Kurt_Gödel #Math #Maths #Logic #Godel

#Gödel #EmilPost #VonNeumann #recursivity “I do not know if you have heard that "Post's problem", whether there are degrees of unsolvability among problems of the form (∃ y) φ(y,x), where φ is recursive, has been solved in the positive sense by a very young man by the name of Richard Friedberg. The solution is very elegant. Unfortunately, Friedberg does not intend to study mathematics, but rather medicine.” Gödel to Von Neumann

1. Auswahlaxiom, 2. Satz von Tarskii-Seidenberg, 3. Unvollständigkeitssatz, ...

EIG015: Mathe zählen mit Gödel

#math #podcast #Gödel #GrafZahl

https://eigenpod.de/eig015-mathe-zaehlen-mit-goedel/

In 1931, #Gödel published his famous #IncompletenessTheorems:
• A consistent system of logic is incomplete
• Such a system cannot prove its own consistency

I wonder how #programmers might profitably apply these theorems in their next meeting with the #management….

https://youtu.be/HeQX2HjkcNo #mathematics #math #maths #Godel Foundational Crisis of Mathematics.

Jürgen Schmidhuber is the spiritual successor to Konrad Zuse and Gödel and, frankly, he doesn't get enough credit for his work.

When you research the background of machine learning, and understand the history, there are a lot of early pioneers who don't get enough credit.

I often feel education misses out by not always teaching the context of discoveries, just the methods.

#schmidhuber #gödel #godel #machinelearning

how i imagine #einstein and #goedel meetings must have been...

#alberteinstein #kurtgoedel #gödel #godel #physics #logics #mathematics #meme #mamema #memes #muppets #science

It's a recurring theme: time travel and physics workarounds to make it possible...

How a rotating universe makes time travel possible
https://phys.org/news/2023-01-rotating-universe.html

"...And Gödel discovered that actually general relativity is perfectly fine with time travel into the past. The trick is to set the universe in motion."

#time #time_travel #physics #relativity #godel #einstein

@futurebird
Didn't learn it in math. I had a hard time learning math at all (bad teacher in 3rd grade), but I learned it _about_ math & fairly recently. Gödel's Incompleteness Theorem. That math, as useful & complex as it may be, has a breaking point. There will always be true statements that can never be proven. That has implications for a lot more than math.
https://youtu.be/HeQX2HjkcNo
Now I wish I'd tried harder. I can't do it, but it's interesting now.
#gödel

@euclideanpoet I agree that has merit, but funny thing is, that reminds me of a couple articles #Chaitin wrote a couple decades back, the thrust of which was to make a case that pure #mathematicians have ignored #Godel too much, and that the pursuit of #proofs is at least partially a fool's game in the long run.

And I had the exact same reaction as you did to this, but in the opposite direction.

#math #maths #theory

Does Godel's incompleteness theorem has a workaround?

Logique mathématique : pouvons-nous échapper à l’incomplétude ?
Certains logiciens et philosophes des mathématiques formulent une subtile remise en cause de la fameuse incomplétude de Kurt Gödel.
https://www.pourlascience.fr/sr/logique-calcul/logique-mathematique-pouvons-nous-echapper-a-l-incompletude-24219.php
#godel #logic #mathematics #pour_la_science

@Condorito
FATE is better if you want free. But 5E may be left behind, just as 3.5 (in my opinion the best iteration of D&D) was set aside for chutes and ladders #4E.

House rules to keep min/maxers in check are easy enough. As #Gödel showed, a rich and interesting system is going to be breakable, so we as thinking beings have to be able to jump out of the system to see it from above.

#DnD #ttrpg #FATE #roleplaying

On August 26th of the year 1930, four logicians and philosophers met at Café Reichsrat in Vienna. Kurt #Gödel, 24, casually mentioned his latest result. None of the others realized that they sat together with the greatest logician since Aristotle. (Photographed from: Hao Wang, Reflections on Kurt Gödel)

On August 26th of 1930, four logicians and philosophers met at Café Reichsrat in Vienna. Kurt #Gödel, 24, casually mentioned his latest result. None of the others realized that they sat together with the greatest logician since Aristotle. (Photographed from: Hao Wang, Reflections on Kurt Gödel)

Am 26. August 1930 saßen vier Logiker und Philosophen im Café Reichsrat in Wien zusammen. Kurt #Gödel erwähnte beiläufig seine neueste Entdeckung. Keiner der anderen verstand, dass sie mit dem größten Logiker seit Aristoteles zusammensaßen. (Fotografiert aus: Hao Wang, Reflections on Kurt Gödel)

Am 26. August 1930 saßen vier Logiker und Philosophen im Café Reichsrat in Wien zusammen. Kurt #Gödel erwähnte beiläufig seine neueste Entdeckung. Keiner der anderen verstand, dass sie mit dem größten Logiker seit Aristoteles zusammensaßen. (Photographed from Hao Wang, Reflections on Kurt Gödel)

Am 26. August 1930 saßen vier Logiker und Philosophen im Café Reichsrat in Wien zusammen. Kurt #Gödel erwähnte beiläufig seine neueste Entdeckung. Keiner der anderen verstand, dass sie mit dem größten Logiker seit Aristoteles zusammensaßen.