Indexaxión 510.1 : Filosofía y teoría de las matemáticas
510 MatemáticasDocumentos en la biblioteca con la clasificación 510.1 (17)
Hacer una sugerencia Refinar búsqueda
Título : The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics Tipo de documento: documento electrónico Autores: Bell, John L., Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVII, 313 p. 55 ilustraciones ISBN/ISSN/DL: 978-3-030-18707-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Matemáticas Filosofía Teoría de las máquinas Análisis matemático Geometría Diferencial Historia Filosofía de las Matemáticas Historia de la Filosofía Lenguajes formales y teoría de los autómatas Análisis Geometría diferencial Historia de las Ciencias Matemáticas Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro explora y articula los conceptos de lo continuo y lo infinitesimal desde dos puntos de vista: el filosófico y el matemático. La primera sección cubre la historia de estas ideas en la filosofía. El capítulo uno, titulado "Lo continuo y lo discreto en la antigua Grecia, Oriente y la Edad Media europea", revisa la obra de Platón, Aristóteles, Epicuro y otros griegos antiguos; los elementos del pensamiento chino, indio e islámico primitivo; y los primeros europeos, incluidos Enrique de Harclay, Nicolás de Autrecourt, Duns Scotus, Guillermo de Ockham, Thomas Bradwardine y Nicolas Oreme. El segundo capítulo del libro cubre a los pensadores europeos de los siglos XVI y XVII: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat y más. El capítulo tres, "La era de la continuidad", analiza a los matemáticos del siglo XVIII, incluidos Euler y Carnot, y a filósofos, entre ellos Hume, Kant y Hegel. Examinando el siglo XIX y principios del XX, el capítulo cuarto describe la reducción de lo continuo a lo discreto, citando las contribuciones de Bolzano, Cauchy y Reimann. La primera parte del libro concluye con un capítulo sobre concepciones divergentes del continuo, con el trabajo de filósofos y matemáticos del siglo XIX y principios del XX, entre ellos Veronese, Poincaré, Brouwer y Weyl. La segunda parte de este libro cubre las matemáticas contemporáneas y analiza la topología y las variedades, las categorías y los functores, las topologías de Grothendieck, los haces y los topoi elementales. Entre las teorías presentadas en detalle se encuentran el análisis no estándar, el análisis constructivo e intuicionista y el análisis infinitesimal suave/geometría diferencial sintética. Ningún otro libro cubre tan a fondo la historia y el desarrollo de los conceptos de continuo y infinitesimal. . Nota de contenido: Part I: The Continuous, the Discrete, and the Infinitesimal in the History of Thought -- Chapter 1. The Continuous and the Discrete in Ancient Greece, the Orient, and the European Middle Ages -- Chapter 2. The 16th and 17th Centuries: The Founding of the Infinitesimal Calculus -- Chapter 3. The 18th and Early 19th Centuries: The Age of Continuity -- Chapter 4. The Reduction of the Continuous to the Discrete in the 19th and early 20th Centuries -- Chapter 5. Dissenting Voices: Divergent Conceptions of the Continuum in the 19th and Early 20th Centuries -- Part II: Continuity and Infinitesimals in Today's Mathematics -- Chapter 6. Topology -- Chapter 7. Category/Topos Theory -- Chapter 8. Nonstandard Analysis -- Chapter 9. The Constructive and Intuitionistic Continua -- Chapter 10. Smooth Infiniteimal Analysis/Synthetic Geometry. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics [documento electrónico] / Bell, John L., Autor . - 1 ed. . - [s.l.] : Springer, 2019 . - XVII, 313 p. 55 ilustraciones.
ISBN : 978-3-030-18707-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Matemáticas Filosofía Teoría de las máquinas Análisis matemático Geometría Diferencial Historia Filosofía de las Matemáticas Historia de la Filosofía Lenguajes formales y teoría de los autómatas Análisis Geometría diferencial Historia de las Ciencias Matemáticas Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro explora y articula los conceptos de lo continuo y lo infinitesimal desde dos puntos de vista: el filosófico y el matemático. La primera sección cubre la historia de estas ideas en la filosofía. El capítulo uno, titulado "Lo continuo y lo discreto en la antigua Grecia, Oriente y la Edad Media europea", revisa la obra de Platón, Aristóteles, Epicuro y otros griegos antiguos; los elementos del pensamiento chino, indio e islámico primitivo; y los primeros europeos, incluidos Enrique de Harclay, Nicolás de Autrecourt, Duns Scotus, Guillermo de Ockham, Thomas Bradwardine y Nicolas Oreme. El segundo capítulo del libro cubre a los pensadores europeos de los siglos XVI y XVII: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat y más. El capítulo tres, "La era de la continuidad", analiza a los matemáticos del siglo XVIII, incluidos Euler y Carnot, y a filósofos, entre ellos Hume, Kant y Hegel. Examinando el siglo XIX y principios del XX, el capítulo cuarto describe la reducción de lo continuo a lo discreto, citando las contribuciones de Bolzano, Cauchy y Reimann. La primera parte del libro concluye con un capítulo sobre concepciones divergentes del continuo, con el trabajo de filósofos y matemáticos del siglo XIX y principios del XX, entre ellos Veronese, Poincaré, Brouwer y Weyl. La segunda parte de este libro cubre las matemáticas contemporáneas y analiza la topología y las variedades, las categorías y los functores, las topologías de Grothendieck, los haces y los topoi elementales. Entre las teorías presentadas en detalle se encuentran el análisis no estándar, el análisis constructivo e intuicionista y el análisis infinitesimal suave/geometría diferencial sintética. Ningún otro libro cubre tan a fondo la historia y el desarrollo de los conceptos de continuo y infinitesimal. . Nota de contenido: Part I: The Continuous, the Discrete, and the Infinitesimal in the History of Thought -- Chapter 1. The Continuous and the Discrete in Ancient Greece, the Orient, and the European Middle Ages -- Chapter 2. The 16th and 17th Centuries: The Founding of the Infinitesimal Calculus -- Chapter 3. The 18th and Early 19th Centuries: The Age of Continuity -- Chapter 4. The Reduction of the Continuous to the Discrete in the 19th and early 20th Centuries -- Chapter 5. Dissenting Voices: Divergent Conceptions of the Continuum in the 19th and Early 20th Centuries -- Part II: Continuity and Infinitesimals in Today's Mathematics -- Chapter 6. Topology -- Chapter 7. Category/Topos Theory -- Chapter 8. Nonstandard Analysis -- Chapter 9. The Constructive and Intuitionistic Continua -- Chapter 10. Smooth Infiniteimal Analysis/Synthetic Geometry. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May–June 2017—Selected Contributions / Pinto, Alberto ; Zilberman, David
Título : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May–June 2017—Selected Contributions Tipo de documento: documento electrónico Autores: Pinto, Alberto, ; Zilberman, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: X, 443 p. 122 ilustraciones, 78 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-78163-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Matemáticas Modelos matemáticos Optimización matemática Sistemas dinámicos teoría del sistema Teoría del control La investigación de operaciones Filosofía de las Matemáticas Modelización Matemática y Matemática Industrial Mejoramiento Teoría de Sistemas Control Investigación de Operaciones y Teoría de la Decisión Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro, después de los tres volúmenes publicados del libro, tiene como objetivo principal recopilar artículos de investigación y artículos de revisión para proporcionar una descripción general de los principales problemas, resultados y preguntas abiertas en la investigación de vanguardia en los campos del modelado y la optimización. y dinámica y sus aplicaciones a la biología, la economía, la energía, la industria, la física, la psicología y las finanzas. Asumiendo la relevancia científica de las aplicaciones innovadoras presentadas, así como la fusión de temas en estas áreas, el propósito de este libro es recopilar artículos de expertos mundiales en matemáticas, economía y otras ciencias aplicadas que sean fundamentales para futuros desarrollos de investigación. La mayoría de los artículos presentados en este libro son escritos por los participantes en la Reunión Conjunta 6ª Conferencia Internacional sobre Dinámica, Juegos y Ciencia – DGSVI – JOLATE y en la 21ª Conferencia ICABR. El alcance científico de las conferencias se centra en los campos del modelado, la optimización y la dinámica y sus aplicaciones a la biología, la economía, la energía, la industria, la física, la psicología y las finanzas. Asumiendo la relevancia científica de las aplicaciones innovadoras presentadas, así como la fusión de temas en estas áreas, el propósito de la conferencia es reunir a algunos de los expertos mundiales en matemáticas, economía y otras ciencias aplicadas que refuercen los proyectos en curso y establezcan trabajos futuros y colaboraciones. Nota de contenido: A. Afsar, F. Martins, Bruno M. P. M. Oliveira, and A. A. Pinto, Immune response model fitting to CD4+ T cell data in lymphocytic choriomeningitis virus LCMV infection -- U. Agyüz, V. Purutçuoglu, E. Purutçuoglu and Y. Ürün, Construction of a New Model to Investigate Breast Cancer Data -- I. Baltas, M. Szczepanski, L. Dopierala, K. Kolodziejczyk, G.-W. Weber and A. N. Yannacopoulos, Optimal Pension Fund Management Under Risk and Uncertainty: The Case Study of Poland -- M. Bujidos-Casado, J. Navío-Marco and B. Rodrigo-Moya, Collaborative Innovation of Spanish SMEs in the European context: A compared study -- G. G. de Castro, A. O. Lopes and G. Mantovani, Haar systems, KMS states on von Neumann algebras and C*-algebras on dynamically defined groupoids and Noncommutative Integration -- C. Çıtak, T. Aksu, Ö. Harputlu and Gerhard-Wilhelm Weber, Mixed Compression Air-Intake Design for High-Speed Transportation -- D. Czerkawski, J. Małecka, G. Wilhelm Weber and B. Kjamili, Social Entrepreneurship Business Models for Handicapped People - Polish & Turkish case study of sharing public goods by doing business -- H. H. Ferreira, A. O. Lopes and E. R. Oliveira, An iterative process for approximating subactions -- A. D. Garcia and M. A. Szybisz, "Beat the gun": The phenomenon of liquidity -- E. Gómez-Escalonilla and Laura Parte, Board Knowledge and Bank Risk-Taking. An International Analysis -- F. Jiménez-Delgado, M. Dolores Reina-Paz, Israel J ThuissardVasallo and David Sanz-Rosa, The shopping experience in virtual sales: A study of the influence of website atmosphere on purchase intention -- Kyung B. Kim and José M. Labeaga, European Mobile Phone Industry: Demand Estimation Using Discrete Random Coefficients Models -- A. O. Lopes and M. Sebastiani, On Bertelson-Gromov Dynamical Morse Entropy, Rogério Martins, Synchronisation of weakly coupled oscillators -- Z. Kamisli Ozturk, Y. Cetin, Y. Isik and Z. I. Erzurum Cicek, Demand Forecasting withClustering and Artificial Neural Networks Methods: an Application for Stock Keeping Units -- O. Palanci, S.Z. Alparslan Gok and Gerhard-Wilhelm Weber, On the Grey Obligation Rules -- Juan Diego Paredes-Gázquez, Eva Pardo and José Miguel Rodríguez-Fernández, Robustness checks in composite indicators: A responsible approach -- Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber, A Logic-Based Approach to Incremental Reasoning on Multi-Agent Systems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May–June 2017—Selected Contributions [documento electrónico] / Pinto, Alberto, ; Zilberman, David, . - 1 ed. . - [s.l.] : Springer, 2021 . - X, 443 p. 122 ilustraciones, 78 ilustraciones en color.
ISBN : 978-3-030-78163-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Matemáticas Modelos matemáticos Optimización matemática Sistemas dinámicos teoría del sistema Teoría del control La investigación de operaciones Filosofía de las Matemáticas Modelización Matemática y Matemática Industrial Mejoramiento Teoría de Sistemas Control Investigación de Operaciones y Teoría de la Decisión Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro, después de los tres volúmenes publicados del libro, tiene como objetivo principal recopilar artículos de investigación y artículos de revisión para proporcionar una descripción general de los principales problemas, resultados y preguntas abiertas en la investigación de vanguardia en los campos del modelado y la optimización. y dinámica y sus aplicaciones a la biología, la economía, la energía, la industria, la física, la psicología y las finanzas. Asumiendo la relevancia científica de las aplicaciones innovadoras presentadas, así como la fusión de temas en estas áreas, el propósito de este libro es recopilar artículos de expertos mundiales en matemáticas, economía y otras ciencias aplicadas que sean fundamentales para futuros desarrollos de investigación. La mayoría de los artículos presentados en este libro son escritos por los participantes en la Reunión Conjunta 6ª Conferencia Internacional sobre Dinámica, Juegos y Ciencia – DGSVI – JOLATE y en la 21ª Conferencia ICABR. El alcance científico de las conferencias se centra en los campos del modelado, la optimización y la dinámica y sus aplicaciones a la biología, la economía, la energía, la industria, la física, la psicología y las finanzas. Asumiendo la relevancia científica de las aplicaciones innovadoras presentadas, así como la fusión de temas en estas áreas, el propósito de la conferencia es reunir a algunos de los expertos mundiales en matemáticas, economía y otras ciencias aplicadas que refuercen los proyectos en curso y establezcan trabajos futuros y colaboraciones. Nota de contenido: A. Afsar, F. Martins, Bruno M. P. M. Oliveira, and A. A. Pinto, Immune response model fitting to CD4+ T cell data in lymphocytic choriomeningitis virus LCMV infection -- U. Agyüz, V. Purutçuoglu, E. Purutçuoglu and Y. Ürün, Construction of a New Model to Investigate Breast Cancer Data -- I. Baltas, M. Szczepanski, L. Dopierala, K. Kolodziejczyk, G.-W. Weber and A. N. Yannacopoulos, Optimal Pension Fund Management Under Risk and Uncertainty: The Case Study of Poland -- M. Bujidos-Casado, J. Navío-Marco and B. Rodrigo-Moya, Collaborative Innovation of Spanish SMEs in the European context: A compared study -- G. G. de Castro, A. O. Lopes and G. Mantovani, Haar systems, KMS states on von Neumann algebras and C*-algebras on dynamically defined groupoids and Noncommutative Integration -- C. Çıtak, T. Aksu, Ö. Harputlu and Gerhard-Wilhelm Weber, Mixed Compression Air-Intake Design for High-Speed Transportation -- D. Czerkawski, J. Małecka, G. Wilhelm Weber and B. Kjamili, Social Entrepreneurship Business Models for Handicapped People - Polish & Turkish case study of sharing public goods by doing business -- H. H. Ferreira, A. O. Lopes and E. R. Oliveira, An iterative process for approximating subactions -- A. D. Garcia and M. A. Szybisz, "Beat the gun": The phenomenon of liquidity -- E. Gómez-Escalonilla and Laura Parte, Board Knowledge and Bank Risk-Taking. An International Analysis -- F. Jiménez-Delgado, M. Dolores Reina-Paz, Israel J ThuissardVasallo and David Sanz-Rosa, The shopping experience in virtual sales: A study of the influence of website atmosphere on purchase intention -- Kyung B. Kim and José M. Labeaga, European Mobile Phone Industry: Demand Estimation Using Discrete Random Coefficients Models -- A. O. Lopes and M. Sebastiani, On Bertelson-Gromov Dynamical Morse Entropy, Rogério Martins, Synchronisation of weakly coupled oscillators -- Z. Kamisli Ozturk, Y. Cetin, Y. Isik and Z. I. Erzurum Cicek, Demand Forecasting withClustering and Artificial Neural Networks Methods: an Application for Stock Keeping Units -- O. Palanci, S.Z. Alparslan Gok and Gerhard-Wilhelm Weber, On the Grey Obligation Rules -- Juan Diego Paredes-Gázquez, Eva Pardo and José Miguel Rodríguez-Fernández, Robustness checks in composite indicators: A responsible approach -- Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber, A Logic-Based Approach to Incremental Reasoning on Multi-Agent Systems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Founding Mathematics on Semantic Conventions Tipo de documento: documento electrónico Autores: Hansen, Casper Storm, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XI, 256 p. ISBN/ISSN/DL: 978-3-030-88534-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Matemáticas Lógica matemática Metafísica Lengua y lenguas Análisis matemático Filosofía de las Matemáticas Lógica Matemática y Fundamentos Filosofía del lenguaje Análisis Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro presenta una nueva filosofía nominalista de las matemáticas: el convencionalismo semántico. Su tesis central es que las matemáticas deben basarse en la capacidad humana de crear lenguaje y, específicamente, en la capacidad de instituir convenciones para las condiciones de verdad de las oraciones. Esta postura filosófica conduce a una forma alternativa de practicar las matemáticas: en lugar de "construir" objetos a partir de conjuntos, un matemático debería introducir nuevos tipos de oraciones sintácticas, junto con sus condiciones de verdad, a medida que desarrolla una teoría. El convencionalismo semántico se justifica primero mediante la crítica de la teoría de conjuntos, el intuicionismo, el logicismo y el predicativismo de Cantoria; luego en sus propios términos; y finalmente, ejemplificado por una reconstrucción detallada del análisis aritmético y real. También se incluye una solución sencilla a la paradoja del mentiroso y otras paradojas que tradicionalmente se han reconocido como semánticas. Y dado que se sostiene que las matemáticas son semántica, esta solución también se aplica a la paradoja de Russell y a las demás paradojas matemáticas de la autorreferencia. Además de los filósofos interesados en la metafísica y la epistemología de las matemáticas o las paradojas de la autorreferencia, este libro debería atraer a los matemáticos interesados en enfoques alternativos. Nota de contenido: 1. Introduction -- 2. Classical Mathematics and Plenitudinous Combinatorialism -- 3 Intuitionism and Choice Sequences -- 4. From Logicism to Predicativism -- 5. Conventional Truth -- 6. Semantic Conventionalism for Mathematics -- 7. A Convention for a Type-free Language -- 8. Basic Mathematics -- 9. Real Analysis -- 10. Possibility -- References -- Index of symbols -- General index. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Founding Mathematics on Semantic Conventions [documento electrónico] / Hansen, Casper Storm, Autor . - 1 ed. . - [s.l.] : Springer, 2021 . - XI, 256 p.
ISBN : 978-3-030-88534-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Matemáticas Lógica matemática Metafísica Lengua y lenguas Análisis matemático Filosofía de las Matemáticas Lógica Matemática y Fundamentos Filosofía del lenguaje Análisis Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro presenta una nueva filosofía nominalista de las matemáticas: el convencionalismo semántico. Su tesis central es que las matemáticas deben basarse en la capacidad humana de crear lenguaje y, específicamente, en la capacidad de instituir convenciones para las condiciones de verdad de las oraciones. Esta postura filosófica conduce a una forma alternativa de practicar las matemáticas: en lugar de "construir" objetos a partir de conjuntos, un matemático debería introducir nuevos tipos de oraciones sintácticas, junto con sus condiciones de verdad, a medida que desarrolla una teoría. El convencionalismo semántico se justifica primero mediante la crítica de la teoría de conjuntos, el intuicionismo, el logicismo y el predicativismo de Cantoria; luego en sus propios términos; y finalmente, ejemplificado por una reconstrucción detallada del análisis aritmético y real. También se incluye una solución sencilla a la paradoja del mentiroso y otras paradojas que tradicionalmente se han reconocido como semánticas. Y dado que se sostiene que las matemáticas son semántica, esta solución también se aplica a la paradoja de Russell y a las demás paradojas matemáticas de la autorreferencia. Además de los filósofos interesados en la metafísica y la epistemología de las matemáticas o las paradojas de la autorreferencia, este libro debería atraer a los matemáticos interesados en enfoques alternativos. Nota de contenido: 1. Introduction -- 2. Classical Mathematics and Plenitudinous Combinatorialism -- 3 Intuitionism and Choice Sequences -- 4. From Logicism to Predicativism -- 5. Conventional Truth -- 6. Semantic Conventionalism for Mathematics -- 7. A Convention for a Type-free Language -- 8. Basic Mathematics -- 9. Real Analysis -- 10. Possibility -- References -- Index of symbols -- General index. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Intuitionistic Proof Versus Classical Truth : The Role of Brouwer's Creative Subject in Intuitionistic Mathematics Tipo de documento: documento electrónico Autores: Martino, Enrico, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 170 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-319-74357-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Matemáticas Filosofía Lógica matemática Philology Teoría de las máquinas Lógica Filosofía de las Matemáticas Lógica Matemática y Fundamentos Lenguajes formales y teoría de los autómatas Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro examina el papel de los actos de elección en las matemáticas clásicas e intuicionistas. Con quince artículos, tanto nuevos como publicados anteriormente, ofrece un nuevo análisis de conceptos desarrollados por el matemático y filósofo LEJ Brouwer, el fundador del intuicionismo. El autor explora la idealización que hace Brouwer del sujeto creativo como base de la verdad intuicionista y, en el proceso, también analiza una cuestión importante y relacionada: ¿hasta qué punto la perspectiva intuicionista logra evitar la noción realista clásica de verdad? Los artículos detallan aspectos realistas en la idealización del sujeto creativo e investigan el papel oculto de la elección incluso en la lógica y las matemáticas clásicas, cubriendo temas como el teorema de la barra, la teoría de tipos, la evidencia inductiva, los modelos de Beth, los modelos falibles y más. Además, el autor ofrece un análisis crítico de la respuesta de matemáticos y filósofos clave al trabajo de Brouwer. Estas figuras incluyen a Michael Dummett, Saul Kripke, Per Martin-Löf y Arend Heyting. Este libro atrae a investigadores y estudiantes de posgrado interesados en la filosofía de las matemáticas, la lingüística y las matemáticas. Nota de contenido: Brouwer, Dummett and the bar theorem -- Creative subject and bar theorem -- Natural intuitionistic semantics and generalized Beth semantics -- Connection between the principle of inductive evidence and the bar theorem -- On the Brouwerian concept of negative continuity -- Classical and intuitionistic semantical groundedness -- Brouwer's equivalence between virtual and inextensible order -- An intuitionistic notion of hypothetical truth for which strong completeness intuitionistically holds -- Propositions and judgements in Martin-Löf -- Negationless Intuitionism -- Temporal and atemporal truth in intuitionistic mathematics -- Arbitrary reference in mathematical reasoning -- The priority of arithmetical truth over arithmetical provability -- The impredicativity of the intuitionistic meaning of logical constants -- The intuitionistic meaning of logical constants and fallible models. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Intuitionistic Proof Versus Classical Truth : The Role of Brouwer's Creative Subject in Intuitionistic Mathematics [documento electrónico] / Martino, Enrico, Autor . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 170 p. 1 ilustraciones.
ISBN : 978-3-319-74357-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Matemáticas Filosofía Lógica matemática Philology Teoría de las máquinas Lógica Filosofía de las Matemáticas Lógica Matemática y Fundamentos Lenguajes formales y teoría de los autómatas Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro examina el papel de los actos de elección en las matemáticas clásicas e intuicionistas. Con quince artículos, tanto nuevos como publicados anteriormente, ofrece un nuevo análisis de conceptos desarrollados por el matemático y filósofo LEJ Brouwer, el fundador del intuicionismo. El autor explora la idealización que hace Brouwer del sujeto creativo como base de la verdad intuicionista y, en el proceso, también analiza una cuestión importante y relacionada: ¿hasta qué punto la perspectiva intuicionista logra evitar la noción realista clásica de verdad? Los artículos detallan aspectos realistas en la idealización del sujeto creativo e investigan el papel oculto de la elección incluso en la lógica y las matemáticas clásicas, cubriendo temas como el teorema de la barra, la teoría de tipos, la evidencia inductiva, los modelos de Beth, los modelos falibles y más. Además, el autor ofrece un análisis crítico de la respuesta de matemáticos y filósofos clave al trabajo de Brouwer. Estas figuras incluyen a Michael Dummett, Saul Kripke, Per Martin-Löf y Arend Heyting. Este libro atrae a investigadores y estudiantes de posgrado interesados en la filosofía de las matemáticas, la lingüística y las matemáticas. Nota de contenido: Brouwer, Dummett and the bar theorem -- Creative subject and bar theorem -- Natural intuitionistic semantics and generalized Beth semantics -- Connection between the principle of inductive evidence and the bar theorem -- On the Brouwerian concept of negative continuity -- Classical and intuitionistic semantical groundedness -- Brouwer's equivalence between virtual and inextensible order -- An intuitionistic notion of hypothetical truth for which strong completeness intuitionistically holds -- Propositions and judgements in Martin-Löf -- Negationless Intuitionism -- Temporal and atemporal truth in intuitionistic mathematics -- Arbitrary reference in mathematical reasoning -- The priority of arithmetical truth over arithmetical provability -- The impredicativity of the intuitionistic meaning of logical constants -- The intuitionistic meaning of logical constants and fallible models. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Luck Theory : A Philosophical Introduction to the Mathematics of Luck Tipo de documento: documento electrónico Autores: Rescher, Nicholas, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXXIII, 90 p. 56 ilustraciones ISBN/ISSN/DL: 978-3-030-63780-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Matemáticas Teoría de juego Filosofía de las Matemáticas Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro es un original estudio de las matemáticas de la suerte. Partiendo del principio de que la suerte puede medirse por la diferencia entre las expectativas razonables y su realización final, el libro desarrolla paso a paso una teoría matemática que se adapta a toda la gama de nuestra comprensión presistemática de la forma en que la suerte funciona en los asuntos humanos. Al pasar de la exposición explicativa al tratamiento matemático, el libro proporciona una explicación clara y accesible de la forma en que la evaluación de la suerte entra en los cálculos de la teoría de la decisión racional. Nota de contenido: 1. Chancy Outcome Situation -- 2. Outcome Luck Assessment and the Luck Equation -- 3. Variant Approaches to Luck -- 4. Some Illustrative Examples -- 5. Luck in Success/Failure Situations -- 6. Basic Luck Theorems -- 7. Luck and Risk -- 8. Managing Luck. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Luck Theory : A Philosophical Introduction to the Mathematics of Luck [documento electrónico] / Rescher, Nicholas, Autor . - 1 ed. . - [s.l.] : Springer, 2021 . - XXXIII, 90 p. 56 ilustraciones.
ISBN : 978-3-030-63780-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Matemáticas Teoría de juego Filosofía de las Matemáticas Índice Dewey: 510.1 Filosofía y teoría de las matemáticas Resumen: Este libro es un original estudio de las matemáticas de la suerte. Partiendo del principio de que la suerte puede medirse por la diferencia entre las expectativas razonables y su realización final, el libro desarrolla paso a paso una teoría matemática que se adapta a toda la gama de nuestra comprensión presistemática de la forma en que la suerte funciona en los asuntos humanos. Al pasar de la exposición explicativa al tratamiento matemático, el libro proporciona una explicación clara y accesible de la forma en que la evaluación de la suerte entra en los cálculos de la teoría de la decisión racional. Nota de contenido: 1. Chancy Outcome Situation -- 2. Outcome Luck Assessment and the Luck Equation -- 3. Variant Approaches to Luck -- 4. Some Illustrative Examples -- 5. Luck in Success/Failure Situations -- 6. Basic Luck Theorems -- 7. Luck and Risk -- 8. Managing Luck. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Permalink
PermalinkPermalink
