Theme One • A Program Of Inquiry 18

Re: Michael HarrisThe Inevitable Questions About Automated Theorem Proving

MH:  Even if computers understand, they don’t understand in a human way.

I like the simple-mindedness of that.
(A simple mind is one with no proper normal submind.)

Fifty-plus years of roundhouse discussions about AI + ATP leave me with nothing new to say about it — so maybe I’ll revisit my earliest thoughts on the subject.  I’ve always liked Ashby’s pre-AI notion of IA = Intelligence Amplification and I often used the catchword Intelliscope to sum up my sense of the project worth pursuing.  We invented the telescope on analogy with the human eye by studying the anatomy and function of our naturally evolved organ of vision and gradually at first, astronomically in time extending its power to augment and correct our natural faculty and frailty.  I think everyone gets the drift of that.  It doesn’t mean we have to become cyborgs in any dystopian way — if we do it will be reckoned to some other factor in our erroneous essence or the accidents of history.

MH:  Would you call Google an accident of history?

I see the warp driving Googly Eyes towards Panopticon … if it goes that way it will be more like the angry ape in our glassy essence than anything else external.

cc: CyberneticsOntolog ForumPeirce ListStructural ModelingSystems Science

This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Theme One • A Program Of Inquiry 18

  1. Pingback: Survey of Theme One Program • 3 | Inquiry Into Inquiry

Leave a Reply

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

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

Google photo

You are commenting using your Google 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 )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.