On 07 Oct 2014, at 20:53, LizR wrote:
But it's pejorative to refer to it as "god". Nobody worships
matter. Physics textbooks don't have moral prescriptions derived
from QED. To call it "god" is to give into Bruno's desire to make
all fundamental science "theology".
I think you have to distinguish Bruno's use of "theology" here from
more conventional uses, which is something like "believing that X is
fundamental is an act of faith."
OK. It is more believing in the primitive existence of X, and in the
fact that X can justify conceptually the appearance of non-X type of
things.
Physcaiism, not physics!, is the "religion" that X is the physical
universe.
With computationalism X is the (sigma_1) arithmetical truth. It
behaves a lot like the ONE of the neoplatonist pythagorean theologies,
when intuited by the machine from inside.
The theology of the machine M is simply the set of all true
proposition on M, including its (many) points of view.
It is beyond the science of the machine M, that is above what she can
explain to other machines. Incompleteness makes this non empty, and
distinguish the logic of the believer, the knower, the observer, etc.
Bruno
--
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
