On 6/7/2020 5:08 AM, Bruno Marchal wrote:
The UDA *proves* that the fundamental reality = arithmetic.
All proofs are relative to their premises. You just assume
arithmetic is real.
To assume arithmetic is real is ambiguous, if not non sensical.
A proposition cannot be ambiguous or nonsensical and also proven:
"The UDA *proves* that the fundamental reality = arithmetic.”
But the “UDA proves that …” is not derived from “arithmetic is real”.
It is derived from x + 0 = x, etc.
You seem to confuse the theory/machine (and what its says) with the
arithmetical reality. Those do not belong to the same level of
explanation. The arithmetical reality proves nothing: it is not a theory.
I'm not confused. You made two statements that are implicitly
contradictory:
(1) To assume arithmetic is real is ambiguous, if not non sensical.
(2) The UDA *proves* that the fundamental reality = arithmetic.
I just made the contradiction explicit by pointing out that any
proposition that can be proven, cannot be ambiguous or nonsensical and
hence can be unambiguously assumed.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/everything-list/86b8bfb7-e637-1d3e-d9a4-0968a640972e%40verizon.net.
