CACM logo

Communications of the ACM

Computing for Humans

[article image]

Leibniz conceived of a universal mathematical language in which all human knowledge can be expressed, and calculational rules carried out by machines to derive all logical relationships. His definition of computing captures, I believe, the essence of our field.

User Comments

 (3)

We lost three pioneers in October. The article neglected to mention John McCarthy, the AI researcher who invented Lisp (one of the most influential languages in the history of computing), and who in fact coined the term "artificial intelligence". Though he's certainly no better known than Ritchie among the general public and far fewer of today's professionals work directly with his inventions, McCarthy's influence on our field is as great than Ritchie's. He will be missed.

John McCarthy passed away after the December issue of Communications went to print. The January issue is dedicated to his memory.

--Moshe Vardi

Leibniz wasn't talking about computers, but a new calculus able to differentiate correct/logical thinking. Also, Jobs and no McCarthy?

Post a comment...
Name: Anonymous

Signed and anonymous comments submitted to this site are moderated and will appear if they are relevant to the topic and not abusive. Your comment will appear with your username if you are signed into the site, and will be anonymous if you are not signed in. View our policy on comments

Tools For Readers

Bookmark and Share
Default Font Size Large Font Size X-Large Font Size Text Size

Related ACM Resources

Conferences:

Courses:

In The Digital Library


About Communications | Join ACM External Link | Renew External Link | Subscribe External Link | Sign In | For Authors | For Advertisers External Link | Privacy | Site Map | Help | Contact Us | Mobile Site

Copyright © 2012 by the ACM. All rights reserved.