Top network posts

• 400 Why do roots of polynomials tend to have absolute value close to 1?
• 199 What makes dependent type theory more suitable than set theory for proof assistants?
• 150 How To Present Mathematics To Non-Mathematicians?
• 106 Axiom of choice, Banach-Tarski and reality
• 87 Au revoir, law of excluded middle?
• 78 Is rigour just a ritual that most mathematicians wish to get rid of if they could?
• 73 Techniques for Reversing the Order of Quantifiers
• View more network posts →