Kreisel's unwinding program

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf mathematical program
proof-theoretic concept
gptkbp:aimsTo extract constructive content from non-constructive proofs
gptkbp:describedBy papers by Georg Kreisel in the 1950s and 1960s
gptkbp:field gptkb:logic
proof theory
https://www.w3.org/2000/01/rdf-schema#label Kreisel's unwinding program
gptkbp:introduced gptkb:Georg_Kreisel
gptkbp:namedAfter gptkb:Georg_Kreisel
gptkbp:relatedTo gptkb:logic
gptkb:reverse_mathematics
proof mining
gptkbp:bfsParent gptkb:Georg_Kreisel
gptkbp:bfsLayer 6