Outer Web | Explore

Explore >> Select a destination

You are here		xorshammer.com The Axiom of Choice Isn't Always Non-Constructive - XOR's Hammer
\|	\|	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
\|	\|	homotopytypetheory.org On the ?-topos semantics of homotopy type theory?? \| Homotopy Type Theory	2.8 parsecs away Travel
\|	\|	Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new...	2.8 parsecs away Travel
\|	\|	jdh.hamkins.org Survey of Logic for Philosophers, CUNY GC PHIL 76500, Spring 2016 \| Joel David Hamkins	5.0 parsecs away Travel
\|	\|	Survey of Logic for Philosophers PHIL 76500 CUNY Graduate Center Program in Philosophy Spring semester 2016 4 credits Weds. 11:45-1:45 Room 5417 This seminar will be a graduate-level survey	5.0 parsecs away Travel
\|	\|	myinnermishmash.wordpress.com Rachel Newton - "Beinn an Eoin". - My Inner Mishmash	23.5 parsecs away Travel
\|		Hey guys! :) For today, I chose to share with you quite a short Celtic harp piece played by Scottish harpist Rachel Newton, called Beinn an Eoin, which is the name of a mountain in the Scottish Highlands. https://www.youtube.com/watch?v=dULpviNMW88	23.5 parsecs away Travel