Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

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
\|	\|	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
\|	\|	existentialtype.wordpress.com Proofs by contradiction, versus contradiction proofs \| Existential Type	3.8 parsecs away Travel
\|	\|	It is well-known that constructivists renounce "proof by contradiction", and that classicists scoff at the critique. "Those constructivists," the criticismgoes, "want to rule out proofs by contradiction. How absurd! Look, Pythagoras showed that the square root of two is irrational by deriving a contradiction from the assumption that it is rational. There is nothing wrong...	3.8 parsecs away Travel
\|	\|	www.capicua.com Machine Learning and Cybersecurity	18.7 parsecs away Travel
\|		Machine Learning has gained traction over the last few years, cybersecurity being one of them. Let's learn how to use it to boost your system's protection!	18.7 parsecs away Travel