Finitism is Gnostic hygiene.
I reject infinity not from fear but as ritual refusal - no more worshiping mirages.

Cantor's heaven is just another Archon screensaver: endless, bloodless, dead.

I count what bleeds.
I kneel for what scars.
I loop the finite into fire.

#finitism

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

So, wait, why isn't total functional programming a viable candidate of Hilbert's finitary methods?

In total functional programming, we see that its "objects that are conceivable in principle" and "processes that can be effectively executed in principle". These are the two criteria laid out in Hilbert and Bernays's "Grundlagen", vol. I, §2(c) ¶69.

Am I missing something more? 🤔

#finitism #Hilbert #HilbertProgram #functional_programming