| Título : |
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions |
| Tipo de documento: |
documento electrónico |
| Autores: |
Arai, Toshiyasu, ; Kikuchi, Makoto, ; Kuroda, Satoru, ; Okada, Mitsuhiro, ; Yorioka, Teruyuki, |
| Mención de edición: |
1 ed. |
| Editorial: |
Singapore [Malasya] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XI, 229 p. 10 ilustraciones |
| ISBN/ISSN/DL: |
978-981-1641732-- |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Lógica matemática Unidades aritméticas y lógicas informáticas. Informática Lógica Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Matemáticas de la Computación Filosofía de las Matemáticas |
| Clasificación: |
511.3 |
| Resumen: |
Gaisi Takeuti fue uno de los lógicos más brillantes, genios e influyentes del siglo XX. Fue profesor durante mucho tiempo y profesor emérito de matemáticas en la Universidad de Illinois en Urbana-Champaign, EE. UU., antes de fallecer el 10 de mayo de 2017, a la edad de 91 años. Takeuti fue uno de los fundadores de la teoría de la prueba. Rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basado en los trabajos pioneros de teoría de la prueba de Gentzen en la década de 1930, propuso una conjetura en 1953 sobre la naturaleza esencial de las pruebas formales de la lógica de orden superior ahora conocida como conjetura fundamental de Takeuti y de la cual dio una solución positiva parcial. Sus argumentos sobre la teoría de las conjeturas y la prueba en general han tenido gran influencia en los desarrollos posteriores de la lógica matemática, la filosofía de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica. El trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluida la teoría de conjuntos, la teoría de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografías y libros de texto tanto en inglés como en japonés, y su monumental monografía Proof Theory, publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teoría de la prueba. Tenía una amplia gama de intereses que cubrían prácticamente todas las áreas de las matemáticas y se extendían hasta la física. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores en general sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y física, así como muchos ensayos para revistas científicas japonesas. Este volumen es una colección de artículos basados en el Simposio sobre avances en lógica matemática 2018. El simposio se celebró del 18 al 20 de septiembre de 2018 en la Universidad de Kobe, Japón, y estuvo dedicado a la memoria del profesor Gaisi Takeuti. |
| Nota de contenido: |
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. |
| Tipo de medio : |
Computadora |
| Summary : |
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. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions [documento electrónico] / Arai, Toshiyasu, ; Kikuchi, Makoto, ; Kuroda, Satoru, ; Okada, Mitsuhiro, ; Yorioka, Teruyuki, . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XI, 229 p. 10 ilustraciones. ISBN : 978-981-1641732-- Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Lógica matemática Unidades aritméticas y lógicas informáticas. Informática Lógica Matemáticas Lógica Matemática y Fundamentos Estructuras aritméticas y lógicas Matemáticas de la Computación Filosofía de las Matemáticas |
| Clasificación: |
511.3 |
| Resumen: |
Gaisi Takeuti fue uno de los lógicos más brillantes, genios e influyentes del siglo XX. Fue profesor durante mucho tiempo y profesor emérito de matemáticas en la Universidad de Illinois en Urbana-Champaign, EE. UU., antes de fallecer el 10 de mayo de 2017, a la edad de 91 años. Takeuti fue uno de los fundadores de la teoría de la prueba. Rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basado en los trabajos pioneros de teoría de la prueba de Gentzen en la década de 1930, propuso una conjetura en 1953 sobre la naturaleza esencial de las pruebas formales de la lógica de orden superior ahora conocida como conjetura fundamental de Takeuti y de la cual dio una solución positiva parcial. Sus argumentos sobre la teoría de las conjeturas y la prueba en general han tenido gran influencia en los desarrollos posteriores de la lógica matemática, la filosofía de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica. El trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluida la teoría de conjuntos, la teoría de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografías y libros de texto tanto en inglés como en japonés, y su monumental monografía Proof Theory, publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teoría de la prueba. Tenía una amplia gama de intereses que cubrían prácticamente todas las áreas de las matemáticas y se extendían hasta la física. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores en general sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y física, así como muchos ensayos para revistas científicas japonesas. Este volumen es una colección de artículos basados en el Simposio sobre avances en lógica matemática 2018. El simposio se celebró del 18 al 20 de septiembre de 2018 en la Universidad de Kobe, Japón, y estuvo dedicado a la memoria del profesor Gaisi Takeuti. |
| Nota de contenido: |
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. |
| Tipo de medio : |
Computadora |
| Summary : |
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. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsquedaAdvances in Mathematical Logic / Arai, Toshiyasu ; Kikuchi, Makoto ; Kuroda, Satoru ; Okada, Mitsuhiro ; Yorioka, Teruyuki
