Najnowsze artykuły
- ArtykułyTo do tych pisarek należał ostatni rok. Znamy finalistki Women’s Prize for Fiction 2024Konrad Wrzesiński6
- ArtykułyMaj 2024: zapowiedzi książkowe. Gorące premiery książek – część 1LubimyCzytać7
- Artykuły„Horror ma budzić koszmary, wciskać kolanem w błoto i pożerać światło dnia” – premiera „Grzechòta”LubimyCzytać1
- Artykuły17. Nagroda Literacka Warszawy. Znamy 15 nominowanych tytułówLubimyCzytać2
Popularne wyszukiwania
Polecamy
Gaisi Takeuti
Źródło: https://www.preining.info/blog/wp-content/uploads/2017/05/takeuti-gaisi.jpg
Znany jako: 竹内 外史
1
0,0/10
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 autoraKsiążki i czasopisma
- Wszystkie
- Książki
- Czasopisma