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