On 10/28/2010 2:11 AM, John Bottoms wrote:
> Gödel numbers have been around since
> Kurt created them. (01)
I just wanted to make one point: Leibniz was Gödel's favorite
philosopher, whom Kurt G. studied in depth for many years. (02)
Leibniz was the one who invented the idea of encoding logical terms
and expressions in numeric form by using prime numbers and performing
inferences by numeric operations on the encodings. L. did the mapping
for a subset of Aristotelian syllogisms, and G. developed a much more
elaborate encoding for the full predicate calculus. (03)
For more detail about the relationship between Leibniz and Gödel,
type the two words "leibniz" and "godel" to Google to get 82,500 hits. (04)
John (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|