1/3 of Break

It has been a few weeks... tied down with earning money, hence work has not been at full throttle. During this time I began to construct a formal definition of a ``combinatorial bounded space machine'', which allows a bounded vocabulary to be reduced to two sets based on the satisfiability constraints of some bounded expression.

I picked up, once again, Gödel's collected work from 1929 to 1936; it is a great book composing his groundbreaking results in both native German and opposing page translations to English. This is a great inspiration, along as a reference; Gödel was only 23 when he received his Ph.D for his Completeness Theorem; I can feel my time is not far away!