On 22 Dec 2013, at 01:00, Edgar Owen wrote:
First thanks for the complement on my post!
To address your points. Of course we do have some knowledge of
reality. We have to have to be able to function within it which we
most certainly do to varying degrees of competence. That is proof we
do have sufficient knowledge of reality to function within it.
Yes, computations include logic as well as math.
Computations is only a very tiny part of arithmetic and thus of math.
Logic is something else, despite many i-rich interrelation with
computation and computability theory.
Computability can be represented in term of a very special case of
provability, and provability can be represented as a very special case
of computability, but those notion are very different and non
Proof and mathematical theories are never universal. For
computability, we do have universality (that's why universal purpose
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 post to this group, send email to email@example.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.