#Godel

J Loujlou
2026-01-24

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

youtu.be/jtPgdy80YZ8

Jetse de Vriesfuture_upbeat
2026-01-21

Penultimate part of my essays exploring the Simulation Hypothesis. Warning: may make your head spin (or worse) 😵‍💫 —🤯

jetse.substack.com/p/the-simul

Picture of “Gödel Space”, a website delivering vague AI promises.
2026-01-21

Bản Tuyên ngôn Trí tuệ Thống nhất: Vật lý, Toán học và Ngôn ngữ hợp nhất trong một "Vòng Lặp Kỳ lạ". Trí tuệ là hệ thống tự tham chiếu – bạn đang chứng minh điều đó khi đọc và hiểu bài này. Từ định lý Gödel đến phương trình G = max(A×P×X×E²)×(1 - C_dark), mọi thứ đều nối lại thành vòng lặp nhận thức. Hiểu để trở thành một phần của nó. #StruggleLoop #AIgovernance #TríTuệNhânTạo #VòngLặpKỳLạ #Gödel #Hikmah #arifOS

reddit.com/r/singularity/comme

Glyn Moodyglynmoody
2025-12-19

Physicists prove the Universe isn’t a after all - sciencedaily.com/releases/2025 "Using ’s incompleteness theorem, scientists found that reality requires “non-algorithmic understanding,” something no computation can replicate." exciting stuff

2025-10-30

If #Godel #Escher #bach we’re written today, the turtle would be working on an ad block detector detector

When I was a child, I thought the world had things that were true and things that were false, i.e., things were "black and white".

Things happened to me, including reading "Gödel, Escher, Bach: an Eternal Golden Braid" #Godel #GodelEscherBach, and I realized "Oh! There’s a gray area! (and not only that, the very edges of the gray area are fuzzy!"

And then I learned about #Bayes (and #Laplace) and realized: "Oh shit! It’s **all** gray!"

It feels like you **know** some things to be true because have assigned them such high probabilities. So high, they seem certain. Sorry. It’s not actually 1. And always remember: probability is what you **know**; reality is outside of that (just like "is your blue the same as my blue?"). Yes! Your model is good enough to navigate the world and make good decisions; but absolutely don’t confuse that with having no room left to learn.

I know I said this in a weird way, but keep growing.

There’s a strong urge to believe what you wish instead of what you can prove. Computer rumors are a great example. Many rumors have no basis other than being a feature someone wants. They call it "wish casting".

We want the world to be black and white. Some given statement is either true or false. But it’s not. Gödel #Godel describes at least three states: true, false, and unprovable (e.g., the statement "This statement is false". Can’t be true or false; it’s unprovable. Maybe there’s a better name.)

But it’s worse than that.

In science, a theory isn’t true … it’s just the best explanation we have so far. The whole endeavor of science is to keep finding better explanations. To make good decisions you don’t need the absolute best explanation, just one good enough to guide you to beneficial choices. (I said "prove" before, but to be more accurate I should be talking not about what you can prove, but about what you can’t disprove.)

#Bayes (really #Laplace) says a given notion isn’t true, it’s actually true-with-some-probability. Each new thing you observe impacts that #Probability. This is the actual math behind the #ScientificMethod. And it’s the truth of the world. Your beliefs must adapt to your observations, constantly, forever.

If you have unshakable faith in some set of "facts", you’re probably doing it wrong. Even when you’re right, you could be righter.

Of course, if you don’t adjust your beliefs with new input, if you don’t test, if you have "facts" instead of "very probable theories". If you believe things because of how strongly the person who convinced you believed instead of what they could actually show you. If you believe simply because that’s what your parents taught you. Then, well, you **might** be right (even a stopped clock is right twice a day). But at best you’re not going to make good decisions for yourself, and at worst you’re going to try to tell others what to do based on an inaccurate understanding.

It’s messy; and that’s just how it is.

2025-09-10

Ok this was generated by googles gemini image generator and I quiet like it :)

#fp #lambda #CurryHoward #turing #gödel #church

This image depicts a conceptual connection between logic and programming, symbolized by the Curry-Howard correspondence. 

On the left, a weathered stone with ancient symbols representing logical propositions and proofs is juxtaposed with scrolls containing historical documents, evoking a sense of intellectual history. 

A bright, ethereal light connects this side to the right, which shows a modern programming code snippet displayed on a screen. This side is futuristic, with glowing blue code and abstract geometric shapes suggesting the structure and flow of programming.

The image represents the idea that in both logic and programming, a proposition can be considered a type, and a proof can be considered a value, highlighting a fundamental correspondence between these seemingly disparate fields. 

The central logo signifies Curry-Howard Correspondence, a crucial concept linking these areas.
2025-09-04

James Torre: A Computational Lens on Self-Justifying Axioms Systems

peertube.futo.org/videos/watch

2025-07-15

#Godel : "Du har ingen faktura att betala den här månaden." #solceller funkar!

Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱☮🕊️rod2ik
2025-06-27

La de est une auto-contradiction dans la des -Unis que le logicien austro-américain Kurt postule en 1947. Elle permettrait de transformer légalement la en

l’avait prédit..

fr.m.wikipedia.org/wiki/Faille

Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱 ☮🕊️rod2ik.bsky.social@bsky.brid.gy
2025-06-27

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

Jan :rust: :ferris:janriemer@floss.social
2025-06-24

AIXI

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

BabadofarBabadofar
2025-06-23

believed the world was made of —until irrational numbers like √2 broke that belief. Centuries later, tried to build on logic, but proved no system can capture all truth. Today, is built on the same false faith: that everything is . But life isn’t code. It’s blurry, intuitive, . The dream of full through math isn’t just wrong—it’s a we keep repeating.

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst