Pi ist genau 3

Alexander der Große hat den gordischen Knoten einfach zerschlagen. Oder war es ein Unknoten und er hätte das Problem auch stetig lösen können?

Wir besprechen, wie man Knoten mathematisch definiert und klassifiziert, was Thomas leider mit einem 3D-Druck Problem gar nicht weiter bringt.

• Knotentheorie – Wikipedia
• Quanta Magazine Podcast: Why Knots matter
• Kleblattknoten von Escher
• Reidemeister-Bewegungen – Wikipedia
• Knotenatlas
• Knot Sum -- from Wolfram MathWorld
• List of prime knots - Wikipedia
• 165 Knoten mit höchstens 10 Kreuzungen
• Marc Lackenby announces a new unknot recognition algorithm that runs in quasi-polynomial time | Mathematical Institute

Feedback gerne an feedback (bei) pi-ist-genau-3.de

“Es gibt Beweise mit Löchern, Beweise mit Fehlern und Beweise, die nur zwei Leute auf der ganzen Welt verstehen. […] Um wirklich zu wissen, welche Resultate man glauben kann, muss man Teil eines inneren Zirkels sein und Zugang zu den Experten haben, die den Konsens herstellen.” sagt Kevin Buzzard.
Oder man beweist die Sätze formal.

• Formale Theorembeweiser
• Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started | SpringerLink
• Isabelle
• The Foundation of a Generic Theorem Prover
• Lean
• Xena | Mathematicians learning Lean by doing.
• The Natural Number Game - Lean spielend lernen.
• Building the Mathematical Library of the Future | Quanta Magazine
• The liquid tensor experiment
• Proof Assistant Makes Jump to Big-League Math
• Liquid tensor experiment | Xena
• Half a year of the Liquid Tensor Experiment: Amazing developments | Xena
• Philosophisches
• Pure maths in crisis? | plus.maths.org
• Will Computers Redefine the Roots of Math? | Quanta Magazine
• The philosophy of mathematics

Feedback gerne an feedback (bei) pi-ist-genau-3.de

Wenn a+b=c gilt, wie verhalten sich die Primfaktoren von a, b und c? Ausgehend von einer “einfachen” Frage der Zahlentheorie, kommen wir über die Suche nach außerirdischem Leben zu Fermats letztem Satz und fake news in der Mathematik.

• abc conjecture - Wikipedia
• abc Conjecture - Numberphile - YouTube
• Mason–Stothers theorem - Das Polynomanalogon zu ABC
• Cloud andersrum
• ABC@home
• SETI@home
• BOINC
• Zahlentheorie
• Fermat's Last Theorem - Wikipedia
• Mochizukis Papers
• Inter-universal Teichmuller Theory I: Construction of Hodge Theaters
• Inter-universal Teichmuller Theory II: Hodge–Arakelov-theoretic Evaluation
• Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice
• Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations
• EMS PRIMS Special Issue zur ABC Vermutung
• ABC Kontroverse
• Inter-universal Teichmüller theory - Wikipedia
• Shinichi Mochizuki - Wikipedia
• ABC is Still a Conjecture | Not Even Wrong
• Mathematical proof that rocked number theory will be published
• PGD002 - Was ist ein Beweis?
• Titans of mathematics clash over epic proof of abc conjecture

Feedback gerne an feedback (bei) pi-ist-genau-3.de