Hilbert’s epsilon as an operator of indefinite committed choice (2009)

by Claus-peter Wirth
Citations:1 - 1 self

Documents Related by Co-Citation

6 The Philosophy of Mathematics Today – M Schirn - 1998
1 The Birth of Model Theory — Löwenheim’s Theorem in the Frame of the Theory of Relatives – Calixto Badesa - 2004
1 Zusatz zu Hilberts Vortrag ” Die Grundlagen der Mathematik“. Abhandlungen aus dem mathematischen Seminar der Univ – Paul Bernays - 1928
1 Jacques Hadamard (1865–1963). Biographical Memoirs of – Mary L Cartwright - 1965
1 Notice biographique sur Herbrand. Annuaire de l’Association amicale de secours des anciens élèves de l’ École Normale Supérieure – Claude Chevalley, Albert Lautman - 1931
1 la pensée de Jacques Herbrand. L’Enseignement Mathématique, 34:97–102 – Sur - 1935
1 Review: Jacques Herbrand: Logical writings by Warren Goldfarb – Dirk van Dalen - 1974
1 The reception of Gödel’s incompleteness theorems – John W Dawson Jr - 1991
1 Prelude to recursion theory: the Gödel–Herbrand correspondence – John W Dawson Jr - 1993
1 Herbrand et la théorie des nombres – Jacques - 1982
1 Claude Chevalley. Transformation Groups, 4:103–113 – Jean Dieudonné - 1999
1 St˚al Aanderaa. False lemmas in Herbrand – Burton Dreben, Peter B Andrews - 1963
1 Souvenirs d’un boursier Rockefeller 1929–1931. Cahiers du séminaire d’histoire des mathématiques – Paul Dubreil - 1983
1 Die Grundlagen der Arithmetik. Verlag von – Gottlob Frege - 1884
1 Herbrand’s error and Gödel’s correction – Warren Goldfarb - 1993
1 exchanged between Helmut Hasse and Jacques Herbrand Sr.. Available from the Niedersächsische Staatsund Universitätsbibliothek – Abteilung für Handschriften und seltene Drucke – Helmut Hasse, Jacques Herbrand Sr Letters - 1931
1 On the relation between the falsifiability tree method and the Herbrand method in quantification theory. Unpublished typescript – Jan van Heijenoort
1 Reviews of articles by – Jan van Heijenoort - 1971
1 L’œuvre logique de Herbrand et son contexte historique – Jan van Heijenoort - 1982