Cantitate/Preț
Produs
Total produse
Vezi coșul
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions de Toshiyasu Arai

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions: Springer Proceedings in Mathematics & Statistics, cartea 369

Editat de Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
en Limba Engleză Hardback – 25 ian 2022
​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 workranged 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.
       
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 94375 lei  6-8 săpt.
  Springer Nature Singapore – 26 ian 2023 94375 lei  6-8 săpt.
Hardback (1) 95060 lei  3-5 săpt.
  Springer Nature Singapore – 25 ian 2022 95060 lei  3-5 săpt.

Din seria Springer Proceedings in Mathematics & Statistics

Preț: 95060 lei

Preț vechi: 115926 lei
-18% Nou

Puncte Express: 1426
Preț estimativ în valută:
18207€ • 19739$ • 15136£

Carte disponibilă

Livrare economică 11-25 noiembrie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789811641725
ISBN-10: 9811641722
Pagini: 229
Ilustrații: XI, 229 p. 10 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.55 kg
Ediția:1st ed. 2021
Editura: Springer Nature Singapore
Colecția Springer
Seria Springer Proceedings in Mathematics & Statistics

Locul publicării:Singapore, Singapore

Cuprins

S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem.- D. Ikegami and N. Trang, On supercompactness of ω1.-  S. Iwata, Interpolation properties for Sacchetti’s logics.- T. Kurahashi, Rosser provability and the second incompleteness theorem.- H. Kurokawa, On Takeuti’s early view of the concept of set.- Yo Matsubara and T. Usuba, On Countable Stationary Towers.- M. Ozawa, Reforming Takeuti’s Quantum Set Theory to Satisfy De Morgan’s Laws.- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds.- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions.- M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment.- Y. Yoshinobu, Properness under closed forcing.

Textul de pe ultima copertă

​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 workranged 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.

Caracteristici

Brings together papers based on the Symposium on Advances in Mathematical Logic 2018, held in memory of Gaisi Takeuti Illuminates the legacy of one of the greatest logicians of the 20th century Presents new trends of research in all areas of mathematical logic