Гайси Такеути - Gaisi Takeuti

Гайси Такеути
竹 内 外史
Родившийся(1926-01-25)25 января 1926 г.
Умер10 мая, 2017(2017-05-10) (91 год)
НациональностьЯпонский
ОбразованиеТокийский университет
Альма-матерПринстон
ИзвестенРабота в теории доказательств
Научная карьера
ПоляМатематика
УчрежденияИллинойсский университет в Урбана-Шампейн

Гайси Такеути (竹 内 外史, Такеучи, Гайши, 25 января 1926 г. - 10 мая 2017 г.[1]) был Японский математик, известный своей работой в теория доказательств.[2]

После окончания Токийский университет, он отправился в Принстон учиться под Курт Гёдель. Позже он стал профессором Иллинойсский университет в Урбана-Шампейн. Такеути был президентом (2003–2009) Общество Курта Гёделя, поработав над книгой Мемуары теоретика доказательства: Гёдель и другие логики. Его целью было доказать непротиворечивость реальных чисел. С этой целью, Гипотеза Такеути предполагает, что последовательный формализация логика второго порядка имеет вырезка.[3] Он также известен своей работой над порядковые диаграммы с Акико Кино.

Публикации

  • Такеути, Гайси (1953). «Об обобщенном логическом исчислении». Японский математический журнал. 23: 39–96. Дои:10.4099 / jjm1924.23.0_39. ISSN  0075-3432.CS1 maint: ref = harv (связь)
  • Такеути, Гайси (1954). Исправление к обобщенному логическому исчислению'". Японский математический журнал. 24: 149–156. Дои:10.4099 / jjm1924.24.0_149. ISSN  0075-3432.CS1 maint: ref = harv (связь)
  • Такеути, Гайси; Заринг, Уилсон М. (2011) [1982], Введение в аксиоматическую теорию множеств, Тексты для выпускников по математике, 1 (2-е изд.), Нью-Йорк-Берлин: Springer-Verlag, Дои:10.1007/978-1-4613-8168-6, ISBN  978-1-4613-8170-9, МИСТЕР  0349390
  • Такеути, Гайси; Заринг, Уилсон М. (1973), Аксиоматическая теория множеств, Тексты для выпускников по математике, 8, Нью-Йорк-Берлин: Springer-Verlag, Дои:10.1007/978-1-4684-8751-0, ISBN  978-0-387-90050-6, МИСТЕР  0416914
  • Такеути, Гайси (2013) [1975]. Теория доказательств (Второе изд.). Минеола, Нью-Йорк: Dover Publications. ISBN  978-0-486-49073-1.CS1 maint: ref = harv (связь)
  • Такеути, Гайси (2015) [1978], Два приложения логики к математике, Публикации Математического общества Японии, 13, Принстон, Нью-Джерси: Издательство Принстонского университета, ISBN  978-0-69-161022-1, МИСТЕР  0505474
  • Такеути, Гайси (2003) [1998], Воспоминания теоретика доказательств. Гёдель и другие логики, Ривер Эдж, штат Нью-Джерси: World Scientific Publishing Co., Inc., ISBN  978-981-238-279-5, МИСТЕР  1984952

Примечания

  1. ^ Сэм Басс (10.05.2017). "[Доказательство сложности] Гайси Такеути". Список рассылки Proof-Complexity. Получено 2019-01-13.
  2. ^ Takeuti 2013.
  3. ^ Такеути 1953. Исправление к этой статье было опубликовано в том же журнале, что и (Такеути 1954 ).

внешняя ссылка