Outer Web | Explore

Explore >> Select a destination

You are here		ianwrightsite.wordpress.com Materialism and Cantor's higher infinities (transcript of talk) - ???????? ??????????????
\|	\|	terrytao.wordpress.com The equational theories project: a brief tour \| What's new	6.0 parsecs away Travel
\|	\|	Almost three weeks ago, I proposed a collaborative project, combining the efforts of professional and amateur mathematicians, automatic theorem provers, AI tools, and the proof assistant language L...	6.0 parsecs away Travel
\|	\|	www.quantamagazine.org Why Mathematical Proof Is a Social Compact \| Quanta Magazine	4.7 parsecs away Travel
\|	\|	Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach.	4.7 parsecs away Travel
\|	\|	blog.computationalcomplexity.org Computational Complexity: Why did 1+1=2 take Russell and Whitehead 300 pages?	4.9 parsecs away Travel
\|	\|	In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we...	4.9 parsecs away Travel
\|	\|	cambridge163.wordpress.com First blog post - cambridge163	30.7 parsecs away Travel
\|		This is the excerpt for your very firstpost.	30.7 parsecs away Travel