|
Showing 1 - 5 of
5 matches in All Departments
The Asian Logic Conference is part of the series of logic
conferences inaugurated in Singapore in 1981. It is normally held
every three years and rotates among countries in the Asia-Pacific
region. The 11th Asian Logic Conference is held in the National
University of Singapore, in honour of Professor Chong Chitat on the
occasion of his 60th birthday. The conference is on the broad area
of logic, including theoretical computer science. It is considered
a major event in this field and is regularly sponsored by the
Association of Symbolic Logic. This volume contains papers from
this meeting.
|
Advances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Paperback, 1st ed. 2021)
Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
|
R4,725
Discovery Miles 47 250
|
Ships in 10 - 15 working days
|
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.
This book provides readers with a guide to both ordinal analysis,
and to proof theory. It mainly focuses on ordinal analysis, a
research topic in proof theory that is concerned with the ordinal
theoretic content of formal theories. However, the book also
addresses ordinal analysis and basic materials in proof theory of
first-order or omega logic, presenting some new results and new
proofs of known ones.Primarily intended for graduate students and
researchers in mathematics, especially in mathematical logic, the
book also includes numerous exercises and answers for selected
exercises, designed to help readers grasp and apply the main
results and techniques discussed.
This book provides readers with a guide to both ordinal analysis,
and to proof theory. It mainly focuses on ordinal analysis, a
research topic in proof theory that is concerned with the ordinal
theoretic content of formal theories. However, the book also
addresses ordinal analysis and basic materials in proof theory of
first-order or omega logic, presenting some new results and new
proofs of known ones.Primarily intended for graduate students and
researchers in mathematics, especially in mathematical logic, the
book also includes numerous exercises and answers for selected
exercises, designed to help readers grasp and apply the main
results and techniques discussed.
|
Advances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Hardcover, 1st ed. 2021)
Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
|
R3,994
Discovery Miles 39 940
|
Ships in 12 - 17 working days
|
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|