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		www.logicmatters.net Schubert, extraordinarily - Logic Matters
\|	\|	xahlee.info Free Math Textbooks	3.8 parsecs away Travel
\|	\|	[AI summary] The post curates a collection of free verified math textbooks ranging from high school number theory to graduate-level topics like category theory and differential geometry.	3.8 parsecs away Travel
\|	\|	jdh.hamkins.org Forcing is simply the iterative conception undertaken with multivalued logic, ForcingFest, Oslo, June 2024 \| Joel David Hamkins	2.2 parsecs away Travel
\|	\|	I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative...	2.2 parsecs away Travel
\|	\|	richardzach.org Zeitschrift für mathematische Logik und Grundlagen der Mathematik - Richard Zach	2.5 parsecs away Travel
\|	\|	The Zeitschrift für mathematische Logik und Grundlagen der Mathematik was one of the few logic journals around in the mid 20th century. It started publishing in 1955, I think the only logic journal...	2.5 parsecs away Travel
\|	\|	www.retroprogramming.com Retro Programming: Emulating the Manchester SSEM	9.8 parsecs away Travel
\|		The Manchester Small-Scale Experimental Machine was the first computer to store programs in memory and was built at the University of Manche...	9.8 parsecs away Travel