Что такое...компьютерные доказательства? скачать в хорошем качестве

Что такое...компьютерные доказательства?

Цель. Я хотел бы немного рассказать вам о моих любимых теоремах, идеях и концепциях в математике и о том, почему они мне так нравятся. На этот раз. Что такое... компьютерные доказательства? Или: Кому нужны математики? Отказ от ответственности. Никто не идеален, и я, возможно, сказал что-то глупое. Если есть какие-либо сомнения, пожалуйста, проверьте ссылки. Слайды. http://www.dtubbenhauer.com/youtube.html TeX-файлы для презентации. https://github.com/dtubbenhauer/My-Te... Миниатюра. Изображение с сайта https://cmartinez.web.wesleyan.edu/do... Основное обсуждение. https://en.wikipedia.org/wiki/Категор... https://formalabstracts.github.io/ https://cmartinez.web.wesleyan.edu/do... https://www.ams.org/notices/202011/rn... https://www.ams.org/notices/200811/tx... https://www.quantamagazine.org/how-cl... https://math.stackexchange.com/questi... спорные доказательства, основанные на компьютерах https://arxiv.org/abs/math/9404236 https://link.springer.com/article/10.... https://www.nature.com/articles/d4158... https://www.jstor.org/stable/2025805 https://sites.math.washington.edu/~bi... https://link.springer.com/book/10.100... https://calculemus.org/MathUniversali... Справочные материалы. https://ru.wikipedia.org/wiki/Помощни... https://ru.wikipedia.org/wiki/Автомат... https://ru.wikipedia.org/wiki/Компьют... https://ru.wikipedia.org/wiki/Автомат... https://ru.wikipedia.org/wiki/Искусст... https://ru.wikipedia.org/wiki/Математ... https://ru.wikipedia.org/wiki/Компьют... https://ru.wikipedia.org/wiki/Формаль... https://ru.wikipedia.org/wiki/Компьют... Разговор о компьютерах. https://en.wikipedia.org/wiki/Категор... https://reference.wolfram.com/languag... Использованные изображения: https://www.qedcat.com/misc/noword3.jpg https://e7.pngegg.com/pngimages/577/7... Изображение с сайта    • What is...the Jordan curve theorem?   Изображения с сайта https://cmartinez.web.wesleyan.edu/do... YouTube и др.    • Thomas Hales: Formal Abstracts in Mathematics      • Georges Gonthier: Computer proofs: teachin...   #логика #компьютерныенауки #математика