Sites

Institute for Studies in Pragmaticism (Popularity: )

Center for research on the life and works of Charles Sanders Peirce.

Gödel (Popularity: )

Open Encyclopedia article.

Peirce Edition Project (IUPUI) (Popularity: )

Organize and date the manuscripts to produce an approved scholarly edition of Peirce's writings (Indianapolis, ...

David Hilbert (Popularity: )

Biography from the MacTutor History of Mathematics Archive.

Frege's Logic, Theorem, and Foundations for Arithmetic (Popularity: )

Stanford Encyclopedia article on Frege's work on the foundations of mathematics.

George Boole - the Lincoln Genius (Popularity: )

Biography from Roger Parsons' "Lincolnshire World", by Eileen Harrison.

Alan Turing: Thinking Up Computers (Popularity: )

Profile of the groundbreaking Cambridge mathematician. [BusinessWeek]

George Boole (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Jan Lukasiewicz (Popularity: )

Short biography from Wikipedia.

The Calculus of Logic (Popularity: )

Seminal paper of 1848 available in various formats.

The Semantic Conception of Truth (Popularity: )

Famous paper by Alfred Tarski (1944).

Thoralf Skolem (1887-1963) (Popularity: )

Biography from MacTutor History of mathematics archive.

Gottlob Frege (Popularity: )

Short biography from the Metaphysics Research Lab at Stanford.

Jan Lukasiewicz (Popularity: )

Summary of his life and work.

Kurt Gödel (Popularity: )

Portraits and photographs, including some of his family.

On Computable Numbers with an Application to the Entscheidungsproblem (Popularity: )

Turing's paper which discusses the halting problem in the context of Gödel's Incompleteness Theorem. HTML.

Peirce's Logic (Popularity: )

Entry from the Stanford Encyclopedia.

Charles S. Peirce (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Church-Turing Thesis (Popularity: )

Article in the Stanford Encyclopedia.

Emil Post (Popularity: )

Biography of Emil Leon Post (1897-1954).