Outer Web | Explore

Explore >> Select a destination

You are here		www.logicmatters.net Introducing Category Theory - the paperback! - Logic Matters
\|	\|	openlogicproject.org Fall 2023 version of forall x: YYC now official, on Amazon - Open Logic Project	4.6 parsecs away Travel
\|	\|	I've removed the "beta" from the Fall 2023 edition of forall x: Calgary. It is now available in paperback on Amazon (US \| CA \| UK \| DE \| AU).	4.6 parsecs away Travel
\|	\|	jdh.hamkins.org The covering reflection principle, Notre Dame Logic Seminar, February 2024 \| Joel David Hamkins	10.7 parsecs away Travel
\|	\|	This will be a talk for the Notre Dame Logic Seminar on 6 February 2024, 2:00 pm. Abstract. The principle of covering reflection holds of a cardinal $\kappa$ if for every structure $B$ in a countab...	10.7 parsecs away Travel
\|	\|	miketaylr.com Testing Chrome version 100 for fun and profit (but mostly fun I guess)	12.1 parsecs away Travel
\|	\|	Erotic web browser fan fiction.	12.1 parsecs away Travel
\|	\|	neilmadden.blog Some incomplete thoughts about Gödel - Neil Madden	85.6 parsecs away Travel
\|		I saw another article on Gödel's incompleteness theorems linked from Reddit today. It's a topic I've wanted to write about for some time. Although many articles do a decent job in giving an idea of what the big deal is (and this one is pretty good), they can sometimes give a misleading impression of what...	85.6 parsecs away Travel