Many quotes, Lisp emphasis. Bill Clementson's Weblog.
Category:
Random Site Quote:
Bits and pieces (mostly Lisp-related) that I collect from the ether.
The Most Important Idea in Computer Science
Friday, February 24, 2006
is a fascinating person. He once said "Don't worry about what anybody else is going to do. The best way to predict the future is to invent it." and he's
waiting for hand_moderation
Date Added: Mar 3, 2010 Hits: Rating: 0.00 Votes: 0
Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.
Category:
Random Site Quote:
John McArthy, creater of Lisp, in an extension of his book on philosophical problems in AI, touched on modal logic
The idea is that modal calculi describe several possible
worlds at once, instead of just one. Statements are not assigned a
single truth-value, but rather a spectum of truth-values,
waiting for hand_moderation
Date Added: Mar 3, 2010 Hits: Rating: 0.00 Votes: 0