What is...computer aided mathematics?
Goal.
I would like to tell you a bit about my favorite subfields of mathematics (in no particular order), highlighting key theorems, ideas or concepts and why I like them so much. This is a variation of “My favorite theorems” and I park the videos on that list as well.
This time.
What is...computer aided mathematics? Or: Subfields of mathematics 10.
Disclaimer.
Nobody is perfect, and I might have said something silly. If there is any doubt, then please check the references.
Slides.
http://www.dtubbenhauer.com/youtube.html
TeX files for the presentation.
https://github.com/dtubbenhauer/My-Te...
Thumbnail.
Picture from https://leanprover-community.github.i...
Main discussion.
https://leanprover-community.github.i...
https://en.wikipedia.org/wiki/Compute...
https://en.wikipedia.org/wiki/Non-sur...
https://en.wikipedia.org/wiki/Compute...
https://en.wikipedia.org/wiki/Four_co...
https://en.wikipedia.org/wiki/Robbins...
Background material.
https://en.wikipedia.org/wiki/Categor...
https://en.wikipedia.org/wiki/Categor...
https://en.wikipedia.org/wiki/Automat...
https://en.wikipedia.org/wiki/Automat...
https://en.wikipedia.org/wiki/Artific...
Computer talk.
https://en.wikipedia.org/wiki/Proof_a...
https://en.wikipedia.org/wiki/Coq_(so...)
https://en.wikipedia.org/wiki/Lean_(p...)
Pictures used.
https://en.wikipedia.org/wiki/Four_co...
https://en.wikipedia.org/wiki/File:De...
Picture from https://www.dtubbenhauer.com/talks/20...
Picture from https://www.ams.org/notices/200811/tx...
https://en.wikipedia.org/wiki/Coq_(so...
Picture from https://leanprover-community.github.i...
Pictures from https://link.springer.com/article/10....
YouTube and co.
• Symbolic Dynamics - Dynamical Systems | Le...
• Leonardo de Moura - The Lean proof assista...
• 10 minute Lean tutorial : proving logical ...
#computerscience
#logic
#mathematics