Outer Web | Explore

Explore >> Select a destination

You are here		lawrencecpaulson.github.io Most proofs are trivial
\|	\|	relatedwork.blogspot.com Related Work: A Proof of Proof by Infinite Descent	4.2 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...	4.2 parsecs away Travel
\|	\|	math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction	3.1 parsecs away Travel
\|	\|	[AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.	3.1 parsecs away Travel
\|	\|	aeon.co More than argument, logic is the very structure of reality \| Aeon Essays	3.4 parsecs away Travel
\|	\|	Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task	3.4 parsecs away Travel
\|	\|	thatsmaths.com Contents - ThatsMaths	29.2 parsecs away Travel
\|		[AI summary] A blog archive listing titled 'ThatsMaths' containing over 600 posts from 2002 to 2025 covering mathematical history, problems, applications, and scientific concepts.	29.2 parsecs away Travel