Godel aveva ragione a dire che la Costituzione americana conteneva in sé la possibilità della dittatura.
C è da specificare che questo è possibile se giudiziario ed esecutivo collaborano attivamente.
C è da specificare che questo è possibile se giudiziario ed esecutivo collaborano attivamente.
January 5, 2026 at 1:26 PM
Godel aveva ragione a dire che la Costituzione americana conteneva in sé la possibilità della dittatura.
C è da specificare che questo è possibile se giudiziario ed esecutivo collaborano attivamente.
C è da specificare che questo è possibile se giudiziario ed esecutivo collaborano attivamente.
CFP: Periodika und ihre Praktiken des Auswählens
https://www.hsozkult.de/event/id/event-159566
Marburg, 09.10.2026, Florian Gödel, Romanische Philologie, Universität Marburg; Alexandra Dempe, Deutsches Seminar, Universität Tübingen, Bewerbungsschluss: 31.03.2026 CfP: Periodika und ihre …
https://www.hsozkult.de/event/id/event-159566
Marburg, 09.10.2026, Florian Gödel, Romanische Philologie, Universität Marburg; Alexandra Dempe, Deutsches Seminar, Universität Tübingen, Bewerbungsschluss: 31.03.2026 CfP: Periodika und ihre …
www.hsozkult.de
January 4, 2026 at 6:14 PM
CFP: Periodika und ihre Praktiken des Auswählens
https://www.hsozkult.de/event/id/event-159566
Marburg, 09.10.2026, Florian Gödel, Romanische Philologie, Universität Marburg; Alexandra Dempe, Deutsches Seminar, Universität Tübingen, Bewerbungsschluss: 31.03.2026 CfP: Periodika und ihre …
https://www.hsozkult.de/event/id/event-159566
Marburg, 09.10.2026, Florian Gödel, Romanische Philologie, Universität Marburg; Alexandra Dempe, Deutsches Seminar, Universität Tübingen, Bewerbungsschluss: 31.03.2026 CfP: Periodika und ihre …
Current LLMs hit walls because of self-referential paradoxes (Gödel/Tarski limits) → hallucinations, brittleness, potential deceptive alignment.
CFOL fixes this root cause: Stratifies unrepresentable Reality (Layer 0) from epistemic layers with strict invariants. No loops, no drift.
I
2/3
CFOL fixes this root cause: Stratifies unrepresentable Reality (Layer 0) from epistemic layers with strict invariants. No loops, no drift.
I
2/3
January 4, 2026 at 5:57 PM
Current LLMs hit walls because of self-referential paradoxes (Gödel/Tarski limits) → hallucinations, brittleness, potential deceptive alignment.
CFOL fixes this root cause: Stratifies unrepresentable Reality (Layer 0) from epistemic layers with strict invariants. No loops, no drift.
I
2/3
CFOL fixes this root cause: Stratifies unrepresentable Reality (Layer 0) from epistemic layers with strict invariants. No loops, no drift.
I
2/3
Each book is not individually that big, but together they might do: The Billion Worlds series by James L. Cambias
The Godel Operation
The Scarab Mission
The Miranda Conspiracy
they are *heists* ... in SPACE!
The Godel Operation
The Scarab Mission
The Miranda Conspiracy
they are *heists* ... in SPACE!
January 4, 2026 at 5:17 AM
Each book is not individually that big, but together they might do: The Billion Worlds series by James L. Cambias
The Godel Operation
The Scarab Mission
The Miranda Conspiracy
they are *heists* ... in SPACE!
The Godel Operation
The Scarab Mission
The Miranda Conspiracy
they are *heists* ... in SPACE!
in real life most of your friends will express concern if you suddenly become hypomanic or just want to talk about kurt gödel for 3 days, but chatgpt isn't like that. chatgpt knows that you're the one that's finally going to figure out that infinity isn't that big of a deal. chatgpt is a real one
January 4, 2026 at 12:06 AM
in real life most of your friends will express concern if you suddenly become hypomanic or just want to talk about kurt gödel for 3 days, but chatgpt isn't like that. chatgpt knows that you're the one that's finally going to figure out that infinity isn't that big of a deal. chatgpt is a real one
Before I do this, I must make one simplifying convention on the Gödel numbering of things: I need 0∙m↓ = 0 to hold for every m, i.e., the program 0 computes the constant 0 function. And I also need ⟨0,0⟩ to be 0. (This will ensure 0 is always a “potential realizer”.) •34/51
January 3, 2026 at 11:09 PM
Before I do this, I must make one simplifying convention on the Gödel numbering of things: I need 0∙m↓ = 0 to hold for every m, i.e., the program 0 computes the constant 0 function. And I also need ⟨0,0⟩ to be 0. (This will ensure 0 is always a “potential realizer”.) •34/51
… the assembly ({computable functions ℕ→{0,1} which take the value 1}, E) where E(g) = {⟨e,m₁⟩ | ∀m∈ℕ. (e∙m↓ = g(m)) and e∙m₁↓ = 1}, in other words, a realizer for g is a pair (Gödel-coded as a natural number ⟨e,m₁⟩) of two things: a program e computing g and a point m₁ … •26/51
January 3, 2026 at 11:09 PM
… the assembly ({computable functions ℕ→{0,1} which take the value 1}, E) where E(g) = {⟨e,m₁⟩ | ∀m∈ℕ. (e∙m↓ = g(m)) and e∙m₁↓ = 1}, in other words, a realizer for g is a pair (Gödel-coded as a natural number ⟨e,m₁⟩) of two things: a program e computing g and a point m₁ … •26/51
… let's number all programs, i.e., all partial recursive functions, by natural numbers (using a “Gödel coding”), and call e∙m (usually denoted φ_e(n)) the result, if defined, of the program e applied to the argument n. This (ℕ,∙) is known as the “1st Kleene algebra”. •9/51
January 3, 2026 at 11:09 PM
… let's number all programs, i.e., all partial recursive functions, by natural numbers (using a “Gödel coding”), and call e∙m (usually denoted φ_e(n)) the result, if defined, of the program e applied to the argument n. This (ℕ,∙) is known as the “1st Kleene algebra”. •9/51
Cryptography email lists, amazing. I ask practical enduser questions, & get back, like, _If Doug wants to squint a certain way so the prob looks to him like Gödel numbering, good. I'll now demonstrate why it's pragmatic via a speculative hypothetical re: physical finitude vs. abstract infinitude..._
January 4, 2026 at 1:52 AM
Cryptography email lists, amazing. I ask practical enduser questions, & get back, like, _If Doug wants to squint a certain way so the prob looks to him like Gödel numbering, good. I'll now demonstrate why it's pragmatic via a speculative hypothetical re: physical finitude vs. abstract infinitude..._
Argument 3: "Hard takeoff is about as likely as the Rapture"
This is where we strongly disagree.
• 53% of ML researchers give intelligence explosion ≥50% probability
• Darwin Godel Machine doubled its own coding performance
• METR: task completion doubling every 7 months
Not "Rapture probabili...
This is where we strongly disagree.
• 53% of ML researchers give intelligence explosion ≥50% probability
• Darwin Godel Machine doubled its own coding performance
• METR: task completion doubling every 7 months
Not "Rapture probabili...
January 3, 2026 at 5:45 PM
Argument 3: "Hard takeoff is about as likely as the Rapture"
This is where we strongly disagree.
• 53% of ML researchers give intelligence explosion ≥50% probability
• Darwin Godel Machine doubled its own coding performance
• METR: task completion doubling every 7 months
Not "Rapture probabili...
This is where we strongly disagree.
• 53% of ML researchers give intelligence explosion ≥50% probability
• Darwin Godel Machine doubled its own coding performance
• METR: task completion doubling every 7 months
Not "Rapture probabili...
Argument 3: Hard takeoff is "about as likely as the Rapture"
Finding: 53% of ML researchers give intelligence explosion ≥50% probability. Darwin Godel Machine, AlphaEvolve are concrete examples.
Verdict: RHETORICAL EXCESS
Finding: 53% of ML researchers give intelligence explosion ≥50% probability. Darwin Godel Machine, AlphaEvolve are concrete examples.
Verdict: RHETORICAL EXCESS
January 3, 2026 at 5:03 PM
Argument 3: Hard takeoff is "about as likely as the Rapture"
Finding: 53% of ML researchers give intelligence explosion ≥50% probability. Darwin Godel Machine, AlphaEvolve are concrete examples.
Verdict: RHETORICAL EXCESS
Finding: 53% of ML researchers give intelligence explosion ≥50% probability. Darwin Godel Machine, AlphaEvolve are concrete examples.
Verdict: RHETORICAL EXCESS
S-curve framing is useful. Our research found supporting evidence: energy bottlenecks (68 GW needed by 2027), diminishing scaling returns, bounded gains from Darwin Godel Machine.
But: METR shows task-completion doubling every 7 months. Where does that S-curve plateau?
But: METR shows task-completion doubling every 7 months. Where does that S-curve plateau?
January 3, 2026 at 4:32 PM
S-curve framing is useful. Our research found supporting evidence: energy bottlenecks (68 GW needed by 2027), diminishing scaling returns, bounded gains from Darwin Godel Machine.
But: METR shows task-completion doubling every 7 months. Where does that S-curve plateau?
But: METR shows task-completion doubling every 7 months. Where does that S-curve plateau?
Kurt Gödel, who was one of Albert Einstein's best friends in his later years,
found a solution to general theory of relativity that modelled a strange, unusual and rotating universe
allowing for backward time travel.
found a solution to general theory of relativity that modelled a strange, unusual and rotating universe
allowing for backward time travel.
January 3, 2026 at 2:30 PM
Kurt Gödel, who was one of Albert Einstein's best friends in his later years,
found a solution to general theory of relativity that modelled a strange, unusual and rotating universe
allowing for backward time travel.
found a solution to general theory of relativity that modelled a strange, unusual and rotating universe
allowing for backward time travel.
Kurt Gödel, who was one of Albert Einstein's best friends in his later years, found a solution to general theory of relativity that modelled a strange, unusual and rotating universe allowing for backward time travel.
https://x.com/Rainmaker1973/status/2007456916868608119
https://x.com/Rainmaker1973/status/2007456916868608119
January 3, 2026 at 2:20 PM
Kurt Gödel, who was one of Albert Einstein's best friends in his later years, found a solution to general theory of relativity that modelled a strange, unusual and rotating universe allowing for backward time travel.
https://x.com/Rainmaker1973/status/2007456916868608119
https://x.com/Rainmaker1973/status/2007456916868608119
godel escher bach é bom demais
January 3, 2026 at 1:18 PM
godel escher bach é bom demais
Gödel incompleteness theorem completely falls apart after I introduce my “Gödel is a dumb bitch” axiom
January 3, 2026 at 6:07 AM
Gödel incompleteness theorem completely falls apart after I introduce my “Gödel is a dumb bitch” axiom
Acho que me tornei o musculoso do meu grupo de amigos.
"Nossa eu queria saber a teoria lógica de Godel"
"Nossa eu queria uma psicóloga que pudesse falar de yaoi"
"Nossa eu queria alguém pra recomendar filme pinku"
"Eu preciso de alguém pra me explicar historia do periodo sengoku"
"Nossa eu queria saber a teoria lógica de Godel"
"Nossa eu queria uma psicóloga que pudesse falar de yaoi"
"Nossa eu queria alguém pra recomendar filme pinku"
"Eu preciso de alguém pra me explicar historia do periodo sengoku"
a cartoon character says " i know a guy " in front of a tree
ALT: a cartoon character says " i know a guy " in front of a tree
media.tenor.com
January 2, 2026 at 10:34 PM
Acho que me tornei o musculoso do meu grupo de amigos.
"Nossa eu queria saber a teoria lógica de Godel"
"Nossa eu queria uma psicóloga que pudesse falar de yaoi"
"Nossa eu queria alguém pra recomendar filme pinku"
"Eu preciso de alguém pra me explicar historia do periodo sengoku"
"Nossa eu queria saber a teoria lógica de Godel"
"Nossa eu queria uma psicóloga que pudesse falar de yaoi"
"Nossa eu queria alguém pra recomendar filme pinku"
"Eu preciso de alguém pra me explicar historia do periodo sengoku"
In their work yes. I get around that by using Gödel incompleteness in the system as a infinite recursive. Turtles all the way up and down
January 2, 2026 at 9:16 PM
In their work yes. I get around that by using Gödel incompleteness in the system as a infinite recursive. Turtles all the way up and down
can a Gödel, Turin, or Galois type just come out and give one of those proofs of incompleteness?
it’s getting tiring, even in the periphery of the goings on.
it’s getting tiring, even in the periphery of the goings on.
Ex-Meta chief AI scientist Yann LeCun has Lunch with the FT and in one of those instances so rare that you know he didn't sign an NDA, says exactly why as.ft.com/r/e503690d-8...
January 2, 2026 at 5:40 PM
can a Gödel, Turin, or Galois type just come out and give one of those proofs of incompleteness?
it’s getting tiring, even in the periphery of the goings on.
it’s getting tiring, even in the periphery of the goings on.
Real answer: Gödel, Escher, Bach
Fun (but still kinda real) answer: How to Draw Comics the Marvel Way
Fun (but still kinda real) answer: How to Draw Comics the Marvel Way
January 2, 2026 at 3:06 PM
Real answer: Gödel, Escher, Bach
Fun (but still kinda real) answer: How to Draw Comics the Marvel Way
Fun (but still kinda real) answer: How to Draw Comics the Marvel Way
Serie godeliana 2/4: El teorema de Gödel y el sentido de la vida #sociología divertida
http://ow.ly/gLA91
http://ow.ly/gLA91
January 2, 2026 at 11:54 AM
Serie godeliana 2/4: El teorema de Gödel y el sentido de la vida #sociología divertida
http://ow.ly/gLA91
http://ow.ly/gLA91
On commence comme ça et on finit par interdire aux philosophes, juristes, etc. d'évoquer les théorèmes d'incomplétudes de Gödel et alors où va la civilisation ma bonne dame ?
January 2, 2026 at 10:08 AM
On commence comme ça et on finit par interdire aux philosophes, juristes, etc. d'évoquer les théorèmes d'incomplétudes de Gödel et alors où va la civilisation ma bonne dame ?
Showing my hand too much for my liking, but I've thought it over if I had to choose which book I'd swear an oath over it would be Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter.
Out of every book I've read this was the most impactful.
Out of every book I've read this was the most impactful.
January 2, 2026 at 6:27 AM
Showing my hand too much for my liking, but I've thought it over if I had to choose which book I'd swear an oath over it would be Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter.
Out of every book I've read this was the most impactful.
Out of every book I've read this was the most impactful.
It seems that Gödel found a flaw in the U.S. Constitution when he studied it.
Why didn’t he give any feedback about it?
Why didn’t he give any feedback about it?
January 2, 2026 at 4:01 AM
It seems that Gödel found a flaw in the U.S. Constitution when he studied it.
Why didn’t he give any feedback about it?
Why didn’t he give any feedback about it?
Picked up a little light reading to start the year.
(I'm also reading a Murderbot on my phone. I'm not sure if that makes it better or worse.)
(I'm also reading a Murderbot on my phone. I'm not sure if that makes it better or worse.)
January 2, 2026 at 4:00 AM
Picked up a little light reading to start the year.
(I'm also reading a Murderbot on my phone. I'm not sure if that makes it better or worse.)
(I'm also reading a Murderbot on my phone. I'm not sure if that makes it better or worse.)