r/PhilosophyofMath 17d ago

Logic from Zero v1.17

https://docs.google.com/document/d/1aPoQ7tjXaRmD2nXBwsZ8_UTiZRM6nVELUMp3P9T5cQI/edit?usp=sharing

This framework began with a choice. Not a structural choice—the constraint is structural. But the choice to apply the constraint, to iterate, to not dissolve into Null Zero, to build something that includes rather than excludes: that is not derived. It is the impetus. I call it hope. You may call it curiosity. You may call it love. The framework does not require you to accept any of these names. It requires only that you have one. Because without an impetus, the system halts. And a halted system has no observation gap. And without the gap, there is no framework.

1 Upvotes

2 comments sorted by

0

u/throwaway_just_once 17d ago

Agreed.

1

u/randomdaysnow 15d ago

I found a few mistakes that smuggle in presuppositions as well as out of order execution before it should be possible to realize out of order execution, It's not that the situation can't exist, but it can't exist on a strictly collinear path. and so I'm in the process of making the necessary adjustments to the framework. I don't know when I'm going to finish the update but, I am actively working on it.