Paul Lorenzen -- Mathematician and Logician (Record no. 36030)

MARC details
000 -LEADER
fixed length control field 03572naaaa2200541uu 4500
001 - CONTROL NUMBER
control field https://directory.doabooks.org/handle/20.500.12854/72030
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220219184053.0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-3-030-65824-3
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030658243
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-030-65824-3
Terms of availability doi
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title English
042 ## - AUTHENTICATION CODE
Authentication code dc
072 #7 - SUBJECT CATEGORY CODE
Subject category code PBB
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code PBX
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code PBC
Source bicssc
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Heinzmann, Gerhard
Relationship edt
245 10 - TITLE STATEMENT
Title Paul Lorenzen -- Mathematician and Logician
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer Nature
Date of publication, distribution, etc. 2021
300 ## - PHYSICAL DESCRIPTION
Extent 1 electronic resource (268 p.)
506 0# - RESTRICTIONS ON ACCESS NOTE
Terms governing access Open Access
Source of term star
Standardized terminology for access restriction Unrestricted online access
520 ## - SUMMARY, ETC.
Summary, etc. 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 implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE
Terms governing use and reproduction Creative Commons
Use and reproduction rights by/4.0/
Source of term cc
-- http://creativecommons.org/licenses/by/4.0/
546 ## - LANGUAGE NOTE
Language note English
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Philosophy of mathematics
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element History of mathematics
Source of heading or term bicssc
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical foundations
Source of heading or term bicssc
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzen on Constructive Mathematics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Application to Constructive Measure Theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzeṇ’s Work on Lattice-groups and Divisibility Theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Krull’s Fundamentalsatz for Integral Domains
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Modern Set Theory and Lorenzen’s Critique of Actual Infinity
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Grundlagenforschung
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzen’s Consistency Proof and Hilbert’s Larger Programme
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzen's Dialogue Game
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Game Semantics for Substructural Logics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Constructive Examination of a Russell-style Ramified Type Theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Operative Justification of Logic and Mathematics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzen on Proof-theoretic Semantics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzen on Databank Management
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzen on Stochastics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Russell-style Ramified Type Theory
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Lorenzen and Erlangen School of Methodical Constructivism
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wolters, Gereon
Relationship edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Heinzmann, Gerhard
Relationship oth
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wolters, Gereon
Relationship oth
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/20.500.12657/50703/1/978-3-030-65824-3.pdf">https://library.oapen.org/bitstream/20.500.12657/50703/1/978-3-030-65824-3.pdf</a>
Access status 0
Public note DOAB: download the publication
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://directory.doabooks.org/handle/20.500.12854/72030">https://directory.doabooks.org/handle/20.500.12854/72030</a>
Access status 0
Public note DOAB: description of the publication

No items available.