29 марта состоялось третье заседание Математического лектория и Математического коллоквиума. С докладами выступил Зюзьков Валентин Михайлович канд. физ.-мат. наук, доцент кафедры вычислительной математики и компьютерного моделирования ММФ ТГУ.
Темы докладов: “Что такое математическое доказательство? (часть I)”, “Что такое математическое доказательство? (часть II)”.
В рамках докладов Валентин Михайлович
- рассказал чем отличается математическое доказательство от доказательств в других науках;
- рассмотрел вероятностный подход к доказательству;
- привел примеры парадоксов;
- описал платонический взгляд на математику и ключевые вклады в символьную логику;
- рассмотрел роль гипотез и методологию экспериментальной математики;
- привел примеры компьютерных доказательств.
