An excursion into Dialectica and Differentiation

Davide Barbarossa

Gödel's Dialectica has been introduced and developed in the tradition of the so-called functional interpretations. Only recently has it been related with the a priori unrelated no…