 Foundational Adventures
Essays in Honour of Harvey M. Friedman
Neil Tennant, ed
This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Gödel. Friedman's researches, beginning precociously in his midteens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Gödel and Alfred Tarski for the general intellectual interest and importance of technical work in foundations. Friedman pioneered the now wellestablished and flourishing field of Reverse Mathematics, whose aim is to calibrate the intrinsic logicomathematical consistencystrength of all the important theorems of mathematics. He has relentlessly pursued the full extent of the incompleteness phenomena into which Gödel provided the first revealing glimpse. The GödelFriedman program, as it is now deservingly called, seeks to find simple, natural and elegant mathematical statements of a combinatorial nature, that can be proved to be independent of set theory even when extended by powerful largecardinal existence axioms.
9781848901179
