Data-Algorithm structure in the top-down approach; Truth-Proof in the bottom-up approach.
- They merge at Godel’s Incompleteness Theorem
- Relation between Gödel’s incompleteness theorem, the halting problem and universal Turing machines - Computer Science Stack Exchange
- Limits of Math and Computing.
- Think: the UTM takes a binary encoding of a TM and can simulate that TM. This is algorithm that is taken as input data to another algorithm.
- Axioms are fundamental bits of data. Using proofs we derive more data [=conjectures, theorems].
Data-Algorithm
Phenomenology and to a greater extent whole of Continental Philosophy. Data is Everything. Perspective Projections Model
Truth-Proof
Bertrand Russell, G. E. Moore and all of Analytic Philosophy
Also see (DevonThink) How to safely think in systems. | Irrational Exuberance