Джон Майхилл

• Образование и карьера Джона Р. Майхилла-старшего

  • Получил степень доктора философии в Гарварде под руководством Уилларда Ван Ормана Куайна. 
  • Преподавал в SUNY Buffalo с 1966 года до своей смерти в 1987 году, а также в других университетах. 
  • Его сын, Джон Майхилл, является профессором лингвистики в Хайфском университете в Израиле. 

• Вклад в математику

  • Теорема Майхилла-Нерода характеризует обычные языки как имеющие конечное число неэквивалентных префиксов. 
  • Теорема Райса-Майхилла-Шапиро утверждает, что невозможно определить, вычисляет ли машина Тьюринга функцию с заданным свойством P. 
  • Теорема об изоморфизме Майхилла является теоретико-вычислимым аналогом теоремы Кантора-Бернштейна-Шредера. 
  • Майхилл доказал теорему Эдемского сада о клеточных автоматах, утверждающую наличие асимптотических конфигураций. 
  • Он также решил задачу синхронизации расстрельной команды в клеточных автоматах. 
  • Предложил интуиционистскую теорию Цермело-Френкеля, избегающую аксиомы выбора и закона исключенного третьего. 
  • Разработал конструктивную теорию множеств на основе натуральных чисел, функций и множеств. 

• Парадокс Рассела-Майхилла

  • Парадокс Рассела-Майхилла касается систем логики, где логические предложения могут быть членами классов. 
  • В такой системе класс пропозиций, описывающих произведения классов, которые их не включают, является парадоксальным. 

• В теории музыки

  • Майхилл описал математическое свойство музыкальных гамм, названное в его честь. 

• Другие достижения

  • Теорема Дьяконеску-Гудмана-Майхилла связана с теорией чисел. 

• Рекомендации

  • Статья не содержит конкретных рекомендаций.