John McArthy on Modal Logic
http://www.garyfeng.com/wordpress/2004/11/30/john-mcarthy-on-modal-logic/ Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples. 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 McCarthy, John Shadow Blog Archive John McArthy on Modal logic
Write a Review
Add to My Favorite
Refer it to Friend
Report Broken Link
Google Ads
Other links at McCarthy, John
Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.
Category:
Home page of pioneer in mathematical theory of computation, artificial intelligence, programming languages: invented Lisp, arguably the oldest language in active use today, and maybe the oldest high-level language overall, along with Fortran. (Stanford Univ., USA)
Category:
Main Category
7
4
1
6
3
16
2
12
8
6
16
26
2
3
11
13
6
2
10
4
4
3
2
12
5
4
2
6
7
8
9
4
3
3
5
3
4
4
4
3
1
0
5
Pagerank Statistics
Directory Statistics
Links: 271
Categories: 43
Yahoo! News
Top 10
