Sites

Alan Turing (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Alonzo Church (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Who are Boole, Fitch, and Tarski? (Popularity: )

Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook Language, Proof ...

Bernays, Paul (Popularity: )

Biography of Paul Bernays (1888-1977) from the MacTutor History of Mathematics Archive.

Charles Sanders Peirce (Popularity: )

Discusses the scientist's interest in infinite sets, probability theory, two distinct kinds of induction and ...

On Dialectic (Popularity: )

By St. Augustine. Latin original together with translation by J. Marchand.

Georg Cantor (Popularity: )

Complete bibliography of Cantor's writings.

Alfred Tarski (Popularity: )

Biography from MacTutor History of Mathematics archive.

George Boole (1815 - 1864) (Popularity: )

Brief biography and description of Boolean algebra.

Alan Mathison Turing (Popularity: )

Undergraduate biographical essay by John M. Kowalik.

Frege (Popularity: )

Interpretative essay on Frege's philosophy by Rainer Born.

The Church-Turing Thesis (Popularity: )

Article from the Stanford Encyclopedia.

Jan Lukasiewicz (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Transactions of the Charles S. Peirce Society (Popularity: )

Journal specializing in the history of American philosophy. Includes list of editors, table of contents ...

Turing Machine (Popularity: )

Article on Turing Machines from the Stanford Encyclopedia.

David Hilbert (Popularity: )

Brief biography with references.

Cantor Set and Function (Popularity: )

Introduction to the Cantor discontinnuum.

Hilbert Edition (Popularity: )

Project to edit Hilbert's unpublished lectures.

The Bulletin of Symbolic Logic, December 1995 (Popularity: )

Contains obituary by H. B. Enderton.

Godel's Theorems (Popularity: )

Godel's Incompleteness Theorem by Dale Myers.