Фредерик Роуботтом

• Биография Фредерика Роуботтома

  • Британский логик и математик, родился 16 января 1938 года и умер 12 октября 2009 года. 
  • Образование получил в Глоссопдейле и Кембридже, где защитил докторскую степень по математике в 1964 году. 
  • Работал в Бристольском университете, где его карьера длилась до выхода на пенсию в 1993 году. 

• Научные достижения

  • Опубликовал статью о несовместимости строгих аксиом бесконечности с аксиомой конструктивности. 
  • Доказал, что кардиналы Рамсея слабее измеримых кардиналов и что существование кардиналов Рамсея подразумевает счетность конструктивного реального континуума. 
  • В честь Роуботтома названы понятия большого кардинала и ультрафильтратора. 

• Преподавательская деятельность

  • Под его руководством Кит Девлин изучал теорию множеств. 
  • В 1992 году Роуботтом и его студент Джонатан Чепмен опубликовали учебник по теории топосов и геометрическим морфизмам. 

• Смерть

  • Умер от сердечной недостаточности в Хэдфилде в возрасте 71 года.