Гаиси Такеути

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

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

Публикации [ править ]

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

Заметки [ править ]

Внешние ссылки [ править ]

• Президенты Общества Курта Гёделя
• Takeuti Symposium (содержит соответствующую информацию о дате рождения)
• Logic Colloqium '98 Proceedings (содержит биографию) на Wayback Machine (архивировано 26 сентября 2006 г.)
• Гаиси Такеути на проекте « Математическая генеалогия»