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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

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.
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.
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.
An atom’s worth of anonymity.Jouko Väänänen - 2023 - Logic Journal of the IGPL 31 (6):1078-1083.
Corrigendum to: ``Diagonalization and the recursion theorem''.James C. Owings - 1988 - Notre Dame Journal of Formal Logic 30 (1):153-153.
How Logic Speals.Charles Travis - forthcoming - In Alan Berger (ed.), a Festschrift for Hilary Putnam.

Analytics

Added to PP
2022-07-19

Downloads
32 (#696,586)

6 months
15 (#195,249)

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 22 references / Add more references