東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Advances in mathematical logic = ded...

Symposium on Advances in Mathematical Logic ((2018 :)

FindBook

Google Book

Amazon

博客來

Advances in mathematical logic = dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Advances in mathematical logic/ edited by Toshiyasu Arai ... [et al.].
其他題名:	dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /
其他題名:	SAML 2018
其他作者:	Arai, Toshiyasu.
團體作者:	Symposium on Advances in Mathematical Logic
出版者:	Singapore :Springer Singapore : : 2021.,
面頁冊數:	1 online resource (xi, 229 p.) :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Logic, Symbolic and mathematical - Congresses. -
電子資源:	https://doi.org/10.1007/978-981-16-4173-2
ISBN:	9789811641732

Advances in mathematical logic = dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /
Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /[electronic resource] :SAML 2018edited by Toshiyasu Arai ... [et al.]. - Singapore :Springer Singapore :2021. - 1 online resource (xi, 229 p.) :ill., digital ;24 cm. - Springer proceedings in mathematics & statistics,v. 3692194-1017 ;. - Springer proceedings in mathematics & statistics ;v. 369..

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.

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.

ISBN: 9789811641732

Standard No.: 10.1007/978-981-16-4173-2doiSubjects--Topical Terms:

658487
Logic, Symbolic and mathematical
--Congresses.

LC Class. No.: QA9.A1 / S95 2018

Dewey Class. No.: 511.3

Advances in mathematical logic = dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /
LDR:04126nmm a2200421 a 4500 001 2262390
003 DE-He213
005 20220124100507.0
006 m o d
007 cr nn 008maaau
008 220616s2021 si s 0 eng d
020 $a 9789811641732 $q (electronic bk.)
020 $a 9789811641725 $q (paper)
024 7 $a 10.1007/978-981-16-4173-2 $2 doi
035 $a 978-981-16-4173-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1 $b S95 2018
072 7 $a PBCD $2 bicssc
072 7 $a PBC $2 bicssc
072 7 $a PBCD $2 bicssc
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBCD $2 thema
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
072 7 $a PBC $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.A1 $b S989 2018
111 2 $a Symposium on Advances in Mathematical Logic $d (2018 : $c Kobe, Japan) $3 3538816
245 1 0 $a Advances in mathematical logic $h [electronic resource] : $b dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / $c edited by Toshiyasu Arai ... [et al.].
246 3 $a SAML 2018
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2021.
300 $a 1 online resource (xi, 229 p.) : $b ill., digital ; $c 24 cm.
490 1 $a Springer proceedings in mathematics & statistics, $x 2194-1017 ; $v v. 369
505 0 $a 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.
520 $a 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.
650 0 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
650 1 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Arithmetic and Logic Structures. $3 893182
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Logic. $3 529544
650 2 4 $a Philosophy of Mathematics. $3 2192005
700 1 $a Arai, Toshiyasu. $3 3526270
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Springer proceedings in mathematics & statistics ; $v v. 369. $3 3538817
856 4 0 $u https://doi.org/10.1007/978-981-16-4173-2
950 $a Mathematics and Statistics (SpringerNature-11649)