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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

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

Through your library

Similar books and articles

Is gold-Putnam diagonalization complete?Cory Juhl - 1995 - Journal of Philosophical Logic 24 (2):117 - 138.
Diagonalização, Paradoxos e o Teorema de Löb.Paulo Guilherme Santos & Reinhard Kahle - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1169-1188.
Diagonalization and the recursion theorem.James C. Owings - 1973 - Notre Dame Journal of Formal Logic 14 (1):95-99.
Corrigendum to: ``Diagonalization and the recursion theorem''.James C. Owings - 1988 - Notre Dame Journal of Formal Logic 30 (1):153-153.
The universal set and diagonalization in Frege structures.Reinhard Kahle - 2011 - Review of Symbolic Logic 4 (2):205-218.
A note on the ω-incompleteness formalization.Sergio Galvan - 1994 - Studia Logica 53 (3):389 - 396.

Analytics

Added to PP
2022-07-19

Downloads
13 (#1,037,980)

6 months
1 (#1,473,890)

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