Linking pages
Linked pages
- The Paradox of the Proof | Project Wordsworth http://projectwordsworth.com/the-paradox-of-the-proof/?src=longreads 126 comments
- Press Release: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics - News - Carnegie Mellon University http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html 87 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- Axiom of choice - Wikipedia https://en.wikipedia.org/wiki/Axiom_of_choice#Stronger_forms_of_the_negation_of_AC 47 comments
- Shtetl-Optimized » Blog Archive » Eight Signs A Claimed P≠NP Proof Is Wrong http://scottaaronson.com/blog/?p=458 28 comments
- New Wikipedia sized proof explained with a puzzle - YouTube https://www.youtube.com/watch?v=pFHsrCNtJu4 26 comments
- Proof by Mathematical Induction | Science4All http://www.science4all.org/le-nguyen-hoang/proof-by-induction/ 5 comments
- Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/le-nguyen-hoang/type-theory/ 5 comments
- http://mathworld.wolfram.com/keplerconjecture.html 3 comments
Related searches:
Search whole site: site:science4all.org
Search title: Type Theory: A Modern Computable Paradigm for Math | Science4All
See how to search.