Print source: www.mathematik.de
Original URL:
Print date: 28.04.2024
Original URL:
Print date: 28.04.2024
Buzzard über Computerbeweise
Und noch ein interessantes Video: Kevin Buzzard berichtet sehr lebendig über die neuen Entwicklungen bei der Formalisierbarkeit mathematischer Beweise.
https://youtu.be/Dp-mQ3HxgDE