| | |
Summary: ESSLLI'03 & CSL'03. Vienna, August 26, 2003
Back to the Future:
Explicit Logic for Computer Science
Sergei N. Artemov
Graduate Center of the City University of New York
TIME100 project: "The greatest scientists of the century"
(20 positions):
· Technology - 6 (airplane, rocket, TV, transistor, plastic, WWW)
· Biology & Medicine - 4 (psychoanalysis, penicillin, DNA, polio)
· Physics & Astronomy - 3 (Einstein, Fermi, Hubble)
· Anthropology - 1 (The Leakeys)
· Economy - 1 (Keynes)
· Environment - 1 (Rachel Carson)
· Psychology - 1 (Piaget)
· Computer Science - 1 (?)
· Mathematics - 1 (?)
· Philosophy - 1 (?)
TIME100 project: "The greatest scientists of the century"
(20 positions):
· Technology - 6 (airplane, rocket, TV, transistor, plastic, WWW)
|
