Mathematical Logic: Proof Theory, Constructive Mathematics
Loading...
Date
2023
Authors
Volume
53
Issue
Journal
Oberwolfach reports : OWR
Series Titel
Book Title
Publisher
Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach
Link to publishers version
Abstract
The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proof-theoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods as well as on topics in proof complexity. The workshop contributed to the following research strands: interactions between foundations and applications, proof mining, constructive and semi-constructive reasoning, proof theory and theoretical computer science, structural proof theory.
Description
Keywords
Citation
Mathematical Logic: Proof Theory, Constructive Mathematics (Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach). (2023). https://doi.org//10.14760/OWR-2023-53
Collections
License
Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.
This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.
This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.