RUS  ENG
Полная версия
СЕМИНАРЫ

Спецкурс «Математическая логика, часть 2»
20 февраля 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02


Лекция 2. Арифметика Пеано

С. Л. Кузнецов


https://youtu.be/W8TzwN9H1FE

Аннотация: Арифметика Пеано PA (формулировка как теории 1-го порядка). Доказательства простейших свойств натуральных чисел в PA. Доказуемо тотальные функции в теориях 1-го порядка, теорема о консервативном расширении новым функциональным символом для такой функции (псевдотермы). Деление с остатком в PA. Две леммы о взаимной простоте: $\mathrm{PA} \vdash a, b > 1 \wedge a, b \text{ вз. просты} \to \exists x, y \, (ax + 1 = by)$ и $\mathrm{PA} \vdash p \text{ простое} \wedge p \mid a b \to p \mid a \vee p \mid b$.


© МИАН, 2024