All sites of Mathematics

Eratosthenes of Cyrene (276-194 BC) Eratosthenes of Cyrene (276-194 BC)
Eratosthenes of Cyrene (276-194 BC)- Discusses this early Grecian's discoveries in finding a good approximation of the circumference of the earth, the tilt angle of our planet and a tool for finding prime numbers. Page i ...
Shortest path to Gauss Shortest path to Gauss
Shortest path to Gauss- This site is the quickest access to information about C.F.Gauss, although reduced to a single page. ...
Sheynin, Oscar Sheynin, Oscar
Sheynin, Oscar- Freelance researcher specializes in the history of probability, statistics and error theory. Page includes list of publications and outside reviews. ...
Fibonacci Mathematics by Dr. Peter Reimers Fibonacci Mathematics by Dr. Peter Reimers
Fibonacci Mathematics by Dr. Peter Reimers- Describes the rabbit problem and the Fibonacci sequence and some generalized rules. ...
Solovay, Robert M. Solovay, Robert M.
Solovay, Robert M.- University of California, Berkeley - Proof theory. ...
History of Mathematics History of Mathematics
History of Mathematics- Online texts of historic mathematical people, including Hamilton, Riemann, Newton, Boole, and Cantor. Also, has biographical backgrounds for key figures during the 17th and 18th centuries. ...
A Chonicle of Mathematical People A Chonicle of Mathematical People
A Chonicle of Mathematical People- Robert A. Nowlan provides short biographical sketches of mathematicians from many diverse fields. ...
Julius Wilhelm Richard Dedekind Julius Wilhelm Richard Dedekind
Julius Wilhelm Richard Dedekind- Provides biographical details of this German mathematician who lived from 1831 to 1916. ...
Hermann Gunter Grassmann Hermann Gunter Grassmann
Hermann Gunter Grassmann- Provides biographical details of this German mathematician who lived from 1809 to 1877, the inventor of what is now called exterior algebra. ...
The Grothendieck Circle The Grothendieck Circle
The Grothendieck Circle- Aims to make publicly available materials written by and about Alexandre Grothendieck. Made contributions to algebraic geometry, homological algebra and functional analysis. Page includes list of ...
Johann Carl Friedrich Gauss (1777-1855) Johann Carl Friedrich Gauss (1777-1855)
Johann Carl Friedrich Gauss (1777-1855)- Article by J J O'Connor and E F Robertson giving biographical details of the great mathematician, with a number of photographs. ...
Eratosthenes: The Measurement of the Earth's Circumference Eratosthenes: The Measurement of the Earth's Circumference
Eratosthenes: The Measurement of the Earth's Circumference- Gives information about the techniques and computations used by this ancient mathematician to find the circumference of the earth. Includes sample sketch and re ...
Schmidt, Erhard (1876-1959) Schmidt, Erhard (1876-1959)
Schmidt, Erhard (1876-1959)- Main research was functional analysis, doctorate was obtained under Hilbert's supervision, main interest was in integral equations and Hilbert space, best remembered for the Gram-Schmidt orth ...
Cramer - Gabriel Cramer (1704-1752) Cramer - Gabriel Cramer (1704-1752)
Cramer - Gabriel Cramer (1704-1752)- Best known for his work on determinants, made contributions to the study of algebraic curves. ...
Diophantus of Alexandria (c. 200-284 ) Diophantus of Alexandria (c. 200-284 )
Diophantus of Alexandria (c. 200-284 )- Best known for his Arithmetica, a work on the theory of numbers, a collection of 130 problems giving numerical solutions of determinate equations. ...
Pell, John (1611-1685) Pell, John (1611-1685)
Pell, John (1611-1685)- Worked on algebra and number theory, gave a table of factors of all integers up to 100000 in 1668. Pell's equation is y^2 = ax^2 + 1, where a is a non-square integer. ...
Games Mathematicians Play Games Mathematicians Play
Games Mathematicians Play- Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. ...
Kolmogorov, Andrei Nikolaevich (1903-1987) Kolmogorov, Andrei Nikolaevich (1903-1987)
Kolmogorov, Andrei Nikolaevich (1903-1987)- Worked on trigonometric series, set theory, integration analysis, constructive logic, topology, approximation methods, probability, statistics, random processes, information th ...
Srinivasa Ramanujan Srinivasa Ramanujan
Srinivasa Ramanujan- Published and unpublished works. HTML, PDF and DjVu formats. ...
Interactive Computation Interactive Computation
Interactive Computation- Wikipedia article. ...
Logic Tutorial Logic Tutorial
Logic Tutorial- An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic. ...
Computability and Complexity in Analysis Network Computability and Complexity in Analysis Network
Computability and Complexity in Analysis Network- The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis. ...
Computability and Complexity Computability and Complexity
Computability and Complexity- An online course on complexity. ...
Church-Turing Thesis Church-Turing Thesis
Church-Turing Thesis- Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland. ...
Problem Solving Environments Home Page Problem Solving Environments Home Page
Problem Solving Environments Home Page- This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs. ...
Hypercomputation Research Network Hypercomputation Research Network
Hypercomputation Research Network- The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions. ...
Open Questions in Recursion Theory Open Questions in Recursion Theory
Open Questions in Recursion Theory- Compiled by Theodore A. Slaman, Berkeley [TeX/PDF]. ...
Description Logics Description Logics
Description Logics- Maintained by Carsten Lutz. ...
Logic and Set Theory Logic and Set Theory
Logic and Set Theory- Category of Topics in Mathematics (MathArchives). ...
Logic Page Logic Page
Logic Page- Maintained by Christian Gottschall, Vienna philosophy department. ...
Mathematical Logic and Foundations Mathematical Logic and Foundations
Mathematical Logic and Foundations- Section of Math Guide. ...
Research groups in Logic and Theoretical Computer Science Research groups in Logic and Theoretical Computer Science
Research groups in Logic and Theoretical Computer Science- Maintained by Anton Setzer, University of Wales Swansea. ...
Mathematical Logic Around the World Mathematical Logic Around the World
Mathematical Logic Around the World- Compilation of links by Boris Piwinger. ...
Logic Links Logic Links
Logic Links- Gustavus Philosophy Department. ...
University of Alberta Logic Course University of Alberta Logic Course
University of Alberta Logic Course- Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. ...
Around Gödel's Theorem Around Gödel's Theorem
Around Gödel's Theorem- (Hyper)textbook for students in mathematical logic, by Karlis Podnieks. ...
The Logic Daemon The Logic Daemon
The Logic Daemon- On-line proof checker, and texts. ...
Formal Methods Educational Materials Formal Methods Educational Materials
Formal Methods Educational Materials- A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects. ...
The Logic Cafe The Logic Cafe
The Logic Cafe- An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support. ...
Disjunction Disjunction
Disjunction- Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings. ...
Logical Laws Logical Laws
Logical Laws- This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and in ...
Course on Description Logics Course on Description Logics
Course on Description Logics- Slides and notes by Enrico Franconi. ...
ASL Committee on Logic Education ASL Committee on Logic Education
ASL Committee on Logic Education- Reports and resources from the Association of Symbolic Logic. ...
Mizar Project Mizar Project
Mizar Project- An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software. ...
FOM FOM
FOM- A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available. ...
Foundations of Mathematics Foundations of Mathematics
Foundations of Mathematics- Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials. ...
Hilbert II - Mathematical Foundation Project Hilbert II - Mathematical Foundation Project
Hilbert II - Mathematical Foundation Project- The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the fo ...
A Century of Controversy over the Foundations of Mathematics A Century of Controversy over the Foundations of Mathematics
A Century of Controversy over the Foundations of Mathematics- Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'. ...
Practical Foundations of Mathematics Practical Foundations of Mathematics
Practical Foundations of Mathematics- Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science. ...
Game Semantics or Linear Logic? Game Semantics or Linear Logic?
Game Semantics or Linear Logic?- A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation. ...

Latest sites from Mathematics