That just means proof is no different to an arbitrary set of rules defined acting like a compiler/interpreter for a programming language.
So just Infinite monkey patched classes of definitions... fun.
That just means proof is no different to an arbitrary set of rules defined acting like a compiler/interpreter for a programming language.
So just Infinite monkey patched classes of definitions... fun.