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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,748

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, 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, a Festschrift for Hilary Putnam.

Analytics

Added to PP
2022-07-19

Downloads
35 (#701,484)

6 months
14 (#213,080)

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