Торальф Скулем — Википедия

Торальф Сколем Торальф Альберт Сколем — норвежский математик и логик, пионер теоретической информатики.  Разработал арифметику натуральных чисел и доказал ее […]

Торальф Сколем

  • Торальф Альберт Сколем — норвежский математик и логик, пионер теоретической информатики. 
  • Разработал арифметику натуральных чисел и доказал ее последовательность, полноту и разрешимость. 
  • Гедель доказал неполноту и, следовательно, неразрешимость арифметики Пеано. 
  • Сколем склонен рассматривать общие проблемы на конкретных примерах и часто представляет доказательства в том же порядке, в каком пришел к ним. 
  • Его идеи часто содержательны и потенциально способны к широкому применению. 

Полный текст статьи:

Торальф Скулем — Википедия

Оставьте комментарий

Прокрутить вверх