| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| WVOQ #15 Willard Van Orman Quine - cleancutSat, 22 Nov 2008 03:52:03 -0800 by h4ck3rm1k3http://www-groups.dc s.st-and.ac.uk/~hist ory/Printonly/Quine. html - The Time of My Life :- I am orderly and I am frugal. For the most part my only emotion is impatience, I am deeply moved by occasional passages of poetry, and so, characteristically, I read little of it. Outside philosophy and mathematics Quine loved music, especially Dixieland jazz, Mexican folksongs, and Gilbert and Sullivan. He enjoyed playing the piano and he played banjo in several jazz groups. Article by: J J O'Connor and E F Robertson October 2003 MacTutor History of Mathematics [http://www-history. mcs.st-andrews.ac.uk /Biographies/Quine.h tml] EDITORS NOTE: here i have included a paper on a prover that is interesting. END OF NOTE; This is the html version of the file http://serv1.ist.psu .edu:8080/viewdoc/do wnload;jsessionid=64 DA9D2578FEC73682D077 17B330DD5A?doi=10.1. 1.101.580&rep=rep1&t ype=pdf. Page 1 A Mechanically Verified, Sound and Complete Theorem Prover for First Related: philosophy willard van orman quine |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
| |
|
|
|
