Image of Paul Lorenzen -- Mathematician and Logician
Bookmark Share

Text

Paul Lorenzen -- Mathematician and Logician

Buku akses terbuka ini meneliti berbagai kontribusi Paul Lorenzen, seorang filsuf terkemuka dari paruh kedua abad ke-20. Buku ini menampilkan makalah yang difokuskan pada pengintegrasian pendekatan asli Lorenzen ke dalam sejarah logika dan matematika. Makalah-makalah tersebut juga mengeksplorasi bagaimana para praktisi dapat menerapkan ide-ide sistematis Lorenzen dalam perdebatan terkini tentang semantik teori pembuktian, manajemen bank data, dan stokastik. Cakupan merinci kontribusi utama Lorenzen terhadap matematika konstruktif, karya Lorenzen tentang kelompok kisi dan teori pembagian, serta teori himpunan modern dan kritik Lorenzen terhadap ketakterhinggaan aktual. Para kontributor juga melihat masalah utama Grundlagenforschung dan pembuktian konsistensi Lorenzen serta program Hilbert yang lebih besar. Selain itu, makalah-makalah tersebut menawarkan pemeriksaan konstruktif terhadap Teori Tipe Bercabang ala Russell dan jalan keluar dari teka-teki sirkularitas dalam pembenaran operasional logika dan matematika. Nama Paul Lorenzen dikaitkan dengan Erlangen School of Methodical Constructivism, yang pendekatannya dalam filsafat linguistik dan filsafat sains menentukan diskusi filosofis terutama di Jerman pada tahun 1960-an dan 1970-an. Volume ini menampilkan 10 makalah dari sebuah pertemuan yang berlangsung di Universitas Konstanz.

Availability

No copy data

Detail Information
Series Title
Logic, Epistemology, and the Unity of Science
Call Number
511.3092 HEI p
Publisher
Heidelberg, Jerman : Springer International Publishing.,
Collation
1 online resource ( XII, 268 Pages)
Language
English
ISBN/ISSN
978-3-030-65824-3
Classification
511.3092
Content Type
text
Media Type
computer
Carrier Type
online resource
Edition
1
Subject(s)
Biografi ahli logika matematika
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
Kholif Basri
Source
https://link.springer.com/10.1007/978-3-030-65824-3
Validator
Erwin
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-030-65824-3
Journal Volume
51
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment