>>11081112>Expand on expressiveness and power of system while simplifing syntaxHm, something like what Gandy did for the Church-Turing thesis (broadening its scope from a human writing symbols on a strip, to any physical model of computation)?
>prove consistenty of said formal system using old systemConsistency is a fairly recebt invention, is it really indispensable?
You could argue, roughly, that inconsistent systems are uninformative (in the sense of communicating zero Shannon information), but constructivists don't seem to care about consistency (with several vogue strains of type theory challenging even classical Boolean semantics).
> implement a model of the new formal system inside itself. Iterate this procedure ad infinitum.Will this survive developments in quantum physics like Frauchiger-Renner? Or am I just misinterpreting that experiment?
