Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Gaisi Takeuti was a brilliant mathematician who founded Proof Theory and made significant contributions to mathematical logic. He was a professor at the University of Illinois and wrote many influential books. This volume is a collection of papers based on a symposium held in his memory.

Format: Paperback / softback
Length: 229 pages
Publication date: 26 January 2023
Publisher: Springer Verlag, Singapore

Gaisi Takeuti, a luminary figure in the realm of logic, stands as one of the most brilliant, ingenious, and influential logicians of the 20th century. Hailing from Japan, he pursued a distinguished academic career, serving as a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA. Tragically, he passed away on May 10, 2017, at the age of 91.

Takeuti's contributions to logic were profound and far-reaching. He played a pivotal role in the development of Proof Theory, a branch of mathematical logic that emerged from Hilbert's program concerning the consistency of mathematics. Building upon the pioneering works of Gentzen in the 1930s, Takeuti proposed a conjecture in 1953, now known as Takeuti's Fundamental Conjecture, which delves into the essence of formal proofs of higher-order logic. Although he provided a partial positive solution to this conjecture, his arguments and insights have had a lasting impact on the field of mathematical logic, as well as on the philosophy of mathematics and its applications in theoretical computer science.

Takeuti's work spanned the entirety of mathematical logic, encompassing set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He authored numerous monographs and textbooks, both in English and Japanese, which have become standard references in their respective fields. His monumental monograph, Proof Theory, published in 1975, has long been revered as a definitive work in proof theory. Beyond his academic pursuits, Takeuti had a wide range of interests that extended to virtually all areas of mathematics and even touched upon physics. His publications included numerous Japanese books designed for students and general readers, covering topics such as mathematical logic, mathematics in general, and the fascinating connections between mathematics and physics. Additionally, he contributed numerous essays to Japanese science magazines, further disseminating his ideas and fostering intellectual discourse.

This volume, consisting of papers presented at the Symposium on Advances in Mathematical Logic 2018, serves as a tribute to the legacy of Gaisi Takeuti. The symposium, held on September 1, brought together scholars from around the world to explore the latest developments and advancements in mathematical logic. The contributions presented in this volume reflect the broad scope of Takeuti's work and his profound influence on the field.

In conclusion, Gaisi Takeuti's contributions to logic were nothing short of extraordinary. His brilliance, ingenuity, and profound insights have left an indelible mark on the field, shaping the direction of mathematical logic and inspiring generations of scholars. His legacy continues to thrive, and his work will undoubtedly continue to inspire and influence future generations of logicians and mathematicians.

Weight: 379g
Dimension: 235 x 155 (mm)
ISBN-13: 9789811641756
Edition number: 1st ed. 2021