Alpha Now, Omega Later : 4

Re: Cristopher Moore on Theorems From Physics?

It is critically important to distinguish between the objective landscape, the boolean functions as mathematical objects, and the syntactic landscape, the particular formal language we are using as a propositional calculus to denote and compute with those objects. If we do hill-climbing, we must keep our feet on the objective territory, however much we rely on syntactic maps to narrate the travelogue. (Many will be thinking of manifolds here.) The object domain has a fixed structure but the conceptual clarity and computational efficiency of propositional calculi can very likely be improved indefinitely.

Advertisements
This entry was posted in Computational Complexity, Differential Logic, Equational Inference, Fixation of Belief, General Problem Solver, Hill Climbing, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Peirce, Peirce List, Physics, Propositional Calculus, Scientific Inquiry, Scientific Method, Semiotics, Sisyphus, Spencer Brown, Systems Theory, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

One Response to Alpha Now, Omega Later : 4

  1. Pingback: All Process, No Paradox : 2 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s