reverse mathematics often incorporates methods techniques recursion theory well proof theory functional interpretations functional interpretations interpretations non constructive theories functional ones functional interpretations usually proceed two stages first one reduces classical theory c intuitionistic one one provides constructive mapping translates theorems c theorems second one reduces intuitionistic theory quantifier free theory functionals f interpretations contribute form hilbert 's program since prove consistency classical theories relative constructive ones
Humanities Philosophy Logic Mathematical logic Proof theory