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

• Биография Торальфа Сколема

  • Норвежский математик и логик, родился в 1887 году. 
  • Известен своими работами в области теории множеств и логики. 
  • Внес значительный вклад в теорию вычислимых функций и арифметику. 

• Ранние годы и образование

  • Получил образование в университете Осло, где изучал математику и философию. 
  • В 1913 году защитил докторскую диссертацию по философии. 

• Научная карьера

  • Работал в университете Осло и университете Копенгагена, где занимался математикой и логикой. 
  • В 1920 году опубликовал статью о доказуемости математических утверждений. 
  • В 1922 году опубликовал статью о теории множеств. 

• Основные достижения

  • Разработал арифметику Сколема, которая является полной и разрешимой без сложения и умножения. 
  • В 1931 году доказал неполноту арифметики Пеано, что привело к теореме Геделя о неполноте. 

• Критика и оценка

  • Хао Ван высоко оценил работы Сколема, но отметил его склонность к неформальности и неубедительности. 
  • Сколем был описан как «свободный дух» и новатор, чьи работы доступны для понимания неспециалистами. 

• Избранные труды

  • В 1970 году были опубликованы избранные труды Сколема, содержащие 22 статьи на немецком, 26 на английском и другие. 

• Память и наследие

  • В честь Сколема были проведены мемориальные мероприятия и опубликованы биографические очерки.