Соломон Феферман — Википедия

Соломон Феферман Соломон Феферман — американский математик и логик, профессор гуманитарных наук в Стэнфорде.  Он работал над предикативной математикой и […]

Соломон Феферман

  • Соломон Феферман — американский математик и логик, профессор гуманитарных наук в Стэнфорде. 
  • Он работал над предикативной математикой и ввел порядковый номер Фефермана-Шютте. 
  • Феферман был главным редактором пятитомного собрания сочинений Курта Геделя и опубликовал биографию Альфреда Тарски. 
  • Он получил стипендии Гуггенхайма и премию Рольфа Шока в области логики и философии. 
  • Феферман был удостоен лекций Геделя и Тарского и стал членом Американского математического общества. 
  • Он опубликовал книги, включая «Системы счисления, основы алгебры и анализа» и «В свете логики». 

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

Соломон Феферман — Википедия

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

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