Значок книги

Paul Lorenzen -- Mathematician and Logician

Показать другие версии (2)

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioner...

Полное описание

Сохранить в:

Библиографические подробности
Другие авторы:	Heinzmann, Gerhard (Редактор), Wolters, Gereon (Редактор)
Формат:	Электронный ресурс Глава книги
Язык:	английский
Опубликовано:	Springer Nature 2021
Серии:	Logic, Epistemology, and the Unity of Science
Предметы:	Philosophy of mathematics History of mathematics Mathematical foundations Lorenzen on Constructive Mathematics Application to Constructive Measure Theory Lorenzeṇ's Work on Lattice-groups and Divisibility Theory Krull's Fundamentalsatz for Integral Domains Modern Set Theory and Lorenzen's Critique of Actual Infinity Grundlagenforschung Lorenzen's Consistency Proof and Hilbert's Larger Programme Lorenzen's Dialogue Game Game Semantics for Substructural Logics Constructive Examination of a Russell-style Ramified Type Theory Operative Justification of Logic and Mathematics Lorenzen on Proof-theoretic Semantics Lorenzen on Databank Management Lorenzen on Stochastics Russell-style Ramified Type Theory Lorenzen and Erlangen School of Methodical Constructivism
Online-ссылка:	DOAB: download the publication DOAB: description of the publication
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Paul Lorenzen -- Mathematician and Logician
Опубликовано: (2021)

Paul Lorenzen -- Mathematician and Logician
Опубликовано: (2021)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Опубликовано: (2022)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Опубликовано: (2022)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Опубликовано: (2023)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Опубликовано: (2023)

Mathematical Aspects of Logic Programming Semantics
по: Hitzler, Pascal
Опубликовано: (2010)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Опубликовано: (2020)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Опубликовано: (2020)

Advances in Proof-Theoretic Semantics
Опубликовано: (2016)

The Logical Writings of Karl Popper
Опубликовано: (2022)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Опубликовано: (2021)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Опубликовано: (2021)

The Logical Writings of Karl Popper
Опубликовано: (2022)

The Logical Writings of Karl Popper
Опубликовано: (2022)

Transition to Higher Mathematics Structure and Proof
по: Dumas, Bob A, и др.
Опубликовано: (2015)

Measure, Integration & Real Analysis
по: Axler, Sheldon
Опубликовано: (2021)

Innovations in Quantitative Risk Management TU München, September 2013 /
Опубликовано: (2015)

Inquisitive Logic Consequence and Inference in the Realm of Questions
по: Ciardelli, Ivano
Опубликовано: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions
по: Ciardelli, Ivano
Опубликовано: (2022)

Chapter Optical Coherence Tomography - Applications in Non- Destructive Testing and Evaluation
по: Leiss Holzinger, Elisabeth
Опубликовано: (2013)

Chapter Optical Coherence Tomography - Applications in Non- Destructive Testing and Evaluation
по: Leiss Holzinger, Elisabeth
Опубликовано: (2013)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Опубликовано: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions /
по: Ciardelli, Ivano
Опубликовано: (2022)

Sheaf Theory through Examples
по: Rosiak, Daniel
Опубликовано: (2022)

Euclid's Elements Redux
по: Callahan, Daniel
Опубликовано: (2020)

Fading Foundations Probability and the Regress Problem /
по: Atkinson, David, и др.
Опубликовано: (2017)

Peter Schroeder-Heister on Proof-Theoretic Semantics
Опубликовано: (2024)

Advances in Proof-Theoretic Semantics
Опубликовано: (2016)

Advances in Proof-Theoretic Semantics
Опубликовано: (2016)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Опубликовано: (2021)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Опубликовано: (2021)

Proof and Proving in Mathematics Education The 19th ICMI Study
Опубликовано: (2012)

Proof and Proving in Mathematics Education The 19th ICMI Study
Опубликовано: (2012)

An Evolutionary Model of Industry Transformation and the Political Sustainability of Emission Control Policies
по: Isley, Steven C.
Опубликовано: (2013)

The Game of Logic
по: Carroll, Lewis, 1832-1898

The Algebra of Logic
по: Couturat, Louis, 1868-1914; Jourdain, Philip E. B. (Philip Edward Bertrand), 1879-1919 [Author of introduction, etc.]; Robinson, Lydia Gillingham, 1875- [Translator]

An Investigation of the Laws of Thought On which are founded the mathematical theories of logic and probabilities
по: Boole, George, 1815-1864

Symbolic Logic
по: Carroll, Lewis, 1832-1898

The calculus of logic
по: Boole, George, 1815-1864