Джоэл Дэвид Хэмкинс

• Биография и карьера

  • Джоэл Дэвид Хэмкинс — американский математик и философ, профессор логики в Университете Нотр-Дам. 
  • Получил образование в Калифорнийском технологическом институте и Калифорнийском университете в Беркли. 
  • Работал в различных университетах, включая Оксфордский и Нью-Йоркский. 

• Вклад в науку

  • Исследовал неразрушимость больших кардиналов и теорию множеств. 
  • Предложил метод лотереи для обеспечения неразрушимости. 
  • Доказал соответствие между модальной логикой и S4.2. 
  • Внес вклад в теорию групп и теорию жонглирования. 

• Философия теории множеств

  • Защищал мультивселенную перспективу математической истины. 
  • Утверждал, что гипотеза континуума имеет разные решения в разных теоретико-множественных вселенных. 

• Бесконечная вычислимость и теория групп

  • Предложил теорию машин Тьюринга с бесконечным временем работы. 
  • Доказал конечность трансфинитной башни автоморфизма для каждой группы. 

• Бесконечные игры

  • Исследовал бесконечные шахматы, шашки и гексагон. 
  • Доказал разрешимость задачи о мате в бесконечных шахматах. 

• Математический поток и репутация

  • Имеет высокий рейтинг на MathOverflow. 
  • Известен своими глубокими ответами в области математики.