Математическая логика

Эдсгеру Дейкстре приписывают высказывание: «наука о вычислимости изучает компьютеры не в большей мере, чем астрономия изучает телескопы». Смысл этой фразы в том, что конкретный компьютер или конкретный язык программирования – только инструмент познания общих закономерностей, справедливых для всех вычислений. Основы этой науки заложены Тьюрингом, Гёделем, Чёрчем, Клини, Постом и другими математиками в 1930-х годах, когда вычислительных машин в современном понимании ещё не было. При этом базовые предположения в полной мере выполняются для современных компьютеров и, наверняка, будут верны для всех будущих, в том числе квантовых.

• математика

Авторы и лекторы курса: Мусатов Даниил Владимирович

Кандидат физико-математических наук Должность: Преподаватель кафедры дискретной математики МФТИ

Язык курса: русский

Сертификат: курс с сертификатом

Страница курса: https://openedu.ru/course/mipt/MLTA/