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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Online
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Springer Nature 2021
Những chủ đề:	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 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
Truy cập trực tuyến:	ONIX_20211005_9783030658243_5
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Là người đầu tiên ghi lời nhận xét!

Paul Lorenzen -- Mathematician and Logician

Những quyển sách tương tự