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		richardzach.org An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach
\|	\|	consequently.org Logical Pluralism - consequently.org	3.3 parsecs away Travel
\|	\|		3.3 parsecs away Travel
\|	\|	www.umsu.de The absoluteness of consistency :: Wolfgang Schwarz	5.2 parsecs away Travel
\|	\|	[AI summary] A blog post explores the philosophical conflict between mathematical pluralism and logical consistency using Peano Arithmetic, followed by a comment section debating the implications for semantic meaning and privileged models.	5.2 parsecs away Travel
\|	\|	mml-book.com There and Back Again: A Tale of Slopes and Expectations \| Mathematics for Machine Learning	4.3 parsecs away Travel
\|	\|	Companion webpage to the book "Mathematics for Machine Learning". Copyright 2020 by Marc Peter Deisenroth, A. Aldo Faisal, and Cheng Soon Ong. Published by Cambridge University Press.	4.3 parsecs away Travel
\|	\|	roleplayerschronicle.com Review: Free League Publishing - Building Better Worlds (Alien: The Roleplaying Game) - Roleplayers Chronicle	45.9 parsecs away Travel
\|			45.9 parsecs away Travel