Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction
\|	\|	lawrencecpaulson.github.io Most proofs are trivial	3.1 parsecs away Travel
\|	\|		3.1 parsecs away Travel
\|	\|	relatedwork.blogspot.com Related Work: A Proof of Proof by Infinite Descent	3.3 parsecs away Travel
\|	\|	WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co...	3.3 parsecs away Travel
\|	\|	jiggerwit.wordpress.com An Argument for Controlled Natural Languages in Mathematics \| Jigger Wit	2.4 parsecs away Travel
\|	\|	What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer...	2.4 parsecs away Travel
\|	\|	www.cs.uic.edu Herbrand Logic -- First-order Syntax and Herbrand Semantics	27.4 parsecs away Travel
\|			27.4 parsecs away Travel