Descriptive differential dynamics: machine numbers and numerical models

Descriptive definitional dynamics, machine integers, models of computation, facilities and resources in machines and numbers, implementations of computers, computational units and systems, organizations of digital electronics, machine numbers, register and stack models and register and memory models, models of operation, op-codes, 0's and 1's and true and false, symbolic models, pure set theory, model theory and sets, model theory and infinite sequences, models of computation, linear analysis and numerical methods, analog computers and the transducer, standard and custom logic, singularity theory, identity dimension, Gregory and Newton and Maclaurin and Taylor, Runge-Kutta and numerical methods, infinite series and closed forms in differential geometry, the hyperbola and the regulus, field theory, singularity theory in physics.

[@snarkybuttcrack]

So did you prove the existence of God?