Advances in Mathematical Logic
Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
¿Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjectu…
Mehr
CHF 192.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V104:
Folgt in ca. 10 Arbeitstagen
Produktdetails
Weitere Autoren: Kikuchi, Makoto (Hrsg.) / Kuroda, Satoru (Hrsg.) / Okada, Mitsuhiro (Hrsg.) / Yorioka, Teruyuki (Hrsg.)
- ISBN: 978-981-1641-72-5
- EAN: 9789811641725
- Produktnummer: 36787678
- Verlag: Springer Nature Singapore
- Sprache: Englisch
- Erscheinungsjahr: 2022
- Seitenangabe: 244 S.
- Masse: H24.1 cm x B16.0 cm x D1.8 cm 580 g
- Auflage: 1st ed. 2021
- Abbildungen: HC runder Rücken kaschiert
- Gewicht: 580
1 weiteres Werk von Toshiyasu (Hrsg.) Arai:
Bewertungen
Anmelden