Outer Web | Explore

Explore >> Select a destination

You are here		possiblywrong.wordpress.com Whodunit logic puzzle \| Possibly Wrong
\|	\|	inquiryintoinquiry.com Differential Analytic Turing Automata ? Discussion 1 \| Inquiry Into Inquiry	12.2 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...	12.2 parsecs away Travel
\|	\|	asthasr.github.io On Symbolic Logic \| data Blog = Blog { me :: Programmer, posts :: [Opinion] }	15.3 parsecs away Travel
\|	\|	Opinions and discussions of various topics, mostly related to programming.	15.3 parsecs away Travel
\|	\|	xorshammer.com The Axiom of Choice Isn't Always Non-Constructive - XOR's Hammer	15.9 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...	15.9 parsecs away Travel
\|	\|	caitlinsanswersforhumanitiesclass.wordpress.com First blog post - Caitlin's Blog	41.5 parsecs away Travel
\|		This is the excerpt for your very first post.	41.5 parsecs away Travel