Лекция «Теоремы Гёделя и вычислимость»

5 декабря в 17:00 встречаемся в Центре современной культуры «Смена» на второй лекции математического цикла

Наука

«Теоремы Гёделя и вычислимость»

На лекции будут освещены простые и не очень простые идеи, лежащие в основании математической логики. Теорема Гёделя о полноте позволяет рассматривать математическое доказательство как конструктивный алгоритмический процесс. С другой стороны, теорема Гёделя о неполноте утверждает, что в любой достаточно богатой теории существуют утверждения, которые невозможно ни доказать, ни опровергнуть. Идея доказательства этой нетривиальной теоремы связана как с парадоксами древности (парадокс лжеца), так и с богатыми выразительными возможностями алгоритмических языков. 

Лектор: Искандер Калимуллин, профессор РАН, профессор кафедры алгебры и математической логики КФУ.

Поделиться:

365 дней назад
5 декабря 2021 17:00–19:00

Событие пройдет онлайн

Поделиться:

Есть вопросы?

Напишите нам, и мы обязательно вам ответим. Много интересного уже есть в нашей базе знаний.

Участник Организатор

Связь с организатором

Напоминаем, что для того чтобы сделать возврат организатору можно не писать.

На этот адрес придёт ответ от организатора.

Подпишитесь на рассылку организатора

Возврат билета

Если вы хотите вернуть билеты, вы можете сделать это по ссылке из письма с билетами или оформить запрос организатору в вашем  личном кабинете.

Подробнее о возврате билетов