Advances in Mathematical Logic
Broschiertes Buch

Advances in Mathematical Logic

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Herausgegeben: Arai, Toshiyasu; Kikuchi, Makoto; Kuroda, Satoru; Okada, Mitsuhiro; Yorioka, Teruyuki
Versandkostenfrei!
Versandfertig in 6-10 Tagen
119,99 €
inkl. MwSt.
PAYBACK Punkte
60 °P sammeln!
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 ...