Najnowsze artykuły
ArtykułyNie żyje Wiesław Myśliwski. Autor „Kamienia na kamieniu” i „Traktatu o łuskaniu fasoli” miał 94 lata
LubimyCzytać30
ArtykułyZaczęłam od tajemnicy. Reszta przyszła sama - rozmowa z Małgorzatą Rogalą
LubimyCzytać2
ArtykułyCzytamy w weekend. 27 marca 2026
LubimyCzytać441
ArtykułyPrzeczytaj fragment książki „Zbrodnia w rezydencji“
LubimyCzytać1
Popularne wyszukiwania
Polecamy
Gaisi Takeuti

Źródło: https://www.preining.info/blog/wp-content/uploads/2017/05/takeuti-gaisi.jpg
Znany jako: 竹内 外史
Pisze książki: informatyka, matematyka
Urodzony: 25.01.1926Zmarły: 10.05.2017
Japońsko-amerykański matematyk i logik, profesor University of Illinois.
Po ukończeniu matematyki na Uniwersytecie Tokijskim wyjechał do Princeton, aby studiować u Kurta Gödla. Następnie został profesorem na University of Illinois w Urbana-Champaign. Był prezesem (2003-2009) Towarzystwa Kurta Gödla, pracując nad książką "Wspomnienia teoretyka dowodów: Gödla i innych logików". W pracy naukowej zajmował się głównie teorią dowodu. Jego celem było udowodnienie spójności liczb rzeczywistych. W tym celu hipoteza Takeuti postuluje, że sekwencyjna formalizacja logiki drugiego rzędu ma eliminację cięcia. Jest również znany ze swojej pracy nad schematami porządkowymi z Akiko Kino. https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/
Po ukończeniu matematyki na Uniwersytecie Tokijskim wyjechał do Princeton, aby studiować u Kurta Gödla. Następnie został profesorem na University of Illinois w Urbana-Champaign. Był prezesem (2003-2009) Towarzystwa Kurta Gödla, pracując nad książką "Wspomnienia teoretyka dowodów: Gödla i innych logików". W pracy naukowej zajmował się głównie teorią dowodu. Jego celem było udowodnienie spójności liczb rzeczywistych. W tym celu hipoteza Takeuti postuluje, że sekwencyjna formalizacja logiki drugiego rzędu ma eliminację cięcia. Jest również znany ze swojej pracy nad schematami porządkowymi z Akiko Kino. https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/
0,0/10średnia ocena książek autora
0 przeczytało książki autora
1 chce przeczytać książki autora
0fanów autora
Zostań fanem autora






















