Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, Saml 2018, Kobe, Japan, September 2018, Selected, Revised Contribu

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

Kikuchi, Makoto
Kuroda, Satoru
Arai, Toshiyasu

Hardcover

Series: Springer Proceedings in Mathematics & Statistics, Book 369

FictionGeneral Computers

ISBN10: 9811641722
ISBN13: 9789811641725
Publisher: Springer Nature
Published: Jan 25 2022
Pages: 229
Weight: 1.22
Height: 0.69 Width: 6.30 Depth: 9.50
Language: English
​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 conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science.

1 different editions

Also available

Also in

Fiction

View All