Forum:  Aktuelles und Interessantes Thema: Formalising mathematics: an introduction. Themen-Übersicht tactac Senior Dabei seit: 15.10.2014 Mitteilungen: 2043 Themenstart: 2021-01-26 12:54 Kevin Buzzard führt einen Kurs zum Thema Formalisierung von Mathematik durch. In einem Blog-Post verliert er dazu ein paar einführende Worte. Die Folge der Zwischenüberschriften ist bereits lustig: - Formalising mathematics: Why? - The nature of research mathematics - Mathematicians think in pictures - The system is broken! - The system is not broken! - So... why formalise? Viel Spaß! Dieses Forumbeitrag kommt von Matroids Matheplanet https://https://matheplanet.de Die URL für dieses Forum-Thema ist: https://https://matheplanet.de/default3.html?topic=251966=1 Druckdatum: 2021-04-23 04:11