Foundations

This commit is contained in:
Cyrille Rossant 2015-08-31 21:24:16 +02:00
parent 79ac338a00
commit 39d70281f5

121
README.md
View File

@ -2,29 +2,118 @@
A curated list of awesome mathematics resources.
## Learning platforms
## Foundations of mathematics
### Set theory
* [Set Theory on the Stanford Encyclopedia of Philosophy](http://plato.stanford.edu/entries/set-theory/)
* [An introduction to set theory](http://www.math.toronto.edu/weiss/set_theory.pdf) - William A. R. Weiss
* [Set Theory and Foundations of Mathematics](http://www.settheory.net/) - Sylvain Poirier
* [Set Theory on Wikibooks](https://en.wikibooks.org/wiki/Set_Theory)
### Logic
* [Language, proof, and logic](http://ssdi.di.fct.unl.pt/~pb/cadeiras/lc/0102/lpl%20textbook.pdf) - Jon Barwise, John Etchemendy
* [Introduction to logic](http://logic.stanford.edu/intrologic/chapters/cover.html) - Michael Genesereth, Eric Kao (Stanford University)
* [A problem course in mathematical logic](http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf) - Stefan Bilaniuk (Trent University)
* [An introduction to formal logic](https://textbookequity.org/oct/Textbooks/Magnus_forallx.pdf) - P.D. Magnus (University at Albany)
* [Formal logic](http://maude.sip.ucm.es/~miguelpt/papers/flogic.pdf) - Miguel Palomino
* [Mathematical logic](http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf) - Helmut Schwichtenberg
* [Mathematical logic](http://www.personal.psu.edu/t20/notes/logic.pdf) - Stephen G. Simpson (Pennsylvania State University)
## Arithmetic
* []()
* []()
* []()
* []()
* []()
## Algebra
* []()
* []()
* []()
* []()
* []()
* []()
* []()
## Analysis
* []()
* []()
* []()
* []()
* []()
* []()
## Combinatorics
* []()
* []()
* []()
* []()
* []()
* []()
## Geometry and topology
* []()
* []()
* []()
* []()
* []()
* []()
## Probability and statistics
* []()
* []()
* []()
* []()
* []()
* []()
## Numerical Analysis
* []()
* []()
* []()
* []()
* []()
* []()
## Computer algebra
* []()
* []()
* []()
* []()
* []()
* []()
## Websites
### Learning platforms
* [Khan Academy](https://www.khanacademy.org/math)
* [Coursera](https://www.coursera.org/courses?query=mathematics&languages=en)
* [Wikibooks](https://en.wikibooks.org/wiki/Wikibooks:Mathematics_bookshelf)
* [MathOverflow](http://mathoverflow.net/)
## Foundations of mathematics
### Questions and answers
* []()
* [Mathematics Stack Exchange](http://math.stackexchange.com/)
* [MathOverflow](http://mathoverflow.net/) - for professional mathematicians
## Arithmetic
### Encyclopedia
## Algebra
* [Encyclopedia of Mathematics](https://www.encyclopediaofmath.org)
* [Wolfram Mathworld](http://mathworld.wolfram.com/)
* [Planetmath](http://planetmath.org/)
## Analysis
### Misc
## Combinatorics
## Geometry and topology
## Probability and statistics
## Numerical Analysis
## Computer algebra
* [Areas of mathematics on Wikipedia](https://en.wikipedia.org/wiki/Areas_of_mathematics)