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

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

​Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He...
BD$383.52 BMD
BD$383.52 BMD
SKU: 9789811641756
Product Type: Books
Please hurry! Only 627 left in stock
Author: Toshiyasu Arai
Format: Paperback
Language: English
Subtotal: BD$383.52
10 customers are viewing this product
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, Saml 2018, Kobe, Japan, September 2018, Selected, Revised Contribu by Arai, Toshiyasu

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

BD$383.52
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, Saml 2018, Kobe, Japan, September 2018, Selected, Revised Contribu by Arai, Toshiyasu

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

BD$383.52
Author: Toshiyasu Arai
Format: Paperback
Language: English
Description
​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.

Takeuti's work ranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines.

This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18-20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti.



Author: Toshiyasu Arai
Publisher: Springer
Published: 01/26/2023
Pages: 229
Binding Type: Paperback
Weight: 0.76lbs
Size: 9.21h x 6.14w x 0.51d
ISBN: 9789811641756
Shipping & Return

Returns Policy

You may return most new, unopened items within 30 days of delivery for a full refund. We'll also pay the return shipping costs if the return is a result of our error (you received an incorrect or defective item, etc.).

You should expect to receive your refund within four weeks of giving your package to the return shipper, however, in many cases you will receive a refund more quickly. This time period includes the transit time for us to receive your return from the shipper (5 to 10 business days), the time it takes us to process your return once we receive it (3 to 5 business days), and the time it takes your bank to process our refund request (5 to 10 business days).

If you need to return an item, simply login to your account, view the order using the "Complete Orders" link under the My Account menu and click the Return Item(s) button. We'll notify you via e-mail of your refund once we've received and processed the returned item.

Shipping

We can ship to virtually any address in the world. Note that there are restrictions on some products, and some products cannot be shipped to international destinations.

When you place an order, we will estimate shipping and delivery dates for you based on the availability of your items and the shipping options you choose. Depending on the shipping provider you choose, shipping date estimates may appear on the shipping quotes page.

Please also note that the shipping rates for many items we sell are weight-based. The weight of any such item can be found on its detail page. To reflect the policies of the shipping companies we use, all weights will be rounded up to the next full pound.

Review

Related Products

Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD
Example product title
BD$383.52 BMD
BD$383.52 BMD

Recently Viewed Products