only read half, but quite pretty

https://stopa.io/post/269

#godel #lisp #incompleteness

What Gödel Discovered

😆 Wow, another programmer bravely dives into Gödel's #incompleteness theorems with the finesse of a cat herding seminar! 🚀 This article promises a whimsical romp through math's greatest hits, interpreted with all the precision of a banana-shaped ruler. 📏👉🤓
https://stopa.io/post/269 #programming #humor #Gödel #math #whimsy #tech #exploration #HackerNews #ngated
What Gödel Discovered

What Gödel Discovered

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

https://jetse.substack.com/p/the-simulation-hypothesis-reprise-e11

#Incompleteness #Gödel #Philosophy #Mathematics #Physics

"Theoretical computer science has over the years sought more and more refined answers to the question of which mathematical truths are knowable by #finite beings like ourselves, bounded in #time and space and subject to physical laws." #knowledge #incompleteness www.youtube.com/watch?v=dQC7...

How Much Math Is Knowable?
How Much Math Is Knowable?

YouTube
Godel's #incompleteness theorem applies to any *single* #system. A formalism may not be able to describe itself completely, but an #ensemble can, transcending limits. Think of a Venn diagram: a system can't see outside its circle, but the complete answer is the #union.
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)
1931: Incompleteness theorems - The book of science

In 1931, Kurt Gödel proved that any system describing the natural numbers could not be both consistent and complete.

📲 "What’s next? (Un)learning nothingness and non-events in management education", now online in Management Learning: https://lnkd.in/eBSVT9Qv #Nonevents #Interruptions #Voids #Emptiness #Incompleteness
LinkedIn

This link will take you to a page that’s not on LinkedIn

will find out at some point if selks10 is the sec onion killer or not - it has most of the same tools, uses less ram, it is not fips compliant but you can add what you need from debian fairly easily #delayed judgement #purgatory #incompleteness

@sascha_wolfer

I'd say that most things that survive (locally) for long periods of time make the same #evolutionary adjustment.

High efficiency is not #sustainable, unless periodic catastrophic crashes (in number) are tolerable.

OTOH, most systems do not come to this accord on their own, the environment in which it lives constrains optimal #efficiency attainable.

#nonlinear #incompleteness #limits