Регистрация / Вход
Прислать материал

Прикладная логика

ФИО
Пакулин Николай Витальевич
Surname Name
Pakulin Nikolay
Организация
ИСП РАН
Область наук
Математика. Механика
Название доклада
Прикладная логика
Project title
Applied logic
Резюме
Логика как раздел математики бурно развивалась на протяжении всего 20 века. Первоначально логика разрабатывалась как метаматика, то есть математический язык для описания математики. Но в конце прошлого века логика перестала быть абстрактной дисциплиной и нашла обширные приложения, прежде всего в Computer Science. В докладе даётся популярный обзор основных идей, лежащих в основании приложений логики.
Ключевые слова
логика, сложность, верификация, формализация
Тезисы
  • Логика занимается анализом предложений или суждений и доказательств; при этом основное внимание обращается на форму в отвлечении от содержания (Алонзо Чёрч)
  • Изучать математическую логику—значит изучать логику, используемую в математике. (Стивен Коул Клини)
  • …исследование умственного математического построения как такового, безотносительно к таким вопросам о природе конструируемых объектов, как вопрос, существуют ли эти объекты независимо от нашего знания о них. (Аренд Гейтинг)
  • Содержанием математической логики является изучение языка математики (Юрий Манин)

Есть ли приложения математической логики за пределами математики?

 

 

Summary of the project
Logic that once used to be a metamathematics language now has extensive application. The talk gives popular introduction to logic and key ideas of its applications.
Keywords
logic, complexity, verification, formalization