Outer Web | Explore

Explore >> Select a destination

You are here		homotopytypetheory.org On the ?-topos semantics of homotopy type theory?? \| Homotopy Type Theory
\|	\|	thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter	4.2 parsecs away Travel
\|	\|	NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...	4.2 parsecs away Travel
\|	\|	fabricebaudoin.blog Lecture notes: A short introduction to Dirichlet spaces \| Research and Lecture notes	2.8 parsecs away Travel
\|	\|	Here are the lecture notes of the minicourse given at NYU Abu Dhabi. DirichletDownload	2.8 parsecs away Travel
\|	\|	xorshammer.com The Axiom of Choice Isn't Always Non-Constructive - XOR's Hammer	2.4 parsecs away Travel
\|	\|	The Axiom of Choice is usually introduced as a non-constructive axiom that mathematicians used to care about but don't really pay much attention to anymore. It's true that mainstream mathematicians often don't pay much attention to it, but it turns out that AC isn't inherently non-constructive: it depends on what the base system it's being...	2.4 parsecs away Travel
\|	\|	mobstertiger.com MOST DISTURBING VIDEOS ON THE INTERNET TODAY - MobsterTiger	12.8 parsecs away Travel
\|		https://youtube.com/watch?v=NnXO1PNHvZg&si=9tPcwip0MQW-ojid	12.8 parsecs away Travel