Outer Web | Explore

Explore >> Select a destination

You are here		xorshammer.com The Axiom of Choice Isn't Always Non-Constructive - XOR's Hammer
\|	\|	rileyharris.blog Trial by fire: My mission to prove every real analysis theorem from scratch - Riley Harris	24.6 parsecs away Travel
\|	\|	Proving stuff yourself is hard, and my initial attempts were catastrophic. I wrote one proof that began with a stronger statement than the conclusion I was attempting to draw, rendering the proof useless even in the unlikely case it was otherwise successful. It was not otherwise successful. Jumping through several dodgy implications and logical errors,...	24.6 parsecs away Travel
\|	\|	jdh.hamkins.org Survey of Logic for Philosophers, CUNY GC PHIL 76500, Spring 2016 \| Joel David Hamkins	12.5 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	12.5 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
\|	\|	greatmusclemasstips.wordpress.com Hello world! - greatmusclemasstips	55.5 parsecs away Travel
\|		This is your very first post. Click the Edit link to modify or delete it, or start a new post. If you like, use this post to tell readers why you started this blog and what you plan to do with it. Happy blogging!	55.5 parsecs away Travel