Sites

Mathematical Problems of David Hilbert (Popularity: )

Text of Hilbert's 1900 address in English.

Alfred Tarski (Popularity: )

Biography from MacTutor History of Mathematics archive.

Alonzo Church (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Alan Turing (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Bernays, Paul (Popularity: )

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

Emil Post (Popularity: )

Biography of Emil Leon Post (1897-1954).

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

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

Alan Mathison Turing (Popularity: )

Undergraduate biographical essay by John M. Kowalik.

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

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

Georg Cantor (Popularity: )

Complete bibliography of Cantor's writings.

Cantor Set and Function (Popularity: )

Introduction to the Cantor discontinnuum.

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.

On Dialectic (Popularity: )

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

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

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

The Church-Turing Thesis (Popularity: )

Article from the Stanford Encyclopedia.

Jan Lukasiewicz (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Turing Machine (Popularity: )

Article on Turing Machines from the Stanford Encyclopedia.

Institute for Studies in Pragmaticism (Popularity: )

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

David Hilbert (Popularity: )

Brief biography with references.

The Calculus of Logic (Popularity: )

Seminal paper of 1848 available in various formats.