Outer Web | Explore

Explore >> Select a destination

You are here		xorshammer.com The Axiom of Choice Isn't Always Non-Constructive - XOR's Hammer
\|	\|	inquiryintoinquiry.com Differential Analytic Turing Automata ? Discussion 1 \| Inquiry Into Inquiry	10.8 parsecs away Travel
\|	\|	Re: R.J. Lipton and K.W. Regan ? Proving Cook's Theorem Synchronicity Rules? I just started reworking an old exposition of mine on Cook's Theorem, where I borrowed the Parity Function example from Wilf (1986), Algorithms and Complexity, and translated it into the cactus graph syntax for propositional calculus I developed as an extension of Peirce's...	10.8 parsecs away Travel
\|	\|	thehousecarpenter.wordpress.com Notes on proving the completeness theorem for propositional logic \| The House Carpenter	11.3 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...	11.3 parsecs away Travel
\|	\|	homotopytypetheory.org On the ?-topos semantics of homotopy type theory?? \| Homotopy Type Theory	7.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...	7.8 parsecs away Travel
\|	\|	chsakell.com February 28, 2015 - chsakell's Blog	38.7 parsecs away Travel
\|		1 post published by Christos S. on February 28, 2015	38.7 parsecs away Travel