Лекция 2. Арифметика Пеано | Открытые видеолекции учебных курсов МГУ

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

Лекция из курса:

Математическая логика. Часть 2

Кузнецов Степан Львович

Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.

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

Видео закончится через

NaN:NaN

00:00

00:00

00:10

Следующая секция начнется через 32:25

Арифметика Пеано

32:25

Следующая секция начнется через 32:25

Определение функции, доказуемо-тотальные функции

39:14

Следующая секция начнется через 32:25

Теорема Гёделя

52:56

Следующая секция начнется через 32:25

Теорема: всякая примитивно-рекурсивная функция доказуемо-тотальна в арифметике Пеано

1:11:35

Следующая секция начнется через 32:25

Доказуемо-тотальность функции взятия остатка в арифметике Пеано и определение взаимной простоты двух чисел

1:24:30

Следующая секция начнется через 32:25

Если p - простое и делит произведение, то делит один из множителей

Свернуть таймкоды

00:00

00:00

Скорость

Качество

00:00

00:00

Скорость

Качество

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

Предыдущая лекция

Лекция 1. Примитивно-рекурсивные функции

Следующая лекция

Лекция 3. Китайская теорема об остатках