Доклады В.М. Зюзькова на Математическом лектории и Математическом коллоквиуме

29 марта состоялось третье заседание Математического лектория и Математического коллоквиума. С докладами выступил Зюзьков Валентин Михайлович канд. физ.-мат. наук, доцент кафедры вычислительной математики и компьютерного моделирования ММФ ТГУ.

Темы докладов: “Что такое математическое доказательство? (часть I)”, “Что такое математическое доказательство? (часть II)”.

В рамках докладов Валентин Михайлович

  • рассказал чем отличается математическое доказательство от доказательств в других науках;
  • рассмотрел вероятностный подход к доказательству;
  • привел примеры парадоксов;
  • описал платонический взгляд на математику и ключевые вклады в символьную логику;
  • рассмотрел роль гипотез и методологию экспериментальной математики;
  • привел примеры компьютерных доказательств.
navigate_before
navigate_next

Презентация доклада (часть 1)

Презентация доклада (часть 2)