Metadata
Author: WikiMatrix
Data
English[en]
Kreisel worked in various areas of logic, and especially in proof theory, where he is known for his so-called "unwinding" program, whose aim was to extract constructive content from superficially non-constructive proofs.
French[fr]
Kreisel a travaillé dans plusieurs domaines de la logique et en particulier dans la théorie de la démonstration où il est connu pour avoir tenté d'extraire du contenu constructiviste de preuves en apparence non constructives.