Гаиси Такеути
Гаиси Такеути | |
---|---|
История Такеучи | |
Рожденный | 25 января 1926 г. |
Умер | 10 мая 2017 г. | (91 год)
Национальность | японский |
Образование | Токийский университет |
Альма-матер | Принстон |
Известный | Работа в теории доказательств |
Научная карьера | |
Поля | Математика |
Учреждения | Университет Иллинойса в Урбане-Шампейне |
Гаиси Такеути ( Takeuchi Gaishi , Takeuchi, Gaishi , 25 января 1926 — 10 мая 2017) [1] ) — японский математик , известный своими работами в области теории доказательств . [2]
После окончания Токийского университета он отправился в Принстон, чтобы учиться у Курта Гёделя . Позже он стал профессором Университета Иллинойса в Урбане-Шампейне . Такеути был президентом (2003–2009) Общества Курта Гёделя , работая над книгой «Мемуары теоретика доказательств: Гёдель и другие логики» . Его целью было доказать непротиворечивость реальных цифр. С этой целью гипотеза Такеути предполагает, что последовательная формализация логики второго порядка предполагает исключение разреза . [3] Он также известен своей работой над порядковыми диаграммами с Акико Кино.
Публикации [ править ]
- Такеути, Гаиси (1953). «Об обобщенном логическом исчислении» . Японский математический журнал . 23 : 39–96. дои : 10.4099/jjm1924.23.0_39 . ISSN 0075-3432 .
- Такеути, Гаиси (1954). «Ошибки в «Об обобщенном логическом исчислении» » . Японский математический журнал . 24 : 149–156. дои : 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, номер номера : 10.1007/978-1-4684-8751-0 , ISBN. 978-0-387-90050-6 , MR 0416914 , 2013 г., переиздание Дувра
- Такеути, Гаиси (2013) [1975]. Теория доказательств (Второе изд.). Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-49073-1 .
- Такеути, Гаиси (2015) [1978], Два приложения логики к математике , Публикации Математического общества Японии, том. 13, Принстон, Нью-Джерси: Издательство Принстонского университета, ISBN 978-0-69-161022-1 , МР 0505474
- Такеути, Гаиси (2003) [1998], Мемуары теоретика доказательств. Гёдель и другие логики , Ривер Эдж, Нью-Джерси: World Scientific Publishing Co., Inc., ISBN 978-981-238-279-5 , г-н : 1984952
Примечания [ править ]
- ^ Сэм Басс (10 мая 2017 г.). «[Сложность доказательства] Гаиси Такеути» . Список рассылки «Доказательство-Сложность» . Проверено 13 января 2019 г.
- ^ Такеути 2013 .
- ^ Такеути 1953 . Поправка к этой статье была опубликована в том же журнале, что и ( Такеути, 1954 ).