On 04 Jul 2014, at 20:51, meekerdb wrote:
On 7/4/2014 11:05 AM, Bruno Marchal wrote:
...but even if the God of the theists does not exist, he might
still have important relationships with the Plotinus ONE, or even
with the notion of arithmetical truth as pointed too by a machine.
Which agrees with my point that the truth of arithmetical relations
doesn't imply that the ontology of arithmetic exists.
We don't need an ontology for arithmetic. We need only *some* ontology
for the machine or numbers (or programs, etc.). We get it from the
axioms and inference rules. From universal-machine(k) we can drive
Ex(universal-machine(x)).
Bruno
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/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
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/d/optout.
