11
Views
0
CrossRef citations to date
0
Altmetric
Miscellany

The diagonal argument—A study of cases

Pages 191-203 | Published online: 09 Jun 2008

References

  • Cantor , G. 1874 . Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen . Journal für die Reine und Angewandte Mathematik , 77 : 258 – 262 .
  • Cantor , G. 1891 . Uber eine elementare Frage der Mannigfaltigkeitslehre . Jahresbericht der Deutschen Mathematiker‐Vereinigung , 1 : 75 – 78 .
  • Frege , G. 1893 . Grundgesetze der Arithmetik Begriffsschriftlich Abgeleitet , Hermann Pohle : Verlag .
  • Gödel , K. 1931 . Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I . Monatshefte für Mathematik und Physik , 38 : 173 – 198 . (tr. in van Heijenoort, 1967).
  • Hallet , M. 1984 . Cantorian Set Theory and Limitation of Size , Oxford : Oxford University Press .
  • van Heijenoort , J. 1967 . From Frege to Gödel , Harvard : Harvard University Press .
  • Kleene , S. K. 1936 . General Recursive Functions of Natural Numbers . Mathematische Annalen , 112 : 727 – 742 .
  • Moore , G. H. and Garciadiego , A. 1981 . Buralli‐Forti's Paradox: a Repraisal of its Origins . History of Mathematics , 8 : 319 – 350 .
  • Quine , W. V. O. 1937 . New Foundations for Mathematical Logic . Am. Math. Month , 44 : 70 – 80 .
  • Rang , B. and Thomas , W. Zermelo's Discovery of the ‘Russell Paradox’ . History of Mathematics , 8 15 – 22 .
  • Rice , H. G. 1953 . Classes of Recursively Enumerable Sets and Their Decision Problems . Trans. Am. Math. Soc , 74 : 358 – 366 .
  • Richard , J. 1905 . Les principes des mathématiques et le problème des ensambles . Revue Générale des Sciences Pures et Appliquées , 16 : 541
  • Russell . 1903 . Principles of Mathematics , Cambridge : Cambridge University Press .
  • Šickić , Z. 1986 . Cantor's Theorem and Paradoxical Classes . Zeitschriftfür Mathematische Logik und Grundlagen der Mathematik , 32 : 221 – 226 .
  • Tarski , A. 1935 . “ Der Warheitsbegriff in den formalisierten ” . In Logic, Semantics, Metamathematics, Papers from 1928 to 1938 , Edited by: Sprachen . Oxford : Oxford University Press . 1956
  • Turing , A. M. 1936 . On Computable Numbers with an Application to the Entscheidungsproblem . Proceedings of the London Mathematics Society , 42 : 230 – 265 .
  • Zermelo , E. 1908 . Newer Beweis für die Möglichkeit einer Wohlordnung . Mathematische Annalen , 65 : 261 – 281 . (tr. in van Heijenoort, 1967).

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.