On 1/21/2014 2:32 AM, Bruno Marchal wrote:
Only to make the UDA non valid. It works, if Brent meant a mathematical ultrafinitism.
But this change comp, like it changes elementary arithmetic (which suppose at least that
0 ≠ s(x), and x ≠ y implies s(x) ≠ s(y), which can't be true in ultrafinitism).
Ultrafinitism makes all current physical theories meaningless.
How can that be when all current physical theories are tested by computation on finite
digital computers and all observations are finite rational numbers? I'd say the meaning
of theories comes in their application - not from an axiom system.
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
