Pi ist genau 3

PGD meets Eigenraum

Das hier ist eine π=3 Wasserstandssmeldung und kleine Werbung für den Eigenraum-Podcast, den ihr unter diesen Koordinaten findet: * Web: https://eigenpod.de [https://eigenpod.de] * RSS: https://eigenpod.de/feed/mp3 * Mastodon: @Eigenraum@podcasts.social [https://podcasts.social/web/@Eigenraum] Viele Grüße aus Magdeburg.

Knotentheorie

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 [https://de.wikipedia.org/wiki/Knotentheorie] * Quanta Magazine Podcast: Why Knots matter [https://www.quantamagazine.org/why-knots-matter-in-math-and-science-20220406] * Kleblattknoten von Escher [https://www.nga.gov/collection/art-object-page.61288.html] * Reidemeister-Bewegungen – Wikipedia [https://de.wikipedia.org/wiki/Reidemeister-Bewegungen] * Knotenatlas [http://katlas.org/wiki/Main_Page] * Knot Sum -- from Wolfram MathWorld [https://mathworld.wolfram.com/KnotSum.html] * List of prime knots - Wikipedia [https://en.wikipedia.org/wiki/List_of_prime_knots] * 165 Knoten mit höchstens 10 Kreuzungen [http://katlas.org/wiki/The_Rolfsen_Knot_Table] * Marc Lackenby announces a new unknot recognition algorithm that runs in quasi-polynomial time | Mathematical Institute [https://www.maths.ox.ac.uk/node/38304] Feedback gerne an feedback (bei) pi-ist-genau-3.de

Formale Beweise

“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 [https://link.springer.com/article/10.1365/s13291-020-00221-1] * Isabelle [https://isabelle.in.tum.de/] * The Foundation of a Generic Theorem Prover [https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-130.pdf] * Lean [https://leanprover.github.io/] * Xena | Mathematicians learning Lean by doing. [https://xenaproject.wordpress.com/] * The Natural Number Game - Lean spielend lernen. [https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/] * Building the Mathematical Library of the Future | Quanta Magazine [https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/] * The liquid tensor experiment * Proof Assistant Makes Jump to Big-League Math [https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/] * Liquid tensor experiment | Xena [https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/] * Half a year of the Liquid Tensor Experiment: Amazing developments | Xena [https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-the-liquid-tensor-experiment-amazing-developments/] * Philosophisches * Pure maths in crisis? | plus.maths.org [https://plus.maths.org/content/pure-maths-crisis] * Will Computers Redefine the Roots of Math? | Quanta Magazine [https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/] * The philosophy of mathematics [https://www.dpmms.cam.ac.uk/~wtg10/philosophy.html] Feedback gerne an feedback (bei) pi-ist-genau-3.de

ABC Vermutung

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 [https://en.wikipedia.org/wiki/Abc_conjecture] * abc Conjecture - Numberphile - YouTube [https://www.youtube.com/watch?v=RkBl7WKzzRw] * Mason–Stothers theorem - Das Polynomanalogon zu ABC [https://en.wikipedia.org/wiki/Mason%E2%80%93Stothers_theorem] * Cloud andersrum * ABC@home [https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=1] * SETI@home [https://setiathome.berkeley.edu/] * BOINC [https://boinc.berkeley.edu/] * Zahlentheorie * Fermat's Last Theorem - Wikipedia [https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem] * Mochizukis Papers * Inter-universal Teichmuller Theory I: Construction of Hodge Theaters [https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf] * Inter-universal Teichmuller Theory II: Hodge–Arakelov-theoretic Evaluation [https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20II.pdf] * Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice [https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf] * Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations [https://web.archive.org/web/20161228071338/http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf] * EMS PRIMS Special Issue zur ABC Vermutung [https://www.ems-ph.org/journals/show_issue.php?issn=0034-5318&vol=57&iss=1] * ABC Kontroverse * Inter-universal Teichmüller theory - Wikipedia [https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCller_theory] * Shinichi Mochizuki - Wikipedia [https://en.wikipedia.org/wiki/Shinichi_Mochizuki] * ABC is Still a Conjecture | Not Even Wrong [https://www.math.columbia.edu/~woit/wordpress/?p=12220] * Mathematical proof that rocked number theory will be published [https://www.nature.com/articles/d41586-020-00998-2] * PGD002 - Was ist ein Beweis? [https://pi-ist-genau-3.de/was-ist-ein-beweis/] * Titans of mathematics clash over epic proof of abc conjecture [https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/] Feedback gerne an feedback (bei) pi-ist-genau-3.de

Escher

Ist das noch Kunst oder doch eher Mathematik? Dies ist eine Folge über den wohl bedeutendsten Künstler seit den Malern der Renaissance, der sich mit Mathematik und der Abbildung mathematischer Phänomene beschäftigt hat. * M. C. Escher – Wikipedia [https://de.wikipedia.org/wiki/M._C._Escher] * M.C. Escher - Reise in die Unendlichkeit - ZDFmediathek [https://www.zdf.de/arte/arte/page-video-artede-mc-escher---reise-in-die-unendlichkeit-100.html] * Eschers Kunst * M.C. Escher and Tessellations [https://mathandart.com/blog/escher_and_tessellations/] * Escher-Heesch-Konstruktionen [https://mathematikalpha.de/escher-heesch-konstruktionen] * M. C. Escher – Kunstvolle Parkettierungen, unmögliche Konstruktionen und Unendlichkeit – Mathothek [https://mathothek.de/katalog/m-c-escher-kunstvolle-parkettierungen-unmoegliche-konstruktionen-und-unendlichkeit/] * Escher und Mathematik(er) * Artful mathematics: The heritage of M.C. Escher [https://www.ams.org/notices/200304/fea-escher.pdf] * The mathematical side of M.C. Escher [https://www.ams.org/notices/201006/rtx100600706p.pdf] * Coxeter discusses the math behind Escher's circle limit [https://youtu.be/JkhuMvFQWz4] * Escher and Coxeter – A Mathematical Conversation [https://brewminate.com/escher-and-coxeter-a-mathematical-conversation/] * The Mathematical Secrets of Escher | OpenMind [https://www.bbvaopenmind.com/en/science/leading-figures/the-mathematical-secrets-of-escher/] * ESCHER, COXETER AND SYMMETRY [https://doi.org/10.1142/S0219887806001594] * Escher and the Droste effect - Universiteit Leiden [https://web.archive.org/web/20180606093355/https:/escherdroste.math.leidenuniv.nl/] * Weitere Links * Ebene kristallographische Gruppe – Wikipedia [https://de.wikipedia.org/wiki/Ebene_kristallographische_Gruppe] * The Alhambra and The Alcazar - EscherMath [https://mathstat.slu.edu/escher/index.php/The_Alhambra_and_The_Alcazar_%28Spain%29] * Monument Valley 2: an iOS game from ustwo games [https://www.monumentvalleygame.com/mv2] * Unschlagbar [https://www.tagesspiegel.de/kultur/comics/comic-unschlagbar-spielerisch-durch-raum-und-zeit/23710760.html] * Kokichi Sugihara - Wikipedia [https://en.wikipedia.org/wiki/Kokichi_Sugihara] * Kokichi Sugihara “3D Schröder Staircase”. [illusionoftheyear.com/cat/top-10-finalists/2020/] * Impossible motion [https://youtu.be/hAXm0dIuyug] Feedback gerne an feedback (bei) pi-ist-genau-3.de