Sponsored Links:
Thoralf Skolem (1887-1963) (Popularity: )
Biography from MacTutor History of mathematics archive.
|
|
George Boole (Popularity: )
Biography from the MacTutor History of Mathematics archive.
|
|
The Bulletin of Symbolic Logic, December 1995 (Popularity: )
Contains obituary by H. B. Enderton.
|
|
The Modernity of Aristotle's Logical Investigations (Popularity: )
Article by George Boger, presented at the 20th World Congress in Philosophy.
|
|
David Hilbert (Popularity: )
Biography from the MacTutor History of Mathematics Archive.
|
|
The Semantic Conception of Truth (Popularity: )
Famous paper by Alfred Tarski (1944).
|
|
Alan Turing: Thinking Up Computers (Popularity: )
Profile of the groundbreaking Cambridge mathematician. [BusinessWeek]
|
|
Jan Lukasiewicz (Popularity: )
Short biography from Wikipedia.
|
|
Kurt Gödel (Popularity: )
Biography from the MacTutor History of Mathematics archive.
|
|
Godel's Theorems (Popularity: )
Godel's Incompleteness Theorem by Dale Myers.
|
|
Jan Lukasiewicz (Popularity: )
Summary of his life and work.
|
|
Post's Problem of Creativity (Popularity: )
An essay discussing some of Post's philosophical ideas in a biographic setting.
|
|
E.L. Post Manuscript Guide (Popularity: )
Notes on papers and correspondence by Post at the American Philosophical Society.
|
|
Gödel: A Life of Logic (Popularity: )
By John L. Casti and Werner DePauli. Book review of this biography.
|
|
Kurt Gödel (Popularity: )
A brief biography of the man.
|
|
Kurt Gödel in Blue Hill (Popularity: )
A brief account of Kurt Gödel's trip to Blue Hill, Maine, in the summer of ...
|
|
Kurt Gödel (Popularity: )
Portraits and photographs, including some of his family.
|
|
Charles S. Peirce Studies (Popularity: )
Web site devoted to the life and works of C. S. Peirce.
|
|
Church-Turing Thesis (Popularity: )
Article in the Stanford Encyclopedia.
|
|
Peirce's Logic (Popularity: )
Entry from the Stanford Encyclopedia.
|