Stanford University

Description: Stanford University is one of the world's leading research and teaching institutions. It is located in Palo Alto, California.

Keywords: university, research, undergraduate research, graduate research, humanities, sciences, earth sciences, business, law, engineering, medicine, education, california, palo alto

Stanford.edu has 1,431 URLs listed in 1,077 Dmoz categories.

Peter of Spain (Petrus Hispanus)
Life and work of 13th century logician and author of the Tractatus; from the Stanford Encyclopedia by Joke Spruyt.
http://plato.stanford.edu/entries/peter-spain/
Top/Science/Math/Logic_and_Foundations/History

Church-Turing Thesis
Article in the Stanford Encyclopedia.
http://plato.stanford.edu/entries/church-turing/
Top/Science/Math/Logic_and_Foundations/History/People/Church,_Alonzo

Gottlob Frege
Short biography from the Metaphysics Research Lab at Stanford.
http://mally.stanford.edu/frege.html
Top/Science/Math/Logic_and_Foundations/History/People/Frege,_Gottlob

Frege's Logic, Theorem, and Foundations for Arithmetic
Stanford Encyclopedia article on Frege's work on the foundations of mathematics.
http://plato.stanford.edu/entries/frege-logic/
Top/Science/Math/Logic_and_Foundations/History/People/Frege,_Gottlob

Gottlob Frege
Entry from the Stanford Encyclopedia.
http://plato.stanford.edu/entries/frege/
Top/Science/Math/Logic_and_Foundations/History/People/Frege,_Gottlob

Hilbert's Program
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia of Philosophy, by Richard Zach.
http://plato.stanford.edu/entries/hilbert-program/
Top/Science/Math/Logic_and_Foundations/History/People/Hilbert,_David

Peirce's Logic
Entry from the Stanford Encyclopedia.
http://plato.stanford.edu/entries/peirce-logic/
Top/Science/Math/Logic_and_Foundations/History/People/Peirce,_Charles_Sanders

Charles Sanders Peirce
Discusses the scientist's interest in infinite sets, probability theory, two distinct kinds of induction and other topics. Includes a brief biography. Entry from the Stanford Encyclopedia by Robert Burch.
http://plato.stanford.edu/entries/peirce/
Top/Science/Math/Logic_and_Foundations/History/People/Peirce,_Charles_Sanders

The Church-Turing Thesis
Article from the Stanford Encyclopedia.
http://plato.stanford.edu/entries/church-turing/
Top/Science/Math/Logic_and_Foundations/History/People/Turing,_Alan_Mathison

Turing Machine
Article on Turing Machines from the Stanford Encyclopedia.
http://plato.stanford.edu/entries/turing-machine/
Top/Science/Math/Logic_and_Foundations/History/People/Turing,_Alan_Mathison