The early history of formal diagonalization

Logic Journal of the IGPL 31 (6):1203-1224 (2023)
  Copy   BIBTEX

Abstract

In Honour of John Crossley’s 85th Birthday.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzac054

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Editorial: Special issue in honour of John Newsome Crossley.Guillermo Badia - 2023 - Logic Journal of the IGPL 31 (6):1005-1009.
Life and Philosophy: A Collection of Essays to Honour Alan Montefiore on His 85th Birthday.C. Audard-Montefiore, N. Bunnin, P. Flather, M. Fraser & S. Lewis (eds.) - 2011
Logics and collaboration.Liz Sonenberg - 2023 - Logic Journal of the IGPL 31 (6):1024-1046.
In honor of Pavlov, Todor 85th birthday.J. Netopilik - 1975 - Filosoficky Casopis 23 (2):217-224.
Review: C. Smorynski, Self-Reference and Modal Logic. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
From Athens to Jerusalem: Kant, Shestov and the possibility of faith.R. Fotiade - 2011 - In C. Audard-Montefiore, N. Bunnin, P. Flather, M. Fraser & S. Lewis (eds.), Life and Philosophy: A Collection of Essays to Honour Alan Montefiore on His 85th Birthday. pp. 94-100.
Review: C. Smorynski, Nonstandard Models and Related Developments. [REVIEW]C. Dimitracopoulos - 1990 - Journal of Symbolic Logic 55 (2):875-876.
Brandenstein, Bela, Von on his 85th birthday.J. Kopper - 1986 - Kant Studien 77 (1):108-110.
Diagonalization and the recursion theorem.James C. Owings - 1973 - Notre Dame Journal of Formal Logic 14 (1):95-99.
How Logic Speals.Charles Travis - forthcoming - In Alan Berger (ed.), a Festschrift for Hilary Putnam.

Analytics

Added to PP
2022-07-19

Downloads
17 (#866,139)

6 months
5 (#837,573)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.

View all 20 references / Add more references