Azala

Paul Lorenzen -- Mathematician and Logician

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 practitioners can...

Deskribapen osoa

Gorde:
Formatua: Online
Hizkuntza:ingelesa
Argitaratua: Springer Nature 2021
Gaiak:
Lorenzen on Constructive Mathematics
Application to Constructive Measure Theory
Lorenzeṇ’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
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBB Philosophy of mathematics
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBX History of mathematics
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Sarrera elektronikoa:ONIX_20211005_9783030658243_5
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Internet

ONIX_20211005_9783030658243_5

Antzeko izenburuak