On 12/22/2013 5:14 AM, Bruno Marchal wrote:

On 22 Dec 2013, at 01:00, Edgar Owen wrote:Hi John, First thanks for the complement on my post!To address your points. Of course we do have some knowledge of reality. We have to haveto be able to function within it which we most certainly do to varying degrees ofcompetence. That is proof we do have sufficient knowledge of reality to function withinit.Yes, computations include logic as well as math.Computations is only a very tiny part of arithmetic and thus of math. Logic is somethingelse, despite many i-rich interrelation with computation and computability theory.Computability can be represented in term of a very special case of provability, andprovability can be represented as a very special case of computability, but those notionare very different and non isomorphic.

`But computable means halting and returning a value. In terms of measure aren't there`

`infinitely more non-terminating programs than terminating?`

Brent

Proof and mathematical theories are never universal. For computability, we do haveuniversality (that's why universal purpose computer exists).Bruno 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/groups/opt_out.