He makes a lot of points on the basis of Goedel's theorum (which implies that are knowledge of the truth of mathematical propositions is not algorthmic).
His points make me think: doesn't belief in a deterministic universe come from thinking that the necessity found in math exists in nature? And isn't that necessity found in math oh, so ... algorthmic?
Uh, I haven't figured out how to put this all together, but it's as if there has to be something not governed by a rule in our brain that enables us to figure out how rules govern. Weird (ever notice that "wired" can be constructed from "weird": hmm).
Comments