# Math: Links

* PlanetMath <https://planetmath.org/> <https://planetmath.org/msc.html> <https://planetmath.org/alphabetical.html> <https://github.com/planetmath>
* zbMATH <https://zbmath.org/>
* mathworld <https://mathworld.wolfram.com/topics/FoundationsofMathematics.html>

Online Encyclopedia of Integer Sequences. <http://oeis.org>

***

[Mathematical Association of America](http://www.maa.org/) [American Mathematical Society](http://www.ams.org/) [Society for Industrial and Applied Math](http://www.siam.org/) [Putnam Exam](http://math.scu.edu/putnam/index.html) [Discover Data Science](http://www.discoverdatascience.org/)

***

<http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.faqs/ka11516.html>

<https://web.archive.org/web/20080219131555/http://home.gna.org/vov/>

<https://sourceforge.net/projects/johnnysimulator/>

## Gödel's Theorems

* [Introduction to Gödel's Theorems](https://www.logicmatters.net/igt/)
* [Gödel Without Tears](https://www.logicmatters.net/igt/godel-without-tears/)
* [IGT: The first edition](https://www.logicmatters.net/igt/godel-the-first-edition/)
* [Reading lists, Lecture notes, other handouts on Gödel](https://www.logicmatters.net/igt/further-notes/)
* [Web resources on Gödel](https://www.logicmatters.net/igt/web-resources-on-godel/)
* [Kurt Gödel's Story](https://infinityplusonemath.wordpress.com/2017/07/22/kurt-godels-story/)
* [How Gödel Proved Math's Inherent Limitations](https://infinityplusonemath.wordpress.com/2017/09/04/how-godel-proved-maths-inherent-limitations/)
* [Gödel's Lost Letter](http://rjlipton.wordpress.com/)
* [Hilbert's second problem](https://en.wikipedia.org/wiki/Hilbert's_second_problem)
* [Gödel's completeness\_theorem](https://en.wikipedia.org/wiki/G%C3%B6del's_completeness_theorem)
* [Introduction to Gödel’s Theorems](https://www.logicmatters.net/igt/)

## Category Theory

* [Category Theory: Lecture Notes and Online Books](https://www.logicmatters.net/categories/)
* [Bartosz Milewski's blog](https://bartoszmilewski.com/)

## Formal Logic

* [Introduction to Formal Logic](https://www.logicmatters.net/ifl/)
* [Logical snippets](https://www.logicmatters.net/students/)
* [Notes, handouts, papers, talks](https://www.logicmatters.net/yet-more-logic/)
* [Teach Yourself Logic: A Study Guide](https://www.logicmatters.net/tyl/)
* [LaTeX for Logicians](https://www.logicmatters.net/latex-for-logicians/)

## The Foundations of math

* [What is math?](https://infinityplusonemath.wordpress.com/2017/06/17/what-is-math/)
* [The most controversial axiom of all time](https://infinityplusonemath.wordpress.com/2018/07/17/the-most-controversial-axiom-of-all-time/)
* [23 Math Problems - Lecture by D.Hilbert at Paris 1900](https://mathcs.clarku.edu/~djoyce/hilbert/problems.html)

## Math Portals and blogs

* [Good math, bad math](http://www.goodmath.org/)
* [HOTT](http://homotopytypetheory.org/)
* [Asaf Karagila's blog](http://karagila.org/blog.html)
* [Good math, bad math](http://www.goodmath.org/blog/)
* [HOTT blog](http://homotopytypetheory.org/blog/)
* [Joel David Hamkin's blog](http://jdh.hamkins.org/)
* [M-Phi: philosophy of maths](http://m-phi.blogspot.co.uk/)
* [Qiaochu Yuan's blog](http://qchu.wordpress.com/)
* [Richard Zach's Blog](http://richardzach.org/)
* [Scott Aaronson's blog](http://www.scottaaronson.com/blog/)
* [Terence Tao's blog](http://terrytao.wordpress.com/)
* [The n-Category Café](http://golem.ph.utexas.edu/category/) A group blog on math, physics and philosophy
* [Tim Gowers's blog](http://gowers.wordpress.com/)
* [Logic Matters](https://www.logicmatters.net/)
* [Boole's Rings](http://boolesrings.org/) Promoting practices towards a network of academics' homepages.
* [Planet Musings](https://golem.ph.utexas.edu/~distler/planet/)
* [The n-Lab](http://ncatlab.org/nlab/show/HomePage)
* [Musings](https://golem.ph.utexas.edu/~distler/blog/)
* [The String Coffee Table](https://golem.ph.utexas.edu/string/)
* [John Baez](http://math.ucr.edu/home/baez/)
* [John Armstrong's Blog](http://unapologetic.wordpress.com/)
* [David Roberts](https://thehighergeometer.wordpress.com/)
* [Lieven le Bruyn's Blog](http://www.neverendingbooks.org/)
* [Robert Helling's Blog](http://atdotde.blogspot.com/)
* [Alexandre Borovik's Blog](http://www.maths.manchester.ac.uk/~avb/micromathematics/)
* [Terry Tao's blog](http://terrytao.wordpress.com/)
* [Secret Blogging Seminar](http://sbseminar.wordpress.com/)
* [Richard Borcherds' blog](http://borcherds.wordpress.com/)
* [Noncommutative Geometry blog](http://noncommutativegeometry.blogspot.com/)
* [Life on the Lattice](http://latticeqcd.blogspot.com/)
* [Cosmic Variance](http://blogs.discovermagazine.com/cosmicvariance/)
* [Backreaction](http://backreaction.blogspot.com/)
* [PhysicsWeb](http://physicsweb.org/)
* [Edge](http://www.edge.org/)
* <https://infinityplusonemath.wordpress.com/>
* <http://www.funmath.be/>
* <http://www.mathwords.com/>
* <http://www.numbertheory.org/>
* <https://www.analyzemath.com/>
* <https://planetmath.org/>
* <https://www.aaamath.com/>
* <https://www.analyzemath.com/>
* <https://www.cut-the-knot.org/>
* <https://www.themathpage.com/>
* <https://www.encyclopediaofmath.org/>
* [Discipline in Thought](http://www.mathmeth.com/)
* [Archive the manuscripts of Edsger W. Dijkstra](http://www.cs.utexas.edu/~EWD/)
* [Institute for Advanced Study: School of Mathematics](https://video.ias.edu/sm)
* [Practical Foundations of Mathematics - Paul Taylor](http://www.cs.man.ac.uk/~pt/Practical_Foundations/html/)
* [Portal: Dijkstra's Rallying Cry for Generalization](http://www.dijkstrascry.com/)

## Pages aggregating the resources

<http://okmij.org/ftp/README.html>

## Math markup

* [WebTeX](https://golem.ph.utexas.edu/~distler/WebTeX/docs/toc.html)\
  WebTeX is an equation markup language for WebEQ, similar to the math mode part of LaTeX. WebTeX is designed to be compatible with MathML, the benefit being that WebTeX always translates unambiguously into MathML, while LaTeX does not. Unfortunately, the cost is that existing LaTeX equations frequently require some changes to be compatible with WebTeX. For this reason, it is probably most accurate to think of WebTeX as a shorthand input syntax for MathML.
* [MathML](https://www.w3.org/Math/)\
  MathML is a low-level specification for mathematical and scientific content on the Web and beyond
* TeX, LaTeX
