x 1.00
Скачать видео

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

  1. 00:10Арифметика Пеано
  2. 32:25Определение функции, доказуемо-тотальные функции
  3. 39:14Теорема Гёделя
  4. 52:56Теорема: всякая примитивно-рекурсивная функция доказуемо-тотальна в арифметике Пеано
  5. 01:11:35Доказуемо-тотальность функции взятия остатка в арифметике Пеано и определение взаимной простоты двух чисел
  6. 01:24:30Если p - простое и делит произведение, то делит один из множителей