Zur Kurzanzeige

Mathematical Logic: Proof Theory, Constructive Mathematics

dc.date.accessioned2019-10-24T13:41:30Z
dc.date.available2019-10-24T13:41:30Z
dc.date.issued2008
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3062
dc.description.abstractThe workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” brought together a carefully selected group of mathematicians, computer scientists and logicians in other fields to discus the impact of proof-theoretic and constructive methods in their various areas. A key topic in the meeting was the unwinding of proofs to obtain computational information. This hidden computational information has already lead to new mathematical insights. Computational information is more directly present in constructive approaches to mathematics, a fact that makes it worthwhile to carefully investigate these approaches and also study their proof-theoretic properties. The precise quantitative information proof theory yields about proofs and proof transformations can directly be applied to computational complexity.
dc.titleMathematical Logic: Proof Theory, Constructive Mathematics
dc.rights.licenseDieses 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.de
dc.rights.licenseThis 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.en
dc.identifier.doi10.14760/OWR-2008-18
local.series.idOWR-2008-18
local.subject.msc03
local.sortindex502
local.date-range06 Apr - 12 Apr 2008
local.workshopcode0815
local.workshoptitleMathematical Logic: Proof Theory, Constructive Mathematics
local.organizersSamuel R. Buss, San Diego; Ulrich Kohlenbach, Darmstadt; Helmut Schwichtenberg, München
local.report-nameWorkshop Report 2008,18
local.opc-photo-id0815
local.publishers-doi10.4171/OWR/2008/18
local.ems-referenceBuss Samuel, Kohlenbach Ulrich, Schwichtenberg Helmut: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 5 (2008), 907-952. doi: 10.4171/OWR/2008/18


Dateien zu dieser Ressource

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige