Mathematical Proof

concepts · 5 notes linked

Related: Quanta Magazine · Foundations Of Mathematics · Formal Verification · American Mathematical Society · Mathematics · Trigonometry · Terence Tao · Institute For Advanced Study

Notes

• 'Nasty' Geometry Breaks Decades-Old Tiling Conjecture | Quanta Magazine — Greenfeld and Tao disprove periodic tiling conjecture with high-dimensional aperiodic tile
• US teens say they have new proof for 2,000-year-old mathematical theorem — High schoolers' trigonometric proof challenges 2,000-year circular reasoning prohibition
• Why Mathematical Proof Is a Social Compact | Quanta Magazine — Mathematical proof as community social compact, not pure objective truth
• Why Mathematicians Re-Prove What They Already Know | Quanta Magazine — Mathematicians repeatedly re-proving infinitude of prime numbers
• Why there is no Hitchhiker's Guide to Mathematics for Programmers — Why learning mathematics requires writing proofs just as programming requires writing code