<div class="csl-bib-body">
<div class="csl-entry">Baaz, M. (2022, August). <i>The proof-theoretic analysis of incorrect proofs</i> [Conference Presentation]. International Conference on Applied Proof Theory, Pescara, Italy. http://hdl.handle.net/20.500.12708/174873</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/174873
-
dc.description.abstract
Proofs in mathematical practice serve to warrant the truth of mathematical theorems. Proof theory, i.e. the abstract study of proofs in logic, arose from Hilbert’s programme for the foundations of mathematics; the aim of the latter was to put abstract mathematics on a firm formal basis by proving its consistency in the meta-mathematics and by finitary methods only. Gödel's incompleteness theorems allegedly show the impossibility of Hilbert's programme as such but thus have stood and mark the beginning of a seminal paradigm shift in proof theory: to use mathematical proofs as a rich source of computational information such as certfied algorithms and effective bounds. Current research in this fast-growing area is known under terms such as dynamical methods, program extraction, and proof mining in mathematics, computer science, and philosophy. Our aim is to present all aspects of the state-of-the-art and foster interdisciplinary exchange
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Incorrect proofs
-
dc.title
The proof-theoretic analysis of incorrect proofs
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.rights.license
Urheberrechtsschutz 1.0
de
dc.rights.license
In Copyright 1.0
en
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
dc.rights.identifier
Urheberrechtsschutz 1.0
de
dc.rights.identifier
In Copyright 1.0
en
tuw.event.name
International Conference on Applied Proof Theory
en
tuw.event.startdate
29-08-2022
-
tuw.event.enddate
02-09-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Pescara
-
tuw.event.country
IT
-
tuw.event.presenter
Baaz, Matthias
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
100
-
item.openairetype
Presentation
-
item.openairetype
Vortrag
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie