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