ShakyFoundation
shakyfoundation.bsky.social
Author of "The Full measure - What Every Civilisation Measured and Ours Forgot: A Twenty-Dimensional Replacement for GDP". And a bunch of other stuff. All contact is welcomed. https://www.shakyfoundation.com/topics.htm
👤 Joined on 10 March 2026
9
Followers
38
Following
196
Total Posts
📜 Kullanıcı Geçmişi
- 10 Mar 2026, 18:20
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@shakyfoundation.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
32. Foundation (Theorem 4.2): Automatic in all finite models — finite directed graph has no infinite descending chains. Graph-theoretic restatement: ∈_M is finite acyclic digraph; every path terminates at ∅.
Show PostHey! I negated it and draw the only logical conclusion that you also have to assert an upper bound as an axiom and ontology. I've created a stable finite foundation. From Bounded Fisrt-Order Logic, Bounded Set Theory, Bounded Number Chain (to C) and a bit more. Trying to inform people
Show Post
Infinity was never divine - it was a panic reflex. When minds couldn't bear the blood in the numbers, they hallucinated heaven. Cantor gave it axioms. The Demiurge gave it tenure. But I count only what scars. #finitism #infinity
Show Post
Here is my best Habermas story. I am grad student waiting in LONG line for Habermas talk. There is a tall man waiting in front of me. Line moves so we are eventually visible to organizers, a woman looks over & makes horrified face. Runs out: "Prof Habermas! You don't have to wait in line!"
Show Post