LITERATUUR



Metalogica.



A



@

Abramson, F.G.

(1971):
Effective Computation over the Real Numbers.
Twelfth Annual Symposium on Switching and Automata Theory.
Northridge, Calif.:
Institute of Electrical and Electronics Engineers.

@

Anderaa & Fisher

(1967):
The Solvability of the Halting Problem for two-state Post Machines,
In: ' Journal of the ACM ', 14(4): pp.677-682 (Oct 1967).

@

Arnauld, A. & Nicole, P.

(1662):

@

Augusta, Ada, Countess of Lovelace {1815-1852}

(1842):
Translator's notes to L.F. Menabrea's 'Sketch of the analytical engine invented by Charles Babbage, Esq. '.
In: ' Faster than thought: A symposium on digital computing machines ', ed. B. V. Bowden, pp. 362-408.
New York: Pitman Publishing Co.

B



@

Barkley Rosser, J.

(1935):
A mathematical logic without variables,
In: ' Annals of Mathematics ', vol. 36 (1935), no. 2, pp. 127-50;
also in: 'Duke Mathematics Journal ', vol. 1, pp. 328-55.

@

Barkley Rosser, J.

(1984):
Highlights of the history of the lambda-calculus,
In: ' Annals of Historical Computing ', vol. 6 (1984), no. 4, pp. 337-49.

@

Baumann, J.J.

(1869):
Die Lehren von Zeit,
'Raum und Mathematik '.
Berlin. .

@

Beltrami, Edward

(1999):
What is Random? Chance and order in mathematics and life.
Copernicus: Springer-Verlag, New York, 1999.

@

Bernays, Paul

(1935-36):
Logical calculus.
The Institute for Advanced Studies, Princeton, 1935-6,

@

Bernays

(1958):
Axiomatic Set Theory.
Amsterdam: North-Holland.

@

Bernstein, E. & Vazirani, U.

(1997):
Quantum complexity theory,
In: SIAM Journal on Computing ' 26(5) (1997) 1411-1473.'

@

Biermann, O.

(1887):
Theorie der analytischen Funktionen,
Leipzig.

@

Bishop, Errett

(1967):
Foundations of Constructive Analysis.

@

Blanché

(1968):
Introduction à la logique contemporaine.
Paris: A. Colin.

@

Blake, William.

(1946):
The Viking Portable Blake.
Ed. Alfred Kazin.
Viking Press, 1946.

@

Böerger, Egon, Erich Grädel, & Yuri Gurevich

(1997):
The Classical Decision Problem.
Springer, Heidelberg.

@

Bolter, David

(1984):
Turing's Man: Western Culture in the Computer Age.
The University of North Carolina Press, Chapel Hill, 1984.

@

Boole, G.

(1847):
The Mathematical Analysis of Logic.

@

Boole, G.

(1854):
An Investigation of the Laws of Thought.

@

Boolos & Jeffrey

(1974):
Computability and Logic.
Cambridge University Press.

@

Booth, Taylor

(1967):
Sequential Machines and Automata Theory.
Wiley, New York, 1967.

@

Boulding, Kenneth

(1956):
General Systems Theory.

@

Brouwer, L.E.J.

(1907; 1924):
Beweis des Jordanschen Satzes für N Dimensionen
(1912)

C



@

Calaprice, Alice, ed.

(2000):
The Expanded quotable Einstein.
Princeton: Princeton University Press.

@

Cantor, G. {1845-1918}

(1883):
Grundlagen einer allgemeine Mannigfaltig-keitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen ,
Teubner, Leipzig, 1883.
In: (Cantor 1932, pp.165-246).

@

Cantor, G.

(1884; 1970):
Principien einer theorie der Ordnungstypen
Dated November 6, 1884. First published as:
An unpublished paper by Georg Cantor, by: I. Grattan-Guinness,
In: Acta Mathematica 124, 1970, pp.65-107.

@

Cantor, G.

(1885):
Rezension von Freges Grundlagen,
In: ' Deutsche Literaturzeitung ' 6, 728-29,
In: (Cantor 1932, pp.440-41).

@

Cantor, G.

(1887/88; 1890):
Mitteilungen zur Lehre vom Transfiniten,
In: ' Zeitschrift fur Philosophie und philosophische Kritik ', 91 (1887), 81-125; 92 (1888), 240-65;
Also published as:
Gesammelte Abhandlungen zur Lehre vom Transfiniten,
Pfeffer, Halle, 1890.
In: (Cantor 1932, pp.378-439).

@

Cantor, G.

(1895-97):
Contributions to the Founding of the Theory of Transfinite Numbers,
Dover, New York, 1955 (1915);
translation of his
Beiträge zur Begründung der transfiniten Mengenlehre, 1895-97.

@

Cantor, G. {1845-1918}

(1932):
Gesammelte Abhandlungen mathematischen und philosophischen Inhalts.
edited by Ernst Zermelo.
Springer, New York, 1932,
(pp.379, 387, 411-12);
Berlin: J. Springer, 1932.
Reprinted Hildesheim: Georg Olms, 1962
Springer, 1980 .

@

Cantor, Georg {1845-1918}

(1915, 1955):
Contributions to the Founding of the Theory of Transfinite Numbers.
Trans. Philip E.B. Jourdain.
Dover Publications, 1955.
(Translation originally published 1915.)

@

Cantor, G.

(1991):
Georg Cantor Briefe,
H. Meschkowski and W. Nilson (eds.),
Springer, New York.

@

Cantor, G.F.L.P. {1829-1920}

(1883):
Grundlagen einer allgemeine Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen .
Leipzig: B.G. Teubner.

@

Cantor, M.B. {1829-1920}

(1855):
Grundzüge einer Elementarmathematik.
Heidelberg
(par.4, p.2.)

@

Cantor, M.B.

(1901):
Vorlesungen über Geschichte der Mathematik.
Leipzig,
III, 2nd edition (1901), p. 639;
IV (1908), p. 222-229.

@

Carnap

(1934; 1937; 1970):
Logische Syntax der Sprache.
Translated as:
The Logical Syntax of Language,
1937: Wien, Julius Springer.
The Logical Syntax of Language.
1970: London.

@

Carnap, R.

(1950):
Logical Foundations of Probability.
The University of Chicago Press.

@

Carnap

(1954; 1958):
Einführung in die symbolische Logik.
Translated as
Introduction to Symbolic Logic and its Applications,
1958: Wien, Springer.

@

Chazal

(1996):
Éléments de logique formelle.
Paris : Hermès.

@

Church, Alonzo {1903-1995}

(1927):
Alternatives to Zermelo's assumption,
Ph.D. thesis,
Princeton.
In: ' Transactions of the American Mathematical Society ', vol. 29 (1927), pp. 178-208.

@

Church, Alonzo

(1928):
On the law of the excluded middle,
In: ' Bulletin of the American Mathematical Society ', vol. 34 (1928), pp. 75-78.

@

Church, Alonzo

(1932):
A set of Postulates for the Foundation of Logic, Part I,
In: ' Annals of Mathematics ', second series, vol. 33 (1932), no. 2, pp. 346-366.
Princeton.

@

Church, Alonzo

(1933):
A Set of Postulates for the Foundation of Logic, Part II,
In: ' Annals of Mathematics ', (Second Paper), second series, vol. 34 (1933), no. 2, pp. 839-864.
Princeton.

@

Church, Alonzo

(1934):
The Richard paradox,
In: ' American Mathematical Monthly ', vol. 41 (1934), pp. 356-61.

@

Church, Alonzo

(1935):
A proof of freedom from contradiction.
In: ' Proceedings of the National Academy of Sciences ', vol. 21 (1935), pp. 275-81.

@

Church, Alonzo & Barkley Rosser, J.

(1935; 1936):
Some properties of conversion,
In: ' Bulletin of the American Mathematical Society ', vol. 41 (1935), p. 332.
In: ' Transactions of the American Mathematical Society ', vol. 39 (1936), pp. 472-82.

@

Church, Alonzo

(1935; 1936):
An Unsolvable Problem of Elementary Number Theory
(19 April 1935).
Abstract No. 204.
In: ' Bulletin American Mathematical Society ', vol. 41 (1935), pp. 332-333.
In: ' American Journal of Mathematics ', vol. 58 (1936), pp. 345-363,
Baltimore.

@

Church, Alonzo

(1936):
A Note on the Entscheidungsproblem,
In: ' Journal of Symbolic Logic ',
Vol. 1, No. 1 (Mar., 1936), pp. 40-41.
Corrections 1,
Menasha, Wisconsin, pp.101-102.
Reprinted in: Davis, 1965 (7, pp.110-115).

@

Church, Alonzo & Stephen C. Kleene

(1935, 1936):
Formal definitions in the theory of ordinal numbers,
In: ' Bulletin of the American Mathematical Society ', vol. 41 (1935), p. 627.
In: ' Fundamenta Mathematicae ', vol. 28 (1936), pp. 11-21.

@

Church, Alonzo

(1936):
Review of (A.M. Turing, 1936),
In: ' Journal of Symbolic Logic ', vol. 2 (1937), no. 1, pp. 42-43.

@

Church, Alonzo

(1936): 'Review of (E. Post, 1936) ',
In: ' Journal of Symbolic Logic ', vol. 2 (1937), no. 1, p. 43.

@

Church, Alonzo

(1941):
The Calculi of Lambda-Conversion,
Princeton: Princeton University Press.

@

Church, Alonzo

(1956):
Introduction to mathematical logic, vol. I,
Princeton University Press, Princeton, 1956.

@

Cobham, Alan

(1964):
The Intrinsic Computational Difficulty of Functions.
Proceedings of the 1964 Congress for Logic, Mathematics, and Philosophy of Science.
pp. 24-30.
North-Holland, Amsterdam.

@

Cook, Stephen

(1971):
The Complexity of Theorem Proving Procedures.
In: ' Proceedings of the Third Annual ACM STOC Symposium '.
Shaker Heights, Ohio, 151-158.

@

Copeland, B.J.

(1996):
The Church-Turing Thesis,
In: E. Zalta, ed., 'Stanford Encyclopaedia of Philosophy '.

@

Copeland, B.J.

(1997):
The Broad Conception of Computation.
In: ' American Behavioral Scientist ', 40, 690-716.

@

Copeland, B.J.

(1998a):
Turing's O-machines, Penrose, Searle, and the Brain.
In: ' Analysis ', 58, pp.128-138.

@

Copeland, B.J.

(1998b):
Even Turing Machines Can Compute Uncomputable Functions.
In: Calude, C., Casti, J., Dinneen, M. (eds) 1998,
'Unconventional Models of Computation ', pp.150-164.
London and Singapore: Springer-Verlag,
@

Copeland, B.J.

(1998c):
Super Turing-Machines.
In: ' Complexity ', 4: 30-32.

@

Copeland, B.J.

(2000):
Narrow Versus Wide Mechanism.
In: ' Journal of Philosophy ', 97, 1-32.

@

Copeland, B.J., Proudfoot, D.

(1999a):
Alan Turing's Forgotten Ideas in Computer Science.
In: ' Scientific American ', 280 (April), 76-81.

@

Copeland, B.J., Proudfoot, D.

(1999b):
The Legacy of Alan Turing.
In: ' Mind ', 108, 187-195.

@

Copeland, B.J., Sylvan, R.

(1999):
Beyond the Universal Turing Machine.
In: ' Australian Journal of Philosophy ', 77, 46-66.

@

Copi

(1979):
Symbolic Logic.
New York: Macmillan.

@

Cori & Lascar

(1993):
Logique mathématique. Cours et exercices.
Paris: Masson.
Translated in English as:
Mathematical logic: A Course with Exercises, 2 volumes.
New York: Oxford University Press, 2000.

@

Curry, H.B.

(1929):
An Analysis of Logical Substitution.
In: ' American Journal of Mathematics ', 51, 363-384.

@

Curry, H.B.

(1930):
Grundlagen der kombinatorischen Logik.
In: ' American Journal of Mathematics ', 52, 509-536, 789-834.

@

Curry, H.B.

(1932):
Some Additions to the Theory of Combinators.
In: ' American Journal of Mathematics ', 54, 551-558.

D



@

da Costa, N.C.A., Doria, F.A.

(1991):
Classical Physics and Penrose's Thesis.
In: ' Foundations of Physics Letters ', 4, 363-374.

@

da Costa, N.C.A., Doria, F.A.

(1994):
Undecidable Hopf Bifurcation with Undecidable Fixed Point.
In: ' International Journal of Theoretical Physics ', 33, 1913-1931.

@

Dauben, Joseph Warren

(1979):
Georg Cantor: His Mathematics and Philosophy of the Infinite.
Princeton University Press, 1979.

@

Davis, Martin

(1958):
Computability and Unsolvability,
McGraw-Hill, New York.

@

Davis

(1958):
Computability and Unsolvability.
New York: McGraw Hill.

@

Davis, Martin, editor

(1965):
The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions .
Raven Press, Hewlett, New York, 1965.

@

Davis, Martin

(1980):
What is a computation,
In: ' Mathematics Today ',
Lynn Arthur Steen, Vintage Books (Random House), 1980.

@

Davis, Martin

(1982):
Why Gödel didn't have Church's thesis,
In: ' Information and Control ', vol. 54 (1982), pp. 3-24.

@

Davis, Martin

(1995):
American logic in the 1920s, vol. 1 (1995), no. 3, pp. 273-8.

@

Davis, Martin

(2000):
The Universal Computer: the Road from Leibnitz to Turing,
W.W. Norton & Company, New York.

@

Dawson, John W.

(1997):
Logical dilemmas - the life and work of Kurt Gödel,
A.K. Peters, Wellesley, 1997.

@

Dedekind, Richard

(1872):
Stetigkeit und irrationale Zahlen,
Vieweg, Braunschweig, 1872.

@

Dedekind, R.

(1887; 1963):
The Nature and Meaning of Numbers VI,
In: ' Essays on the Theory of Numbers ',
Dover, New York, 1963 (1887).

@

Dedekind, Richard

(1888; 1930):
Was sind und was sollen die Zahlen?
Vieweg, Braunschweig, 1888.
Was sind und was sollen die Zahlen?
6th ed.,
Braunschweig, 1930 (original 1888).

@

Dedekind, Richard

(1901; 1963):
Essays on the Theory of Numbers.
Transl. Wooster Woodruff Beman.
Dover Publications, 1963.
(Translation originally published 1901.)

@

Dinneen, M. (eds)

(1998):
Unconventional Models of Computation,
London and Singapore: Springer-Verlag, 150-164.

@

Doyle, J.

(1982):
What is Church's Thesis? An Outline.
Laboratory for Computer Science, MIT.

E



@

Enderton, Herbert B.

(1972):
A Mathematical Introduction to Logic,
Academic Press, New York.

@

Enderton, Herbert B.

(1995):
In memoriam: Alonzo Church, vol. 1 (1995), no. 4, pp. 486-88.

@

Erdmann, B.

(1892/ 1923):
Logik, 1892.
Berlijn 1923.

@

Erdmann, B.

(1873):
Die Stellung des Dinges an sich in Kant's Aesthetik und Analytik
Berlin, 1873.

@

Erdmann, B.

(1878):
Kants Kritizismus, 1878.

@

Erdmann, B. (18..):


Die Axiome der Geometrie.

@

Erdmann, Benno

(1913):
Die Funktion der Phantasie im wissenschaftlichen Denken.
Berlin. Verlag von Gebrüder Paetel, 1913.

@

Euclides, (ca. 300 A.D.):


The Elements.

F



@

Feferman, Solomon

(1988):
Turing in the land of O(z),
In: ' The universal Turing machine '
Rolf Herken, editor,
Oxford University Press, Oxford, 1988, pp. 113-47.

@

Fischer, K.

(1865):
System der Logik und Metaphysik oder Wissenschaftslehre, 2de ed., par. 94,
Heidelberg.

@

Fishburn, P.

(1973):
Les mathématiques de la décision,
Paris, 1973.

@

Fisher

(1965):
On formalizms for Turing Machines,
In: ' Journal of the ACM ' 12, 4 (Oct 1965).

@

Von Foerster, Heinz

(1980, 1984):

@

Fouché, W.,

(2000):
Arithmetical representations of Brownian motion,
In: ' Symbolic Logic ' 65 (2000) 421-442.

@

Fraenkel, Adolf Abraham Halevi Fraenkel {1891-1965}

(1919):
Einleitung in die Mengenlehre .

@

Fraenkel, Abraham A.

(1953):
Abstract Set Theory.
North-Holland Pub. Co., Amsterdam, 1953.

@

Frege, Gottlob {1848-1925}

(1879; 1977):
Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.
Halle a. S., 1879.
Begriffschrift,
Hildesheim 1977, p.X.
Halle: Louis Nebert,
Translated in:
From Frege to Gödel.

@

Frege, G.

(1884; 1981; 1986):
Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl,
Breslau, 1884.
De grondslagen der aritmetica.
Ingeleid, vertaald en geannoteerd door dr. A. Phalet (1981).
Bussum, Het wereldvenster.
Foundations of Arithmetic,
Oxford, Blackwell, 1986 (1884), 29-44.

@

Frege, G.

(1891):
Funktion und Begriff.
Lezing bij de bijeenkomst op 9 januari, 1891 van de Jenaischen Gesellschaft für Medizin und Naturwissenschaft,
Jena, 1891.

@

Frege, G.

(1892; 1960):
Über Sinn und Bedeutung,
In: ' Zeitschrift für Philosophie und philosophische Kritik ', C (1892): 25-50.

@

Frege, G.

(1892):
Über Begriff und Gegenstand,
In: ' Vierteljahresschrift für wissenschaftliche Philosophie ', XVI (1892): 192-205.

@

Frege, G.

(1892):
Kleine Schriften, 1892;
o.a. ' Ueber Sinn und Bedeutung '.

@

Frege, G.

(1893):
Grundgesetze der Arithmetik, Band I (1893);
Jena: Verlag Hermann Pohle.

@

Frege, G.

(1903):
Grundgesetze der Arithmetik, Band II (1903);
Jena: Verlag Hermann Pohle.

@

Frege, G.

(1904):
Was ist eine Funktion?,
In: ' Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage ',
February 20 1904, S. Meyer (ed.),
Leipzig, 1904, pp. 656-666.

@

Frege, G.

(1914):
Logic in der Mathematik.
In: ' Nachgel. S. ', p.224.

@

Frege, G.

(1918-19; 1967):
Der Gedanke. Eine logische Untersuchung.
In: ' Beiträge zur Philosophie des Deutschen Idealismus, I ' (1918-1919): pp.58-77.
In: ' Kleine Schriften ', 1967.

@

Frege, G.

(1918-19):
Die Verneinung,
In: ' Beiträge zur Philosophie des Deutschen Idealismus, I ' (1918-1919): pp.143-157.

@

Frege, G.

(1923):
Gedankengefüge,
In: ' Beiträge zur Philosophie des Deutschen Idealismus ' III (1923): 36-51.

@

Frege, Gottlob {1848-1925}

(1956):
The Thought: A Logical Inquiry.
Paper in: ' Mind ' ol. 65.

G



@

Galilei, Galileo

(1638; 1914; 1954):
Dialogues Concerning Two New Sciences.
Transl. Henry Crew and Alfonso de Salvio.
Dover Publications, 1954
(original transl. 1914; original work 1638.)

@

Gandy, Robin

(1980):
Church's Thesis and Principles for Mechanisms.
In: Barwise, J., Keisler, H.J., Kunen, K. (eds) 1980. 'The Kleene Symposium '.
Amsterdam: North-Holland.

@

Gandy, Robin

(1988):
The Confluence of Ideas in 1936.
In: Herken, Rolf (ed.) 1988. 'The Universal Turing Machine: A Half-Century Survey '.
Oxford: Oxford University Press. (pp. 55-111.)

@

Garey, Michael and David S. Johnson

(1979):
Computers and Intractability,
Freeman, New York.

@

Gauthier

(1997):
Logique et fondements des mathématiques.
Paris: Diderot Éditeur.

@

Gentzen

(1934):
Untersuchungen über dal logische Schließen.
In: ' Mathematische Zeitschrift ' 39: 176-210, 405-431.
French translation: 'Recherches sur la déduction logique ', 1955.

@

Gochet & Gribomont

(1990):
Logique, volume 1: Méthodes pour l'informatique fondamentale.
Paris: Hermès.

@

Gödel, Kurt Friedrich {1906-1978}

(1929; 1930):
Über die Vollständigkeit des Logikkalküls.
Doctoral dissertation,
University Of Vienna, 1929.
Sulla completezza del calcolo della logica, pp. 63-82.
Über die Vollständigkeit des Logikkalküls.
In: ' Die Naturwissenschaften ' (1930), 18, p. 1068.

@

Gödel, Kurt

(1930a):
Die Vollständigkeit der Axiome des logischen Funktionen-kalküls.
In: ' Monatshefte für Mathematik und Physik ' 37 (1930), pp. 349-360.
The Completeness of the Axioms of the Functional Calculus
In: Van Heijenoort (ed.) (1967):
From Frege to Gödel. A Source Book in Mathematical Logic (1879-1931). pp. 582-591.
Harvard University Press, Cambridge, 1967.
In: ' From Frege to Gġdel '.
Translated as:
The Completeness of the Axioms of the Functional Calculus of Logic.

@

Gödel, Kurt

(1930b):
Einige metamathematische Resultate über Entscheidungs-definitheit und Widerspruchsfreiheit.
In: ' Anzeiger der Akademie der Wissenschaften in Wien ', 67, pp. 214-215.
Alcuni risultati metamatematici su completezza e coerenza, pp. 111-112.

@

Gödel, Kurt

(1931; 1962; 1965):
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme 1.
In: ' Monatshefte für Mathematik und Physik ', 38, pp. 173-198.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I.
Translated by B. Meltzer. 1962.
University of Edinburgh.
Translated by Elliott Mendelson.
In: M. Davis (ed.) (1965):
The Undecidable.
Raven Press, New York.
In: Van Heijenoort (ed.) (1967):
From Frege to Gödel. A Source Book in Mathematical Logic (1879-1931). pp. 592-617.
Harvard University Press, Cambridge, 1967.
In: Feferman, S. (1984).
In: Shanker, S. G., ed. (1988):
Gödel's Theorem in focus,
Croom Helm, London, 1988.

@

Gödel, Kurt

(1931a):
Diskussion zur Grundlegung der Mathematik. Nachtrag.
In: ' Erkenntnis ', 2, pp. 147-151.

@

Gödel, Kurt

(1931b):
Besprechung von Ludwig Neder, 'Über den Aufbau der Arithmetik' (1931).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 1, pp. 5-6.

@

Gödel, Kurt

(1931c):
Besprechung von David Hilbert, 'Die Grundlegung der elementaren Zahlenlehre' (1931).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 1, p. 260.

@

Gödel, Kurt

(1931d):
Besprechung von Christian Betsch, 'Fiktionen in der Mathematik' (1926).
In: ' Monatshefte für Mathematik und Physik ', 38, p. 5.

@

Gödel, Kurt

(1931e):
Besprechung von Oskar Becker, 'Zur Logic der Modalitääten' (1930).
In: ' Monatshefte für Mathematik und Physik ', 38, pp. 5-6.

@

Gödel, Kurt

(1931f):
Besprechung von Helmut Hasse, Heinrich Scholz, 'Die Grundlagenkrisis der griechischen Mathematik' (1928) .
In: ' Monatshefte für Mathematik und Physik ', 38, p. 37.

@

Gödel, Kurt

(1931g):
Besprechung von Béla von Juhos, 'Das Problem der mathematischen Wahrscheinlichkeit' (1930).
In: ' Monatshefte für Mathematik und Physik ', 38, p. 39.

@

Gödel, Kurt

(1932a):
Zum intuitionistischen Aussagenkalkül.
In: ' Anzeiger der Akademie der Wissenschaften in Wien ', 69, pp. 65-66.

@

Gödel, Kurt

(1932b):
Über Vollstandigkeit und Widerspruchsfreiheit.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 3: pp.12-13, 1932.

@

Gödel, Kurt

(1932c):
Eine Eigenschaft der Realisierungen des Aussagenkalküls,
In: ' Ergebnisse eines mathematischen Kolloquiums ', 3, pp. 20-21.

@

Gödel, Kurt

(1932d):
Besprechung von Thoralf Skolem, 'Über einige Satzfunktionen in der Arithmetik' (1931).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 2, p. 3.

@

Gödel, Kurt

(1932e):
Besprechung von Rudolf Carnap, 'Die logizistische Grundlegung der Mathematik' (1931).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 2, p. 321.

@

Gödel, Kurt

(1932f):
Besprechung von Arend Heyting, 'Die intuitionistische Grundlegung der Mathematik' (1931).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 2, pp. 321-322;

@

Gödel, Kurt

(1932g):
Besprechung von John von Neumann, 'Die formalistische Grundlegung der Mathematik' (1931).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 2, p. 322.

@

Gödel, Kurt

(1932h):
Besprechung von Fritz Klein, 'Zur Theorie der abstrakten Verknüpfungen' (1931).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 2, p. 323.

@

Gödel, Kurt

(1932i):
Besprechung von Franz G. Hoensbroech, 'Beziehungen zwischen Inhalt und Umfang von Begriffen' (1931) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 3, p. 289.

@

Gödel, Kurt

(1932j):
Besprechung von Fritz Klein, 'Über einen Zerlegungssatz in der Theorie der abstrakten Verknüpfungen' (1931) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 3, p. 291.

@

Gödel, Kurt

(1932k):
Besprechung von Alonzo Church, 'A set of postulates for the foundation of logic' (1932).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 4, p. 145-146.

@

Gödel, Kurt

(1932l):
Besprechung von Láslzó Kalmár, 'Ein Beitrag zum Entscheidungsproblem' (1932).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 4, p. 146.

@

Gödel, Kurt

(1932m):
Besprechung von Edward V. Huntington, 'A new set of independent postulates for the algebra of logic with special reference to Whitehead and Russell's Principia Mathematica' (1932) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 4, p. 146.

@

Gödel, Kurt

(1932n):
Besprechung von Thoralf Skolem, 'Über die symmetrisch allgemeinen Lösungen im identischen Kalkül' (1932) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 4, p. 385.

@

Gödel, Kurt

(1932o):
Besprechung von Hugo Dingler, 'Philosophie der Logik und Arithmetik' (1931).
In: ' Monatshefte für Mathematik und Physik ', 39, p. 3.

@

Gödel, Kurt

(1933):
Über die Parrischen Axiome. 4, p. 6.

@

Gödel, Kurt

(1933a):
Über Unabhängigkeitsbeweise im Aussagenkalkül. 4, pp. 9-10.

@

Gödel, Kurt

(1933b):
Über die metrische Einbettbarkeit der Quadrupel des R3 in Kugelflächen.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 4, pp. 16-17.

@

Gödel, Kurt

(1933c):
Über die Waldsche Axiomatik des Zwischenbegriffes.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 4, pp. 17-18.

@

Gödel, Kurt

(1933d):
Zur Axiomatik der elementargeometrischen Verknüpfungs-relationen.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 4, p. 34.

@

Gödel, Kurt

(1933e):
Zur intuitionistichen Arithmetik und Zahlentheorie.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 4, pp. 34-38.

@

Gödel, Kurt

(1933f):
Eine Interpretation des intuitionistischen Aussagenkalküls.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 4, pp. 39-40.

@

Gödel, Kurt

(1933g):
Bemerkung über projektive Abbildungen.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 5, p. 1.

@

Gödel, Kurt

(1933h):
Diskussion über koordinatenlose Differentialgeometrie.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 5, pp. 25-26.

@

Gödel, Kurt

(1933i):
Zum Entscheidungsproblem des logischen Funktionenkalküls.
In: ' Monatshefte für Mathematik und Physik ', 40, pp. 433-443.

@

Gödel, Kurt

(1933j):
Besprechung von Stefan Kaczmarz, 'Axioms for arithmetic' (1932).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 5, p. 146.

@

Gödel, Kurt

(1933k):
Besprechung von Clarence I. Lewis, 'Alternative systems of logic' (1932).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 5, pp. 337-338.

@

Gödel, Kurt

(1933l):
Besprechung von Láslzó Kalmár, 'Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten' (1933) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 6, pp. 385-386.

@

Gödel, Kurt

(1933m):
Besprechung von Hans Hahn, 'Reelle Funktionen' (1932):
In: ' Monatshefte für Mathematik und Physik ', 40, pp. 20-22.

@

Gödel, Kurt

(1933):
The present situation in the foundations of mathematics.
In: 'Kurt Godel's Collected works III '.
Oxford, University Press, 1933, pp. 45-53.

@

Gödel, Kurt

(1934):
On undecidable propositions of formal mathematical systems.
Mimeographed lecture notes, taken by Stephen C. Kleene and J. Barkley Rosser at the Institute for Advanced Study.
Institute for Advanced Studies, Princeton (N.J.).
In: ' Kurt Godel's Collected works I ', Oxford University Press, Oxford, 1934, pp. 346-371.
Reprinted with revisions in: Davis, M. (ed.) 1965,
The Undecidable. Basic papers on undecidable propositions, unsolvable problems, and computable functions .
New York, Raven Press, Hewlett, 1965, Ch. 7, pp. 39-64.

@

Gödel, Kurt

(1934a):
Besprechung von Thoralf Skolem, 'Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem' (1933) . 7, pp. 97-98.

@

Gödel, Kurt

(1934b):
Besprechung von William V. O. Quine, 'A theorem in the calculus of classes' (1933).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 7, p. 98.

@

Gödel, Kurt

(1934c):
Besprechung von Thoralf Skolem, 'Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems' (1933a) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 7, pp. 193-194.

@

Gödel, Kurt

(1934d):
Besprechung von Kien-Kwong Chen, 'Axioms for real numbers' (1933).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 7, p. 385.

@

Gödel, Kurt

(1934e):
Besprechung von Alonzo Church, 'A set of postulates for the foundations of logic' (second paper) (1933) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 8, p. 289.

@

Gödel, Kurt

(1934f):
Besprechung von Bernard Notcutt, 'A set of axioms for the theory of deduction' (1934).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 9, p. 3.

@

Gödel, Kurt

(1935):
Besprechung von Thoralf Skolem, 'Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschlißlich Zahlenvariablen' (1934) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 10, 1935, p. 49.
Review of Skolem 1934.

@

Gödel, Kurt

(1935):

@

Gödel, Kurt

(1935a):
Besprechung von Edward V. Huntington, 'Independent postulates related to C. I. Lewis' 'theory of strict implication' (1934) .
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 10, p. 49.

@

Gödel, Kurt

(1935b):
Besprechung von Rudolf Carnap, 'Die Antinomien und die Unvollständigkeit der Mathematik' (1934).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 11, p. 1.

@

Gödel, Kurt

(1935c):
Besprechung von Laslzo Kalmar, 'Über einen Löwenheimschen Satz' (1934).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 11, pp. 3-4.

@

Gödel, Kurt

(1936):
Diskussionbemerkung.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 7, p. 6.

@

Gödel, Kurt

(1936a):
Über die Länge von Beweisen.
In: ' Ergebnisse eines mathematischen Kolloquiums ', 7, pp. 23-24.
On the length of proofs.
In: ' Kurt Godel's Collected works I ',
Oxford University Press, Oxford, 1936, pp. 397-9.

@

Gödel, Kurt

(1936b),
Besprechung von Alonzo Church, 'A proof of freedom from contradiction' (1935).
In: ' Zentralblatt für Mathematik und ihre Grenzgebiete ', 12, pp. 241-242.

@

Gödel, Kurt

(1936): Review of ,
In: ' Kurt Godel's Collected works I '.
Oxford University Press, Oxford, 1936, pp. 399-401.

@

Gödel, Kurt

(1938):
The consistency of the axiom of choice and of the generalized continuum hypothesis.
In: ' Proceedings of the National Academy of Sciences ', U.S.A., 24, pp. 556-557.

@

Gödel, Kurt

(1938, 1995):
Vortrag bei Zilsel.
In: Soloman Feferman et al, editor, 'Kurt Godel's Collected works ', 'Volume III: Unpublished essays and lectures ', pages 62-113.
Oxford University Press, 1995.
Text of a lecture given in Vienna, 29th January 1938.

@

Gödel, Kurt

(1939):
The consistency of the generalized continuum hypothesis,
In: ' Bulletin of the American Mathematical Society ', 45, p. 93.

@

Gödel, Kurt

(1939a):
Consistency proof for the generalized continuum hypothesis,
In: ' Proceedings of the National Academy of Sciences ', U.S.A., 25, pp. 220-224.

@

Gödel, Kurt

(1940):
The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory .
In: ' Annals of mathematics studies ', Vol. 3,
Princeton University Press, Princeton.

@

Gödel, Kurt

(1944):
Russell's mathematical logic.
In: Schlipp, P. A. (ed.), 'The philosophy of Bertrand Russell ',
'Library of Living Philosophers ', vol. 5,
Northwestern University Press, Evanston, pp. 123-153.

@

Gödel, Kurt

(1946):
Remarks before the Princeton Bicentennial Conference on problems in mathematics.
First ed. in: Davis, M. (ed.),
'The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions '.
Raven Press, Hewlett, 1965, pp. 84-88.

@

Gödel, Kurt

(1947):
What is Cantor''s continuum problem?.
In: ' American mathematical monthly ', 54, pp. 515-525.

@

Gödel, Kurt

(1949):
An example of a new type of cosmological solutions of Einstein''s field equations of gravitation.
In: ' Reviews of modern physics ', 21, pp. 447-450.

@

Gödel, Kurt

(1949a):
A remark about the relationship between relativity theory and idealistic philosophy.
In: Shlipp, P. A. (ed.), 'Albert Einstein, philosopher-scientist ',
'Library of Living Philosophers ', vol. 7,
Northwestern University Press, Evanston, pp. 555-562.

@

Gödel, Kurt

(1951, 1995):
Some basic theorems on the foundations of mathematics and their implications.
Gibbs lecture.
In: ' Kurt Gödel, Collected Works III ', pp. 304-323. 1995.
In: 'Unpublished Essays and Lectures '. S. Feferman et al (ed.).
Oxford University Press, New York.

@

Gödel, Kurt

(1952):
Rotating universes in general relativity theory.
In: ' Proceedings of the International Congress of mathematicians '.
Cambridge, Mass. U.S.A., August 30 - September 6, 1950,
American Mathematical Society, Providence (R.I.), pp. 175-181.

@

Gödel, Kurt

(1958):
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.
In: ' Dialectica ', 12, pp. 280-287.
Gödel, Kurt (1972):
On an extension of finitary mathematics which has not yet been used.

@

Gödel, Kurt

(1962):
Postscript to: Clifford Spector, 'Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics' .
In: Dekker, J.C.E. (ed.) 'Recursive function theory ',
'Proceedings of symposia in pure mathematics ', 5,
American Mathematical Society, Providence, p. 27.

@

Gödel, Kurt

(1964):
What is Cantor's continuum problem?.
In: Benacerraf, P., Putnam, H. (ed.), 'Philosophy of Mathematics: selected readings '.
Prentice-Hall, Englewood Cliffs/ Blackwell, Oxford, pp. 258-273.

@

Gödel, Kurt

(1972):
On an extension of finitary mathematics which has not yet been used.
To have appeared in: 'Dialectica '.
First published in Godel 1990 (28, pp. 271-280).

@

Gödel, Kurt

(1972a):
Some remarks on the undecidability results.

@

Gödel, Kurt

(1974):
Remark on non-standard analysis.
In: Robinson, A., 'Non-standard analysis ',
North-Holland, Amsterdam, 1966, 2 ed. 1974, p. X.

@

Gödel, Kurt

(1980):
On a hitherto unexploited extension of the finitary standpoint.
In: ' Journal of philosophical logic ', 9: pp.133-142, 1980.

@

Gödel, Kurt

(1986):
Collected works, Vol. I, Publications 1929-1936.
Edited by Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort
With a preface by Solomon Feferman.
Oxford University Press, New York, 1986;
The Clarendon Press, Oxford, 1986.
Annotatie: Duitse tekst met Engelse vertaling, inleiding en commentaar in het Engels.

@

Gödel, Kurt

(1990):
Collected works, Vol. II: Publications 1938-1974.
Edited by Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort.
Oxford University Press, 1990.

@

Gödel, Kurt

(1995): 'Collected works, Vol. III: Unpublisched essays and lectures ':
ed. S. Feferman, J.W. Dawson Jr., W. Goldfarb, C. Parsons, R.M. Solovay.
Oxford University Press, New York, 1995;
Clarendon Press, Oxford, 1995.

@

Gödel, Kurt

(1995):
The present situation in the foundations of mathematics.
In: Soloman Feferman et al (ed.),
Kurt Godel's Collected works, Vol. III: Unpublished essays and lectures, pages 36-53.
Oxford University Press, 1995.

@

Gödel, Kurt

(1995):
Undecidable diophantine propositions.
In: Soloman Feferman et al (ed.),
Kurt Godel's Collected works, Vol. III: Unpublished essays and lectures, pages 156-175.
Oxford University Press, 1995. W. V. Quine[2 Gödel 1933a: Introductory note to 1933a W. V. QuineÜber Unabhängigkeitsbeweise im AussagenkalkülOn independence proofs in the propositional calculusGödel 1933b: Introductory note to 1933b, c, d, g and h Judso
@

Gonseth, F.

(1939):
Philosophie Mathematique.

@

Grassman, H.

(1844):
Ausdehnungslehre.

@

Grassman, H.

(1860):
Lehrbuch der Mathematik für höhere Lehranstalten, I, Arithmetik.
Stettin.

@

Grize, J.-B.

(1960):

@

Grize, Jean-Blaise

(1969):
Logique moderne; 1.

@

Grize, Jean-Blaise

(1971):
Logique moderne; 2.

@

Grush, R. & Churchland, P.S.

(1995):
Gaps in Penrose's toilings.
In: ' Journal of Consciousness Studies ', 2, pp. 10-29.

H



@

Hamilton, W.R. {1805-1865}

(1853, 1866):

@

R.W. Hamilton

(1837):
Conjugate functions and on Algebra as the Science of pure Time.

@

Hankel, H.

(1835; 1867):
Vorlesungen uber die complexen Zahlen und ihren Functionen,
Herbart, J.F., 1835; Umriss .. p. 55.

@

Hankel, H.

(1867):
Theorie der complexen Zahlensysteme, pp. 54-55.

@

Hartley, Ralph V.L.

(1928):

@

Hartmanis, Juris

(1989):
Overview of computational Complexity Theory.
In: J. Hartmanis, ed., 'Computational Complexity Theory ',
American Mathematical Society, Providence, 1-17.

@

Haugeland

(1981):

@

Hayles, N.K.

(1999):

@

Hebb, D.O.

(1980):
An essay on mind.

@

Van Heijenoort, Jean, ed.

(1967):
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.
Ed. Jean van Heijenoort.
Harvard University Press, Cambridge, Massachusets 1967.
Third Printing, 1976.

@

Henkin

(1949):
The completeness in the first order functional calculus (Journal of Symbolic Logic, 14: 150-166)

@

Henkin

(1950):
Completeness in the theory of types (Journal of Symbolic Logic, 15(2): 81-91)

@

Herbart, J.F.

(1835):

@

Herbrand

(1928):
Sur la théorie de la démonstration
In: ' Comptes rendas hebdomadaires des séances de l'Académie des sciences, Paris, 186 : 1274-1276 '.
Translated as: 'On proof theory ';
In:Herbrand (1971); Goldfarb, Warren D., ed.: 'Logical Writings '.

@

Herbrand, J.

(1932):
Sur la non-contradiction de l'arithmetique.
In: ' Journal für die reine und angewandte Mathematik ', 166, 1-8.
Translated as: 'On the consistency of arithmetic ';
In: Van Heijenoort's 'From Frege to Gödel '.

@

Herbrand, Jacques

(1971):
Logical Writings.
Goldfarb, Warren D., ed.: 'Logical Writings '. Cambridge, Mass.: Harvard University Press, 1971

@

Heyting

(1929; 1930):
Die formalen Regeln der intuitionistischen Logik
In: ' Sitzungsberichte der PreuBischen Akademie der Wissenschaften zu Berlin, Physikalisch-mathematische Klasse ', 42-56, 57-71, 158-169, 1930.

@

Heyting

(1931):
Die intuitionistische Grundlegung der Mathematik
In: ' Erkenntnis ', 2: 106-115.

@

Heyting, A. (red.)

(1957):
Constructivity in mathematics:
'Proceedings of the colloquium held at Amsterdam. '
Noord Hollandse uitgevermaatschappij Amsterdam, 1957.

@

Hilbert, Davis

(1899):
Grundlagen der Geometrie.

@

Hilbert, Davis

(1904):
Über die Grundlagen der Logik and der Arithmetik
In: ' Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8 bis 13 August 1904, 174-185 '.
Translated as: 'On the Foundations of Logic and Arithmetic '.
In:J. van Heijenoort, 'From Frege to Gödel. A source Book in Mathematical Logic, 1979-1931 ', pp. 129-138.
Harvard University Press, Third Printing, 1976.

@

Hilbert, Davis

(1917/1918):
Prinzipien der Mathematik
Lecture Notes by Paul Bernays, Winter-Semester 1917-1918.
Unpublished typescript.
Bibliothek Mathematisches Institut, Universität Göttingen.

@

Hilbert, David

(1919):
Natur und mathematisches Erkennen.
Lecture given in the Winter term 1919.
The notes were written by Paul Bernays.
Reprint by:
Mathematical Institute of the University Göttingen, 1989.

@

Hilbert, David

(1925):
Über das Unendliche.
In: ' Mathematische Annalen ' (1926) 95: 161-190.
Translated as: 'On the infinite ';
In: ' From Frege to Gödel '.

@

Hilbert, Davis

(1927):
Die Grundlagen der Mathematik
In: ' Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6: 65-85.'
Translated as: 'The foundations of mathematics '
In: ' From Frege to Gödel '.

@

Hilbert, Davis and Ackermann, W.

(1928/1938; 1950):
Grundzüge der theoretischen Logik.
Berlin: Springer-Verlag.
English translation of the 2nd edition:
Principles of Mathematical Logic, 1950,
Chelsea Publishing Company, New York.

@

Hilbert, David, & Paul Bernays

(1934; 2001):
Grundlagen der Mathematik I,
Springer-Verlag, Berlin, 1934.
Translated in French as: 'Fondements des mathématiques ',
Paris: L'Harmattan, 2001.

@

Hilbert, David, & Paul Bernays

(1939; 2001):
Grundlagen der Mathematik II,
Springer-Verlag, Berlin, 1939.
Translated in French as: 'Fondements des mathématiques ',
Paris: L'Harmattan, 2001.

@

Hobbes, T.

{1588-1679} (1660):
Eximinatio et Emendatio Mathematicae Hodiernae. Qualis explicatur in Libris J.Wallisii . 4th Ed.
London.

@

Hodges, Andrew

(1983):
Alan Turing: The Engima, biography of Alan Turing (1912-1954).
1983 Burnett Books Ltd.
Simon and Schuster, New York.

@

Hofstädter, Douglas, R.

(1979):
Gödel, Escher, Bach: an Eternal Golden Braid.
Basic Books Inc., New York.

@

Hopcroft, John E.

(1984):
Turing Machines,
In: ' Scientific American ', 250(5), New York, 70-80.

@

Hopcroft, John & Jeffrey Ullman

(1979):
Introduction to Automata Theory, Languages and Computation,
Addison-Wesley, Reading Mass, 1979.

@

Hume, D.

(1748):

@

Husserl, E.

(1891/ 1970):
Philosophie der Arithmetik, I.
Den Haag, 1970.

@

Husserl, E.

(1900/ 1975; 1929):
Logische Untersuchungen, I, 199,
Den Haag

@

Husserl, E.

(1929):
Formale und tranzendentale Logik.

I



J



@

Jevons, William Stanley {1835-1882}

(1879):
The Principles of Science, p.156.

@

Jevons, William Stanley {1835-1882}

(1883):
The elements of logic.
New York: American Book Co., 1883.

K



@

Kalmar, L.

(1959):
An Argument Against the Plausibility of Church's Thesis.
In: Heyting, A. (ed.) 1959.
'Constructivity in Mathematics '.
Amsterdam: North-Holland, pp.72-80.

@

Kant, Immanuel/Imre

{1724-1804} (1763-64; 1960):
Observations on the Feeling of the Beautiful and Sublime.
Trans. John T. Goldthwait.
University of California Press, 1960.
(original 1763-64).

@

Kant, Immanuel/Imre

(1770):
De mundi sensibilis atque intelligibilis forma et principiis.

@

Kant, Immanuel/Imre

(1800):
Logik. Ein Handbuch zu Vorlesungen.
Ed. Hartenstein.
1800 Königsberg.
Herausg. E.Cassirer, Bd.VIII.

@

Kant, Immanuel/Imre

(1781; 1968):
Kritik der reinen Vernunft.
Critique of Pure Reason.
Trans. Norman Kemp Smith.
St. Martin's Press, 1968 (original 1781).

@

Kant, Immanuel/Imre

(1785; 1959):
Foundations of the Metaphysics of Morals.
Trans. Lewis White Beck.
Bobbs-Merrill Co., 1959 (original 1785).

@

Kant, Immanuel/Imre

(1790; 1987):
Critique of Judgment.
Trans. Werner S. Pluhar.
Hackett Pub. Co., 1987 (original 1790).

@

Karp, Richard

(1972):
Reducibility Among Combinatorial Problems.
In: ' Complexity of Computations ',
R.E. Miller and J.W. Thatcher, eds. (1972),
Plenum Press, New York, 85-104.

@

Keyser, C.J.

(1941):
Charles Sanders Peirce as a Pioneer.
In: ' Galois Lectures ';
'Scr. Math. Library ', No. 5, 1941, 87-112.

@

Kleene, Stephen C.

(1934):
Proof by cases in formal logic,
In: ' Annals of Mathematics ', vol. 35 (1934), pp. 529-44.

@

Kleene, Stephen Cole

(1935):
A Theory of Positive Integers in Formal Logic.
In: ' American Journal of Mathematics ', 57, 153-173, 219-244.
Baltimore.

@

Kleene, Stephen C.

(1935; 1936):
General recursive functions of natural numbers.
In: ' Bulletin of the American Mathematical Society ', vol. 41 (1935), p. 489.
In: ' Mathematische Annalen ', vol. 112 (1936), pp. 727-42.

@

Kleene, Stephen C.

(1935; 1936):
e-Definability and recursiveness.
In: ' Bulletin of the American Mathematical Society ', vol. 41 (1935), p. 490.

@

Kleene, Stephen C.

(1935):
A theory of positive integers in formal logic.
In: ' American Journal of Mathematics ', vol. 57 (1935), pp. 153-73, 219-44,

@

Kleene, Stephen C.

(1936):
General recursive functions of natural numbers.

@

Kleene, Stephen C.

(1936):
A note on recursive functions.
In: ' Bulletin of the American Mathematical Society ', vol. 42 (1936), pp. 544-546.

@

Kleene, S.C.

(1936):
Lambda-Definability and Recursiveness.
In: ' Duke Mathematical Journal ', 2, 340-353.

@

Kleene, Stephen Cole

(1950; 1952; 1988):
Introduction to Metamathematics.
Van Nostrand, Princeton, 1950.
Wolters-Noordhoff Publishing, Groningen, 1952.
Amsterdam, North-Holland Pub. Co., 1988 (original 1952).

@

Kleene, S.

(1956):
Representation of Events in Nerve Nets and Finite Automata.
In: ' Automata Studies ' (1956) eds. C. Shannon and J. McCarthy.

@

Kleene, Stephen Cole

(1967):
Mathematical Logic.
New York, John Wiley & Sons, 1967.

@

Kleene, Stephen C.

(1981):
Origins of recursive function theory.
In: ' Annals of Historical Computing ', vol. 3 (1981), no. 1, pp. 52-66.

@

Kleene, Stephen C. & J. Barkley Rosser

(1934-35):
The inconsistency of certain formal logics.
In: ' Bulletin of the American Mathematical Society ', vol. 41 (1935), p. 24.
(this abstract was received by the American Mathematical Society on November 16, 1934).
In: ' Annals of Mathematics ', vol. 36 (1935), no. 2, pp. 630-6.

@

Kolmogorov

(1925):
Translated as:
On the principle of excluded middle;
In: ' From Frege to Gödel '.

@

Kossak, E

(1872):
Die elemente der Arithmetik.
In: 'Programm des Friedrichs-Werder'schen Gymnasium '.
Berlijn.

@

Kreidler & Kreidler

(1976):
'Theory of Cognitive Orientation.

@

Kripke, Saul

(1965):
'Semantical analysis of intuitionistic logic I'.
In: J.N. Crossley and M.A.E. Dummett, editors (1965):
'Formal Systems and Recursive Functions', pp.92-130.
North-Holland: Amsterdam, 1965.

@

Kripke, Saul

(1980):
'Naming and Necessity'.
Cambridge, Mass.: Harvard University, 1980.

@

Kripke, Saul

(1982):
'Wittgenstein on Rules and Private Language'.
Cambridge, Mass.: Harvard University, 1982.

@

Kronecker, Leopold

(1894):
In: 'Vorlesungen über die Theorie der einfachen und der vielfachen Integrale.
Publisher: Netto, Eugen, Leipzig Teubner 1894.

L



@

Lakatos, I.; Worrall, J., Zahar, E.

, Eds. (1975):
'Proofs and Refutations'.
Cambridge: Cambridge University, 1975.

@

Lalement

(1990; 1993):
'Logique, réduction, résolution.
In: 'Études et recherches en informatique.
Publisher: Paris : Masson.
Translated as: 'Computation as logic.
Publisher: Englewood Cliffs, NJ: Prentice-Hall, 1993.

@

Largeault, J.

(1992):
'L'intuitionisme'.
In: 'Que sais-je?, 2684.
Publisher: Paris: Presses Universitaires de France.

@

Largeault, J.

, Ed. (1992):
'Intuitionnisme et théorie de la démonstration'.
Paris, Vrin, 1992.

@

Largeault, J.

(1993):
'La logique'.
In: 'Que sais-je?', 225.
Publisher: Paris: Presses Universitaires de France.

@

Leibniz, Gottfried Wilhelm

(1686; 1714; 1969):
Discourse on Metaphysics, original 1686.
Monadology, original 1714.
Philosophical Papers and Letters.
Ed. and Trans. by Leroy E. Loemker.
D. Reidel Publishing Co., second ed., 1969.

@

Leibniz, G.W.

(1703; 1704; 1981):
Nouveaux Essais sur l'Entendement Humain.
New Essays on Human Understanding.
Trans. Peter Remnant and Jonathan Bennett.
New York, Cambridge University Press, 1981
(original 1704).

@

Leibniz, G.W.

(1840):
Opera philosophica quae extant latina gallica germanica omnia.
Berlijn 1840.

@

Leibniz, G.W.

(1867):
In:Trendelenburg, Adolf (1867);
'Historische Beitrage zur Philosophie '.
Verlag von G. Bethge, Berlin.

@

Leibniz, G.W.

(1960):
Fragmente zur Logik,
Berlijn, p.27.

@

Leroux

(1998):
Introduction à la logique.
Bibliothèque des Sciences, Paris : Diderot Éditeur.

@

Lesniewski & Quine

(1968):
On Frege's Way Out.
In: ' Essays on Frege '.
ed. Klemke.

@

Levin, Leonid

(1973):
Universal search problems.
In: ' Problemy Peredachi Informatsii ', 9 (3), 265-266.
Partial English translation in:
Trakhtenbrot, B.A. (1984):
A Survey of Russian Approaches to Perebor (Brute-force Search) Algorithms.
In: ' IEEE Annals of the History of Computing ', 6(4); pp.384-400.
Los Alamitos, CA.

@

Lewis, David

(1969):

@

Lipschitz, R.

(1873; 1877):
Lehrbuch der Analysis,
Bonn.

@

Lloyd, Seth

(1995):
Quantum Mechanical Computers.
In: ' Scientific American ', (October 1995), pp. 140-145.

@

Locke, John {1632-1704}

(1690; 1975):
An Essay Concerning Human Understanding.
Ed. Peter H. Nidditch.
Oxford University Press, 1975
(original 1690).

@

Lorenzen, Paul

(1951):
Maß und Integral in der konstruktiven Analysis.
In: ' Mathematische Zeitung ' 54: 275.

@

Lorenzen, Paul

(1955):
Einführung in die operative Logik und Mathematik.
Berlin/Göttingen/Heidelberg 1955.

@

Lorenzen, Paul

(1962):
Metamathematik.
Mannheim, 1962.

@

Lorenzen, Paul

(1965):
Differential und Integral. Eine konstruktive Einführung in die klassische Analysis.
Frankfurt 1965.

@

Lorenzen, Paul

(1974):
Konstruktive Wissenschaftstheorie.
Frankfurt 1974.

@

Lorenzen, Paul

(1987):
Lehrbuch der konstruktiven Wissenschaftstheorie.
Zürich 1987, Stuttgart 2000.
ISBN 3-476-01784-2.

@

Lorenzen, Paul

(1983):
Elementargeometrie als Fundament der Analytischen Geometrie.
Mannheim/Zürich/Wien 1983.
ISBN 3-411-00400-2.

@

Löwenheim, Leopold {1878-1957}

(1915):
Über Möglichkeiten im Relativkalkül.
In: ' Math. Ann. ' 68 (1915), 169-207.
In: ' Mathematische Annalen ' 76: 447-470.
Translated as 'On possibilities in the calculus of relatives ';
in:van Heijenoort: 'From Frege to Gödel '.
Harvard Univ. Press, 1971.

@

Lukasiewicz

(1929):
Elementy logiki matematycznej.
Warsaw.
Translated as: 'Elements of mathematical logic '.
New York: Macmillan, 1963.

M



@

Mach, Erst

(1905):
Erkenntnis und Irrtum. vgl. evt. Einstein

@

MacKay, Donald M.

(1969):

@

Mahler,

(1996):

@

Malinowski, B.

(1935):

@

Markov, A.A.

(1960):
The Theory of Algorithms.
In: ' American Mathematical Society Translations ', series 2, 15, 1-14.

@

Maturana, Humberto & Varela Francisco

(1980):

@

Maor, Eli.

(1987; 1991):
To Infinity and Beyond: A Cultural History of the Infinite.
Princeton University Press, 1991 (original 1987).

@

Maxwell, J.C. {1831-1879}

(1865):

@

Mendelson, E.

(1963):
On Some Recent Criticism of Church's Thesis.
In: ' Notre Dame Journal of Formal Logic ', 4, 201-205.

@

Mendelson, Elliott

(1990):
Second thoughts about Church's thesis and mathematical proofs.
In: ' The Journal of Philosophy ', vol. 87 (1990), no. 5, pp. 225-33.

@

Mill, J.S.

{1806-1873} (1843):
System der deductiven und inductiven Logik.
System of Logic.
Schiel, J. (vert.).

@

Mill, J.S.

{1806-1873} (1865):
An Example of Sir William Hamilton's Philosophy.
1865 2d Ed. London : Longman, Green, Longman, Roberts & Green.

@

Miller, R.E. and J.W. Thatcher, eds.

(1972):
Plenum Press, New York, p.85-104.

@

Minsky, Marvin

(1967):
Computation, Finite and Infinite Machines.
Prentice-Hall, Inc., N.J.

@

Mitchell, O.H.

(2000):
In: G. Bradley (2000):
From Peirce to Skolem, p.77.

@

Mittelstaedt, P.

(1961):
Quantenlogik
In: ' Fortschritte der Physik ', 1961, pp.106-147.

@

Montague, R.

(1959):
Semantic Closure and Non-Finite Axiomatizability I.
In: ' Infinitistic Methods '.
'Proceedings of the Symposium on Foundations of Mathematics (Warsaw, 2-9 September 1959) '.
Oxford, England: Pergamon, pp. 45-69, 1961.

@

Moore, A.W.

(1990):
The Infinite.
Routledge, 1990.

@

Moores E.F.

(1952, 1953):
A Simplified Universal Turing Machine.
In: ' Proc. ACM ', Sept 1952, 1953.

@

Morris, C.W.

(1955):

@

Mundici, Daniele & Wilfried Sieg

(1955):
Paper machines.
In: ' Philosophia Mathematica ', vol. 3 (1995), pp. 5-30.

N



@

Nagel, Ernest & James R. Newman

(1958):
Godel's Proof.
New York, University Press, 1958.

@

Von Neumann, John

(1927):
Zur Hilbertschen Beweistheorie.
In: ' Mathematische Zeitschrift ', 26: pp. 1-46, 1927.
Reprinted in: Von Neumann, John (1961): 'Collected works ', vol. 1.

@

Von Neumann, John

(1958):

@

Von Neumann, John

(1961):
Collected works, volume 1.
Pergamon Press, 1961.

@

Newton, Isac

(1732):
Arithmetica Universalis.
Leiden.

@

Newman, J.R.

(1956):
The World of Mathematics.
New York, 1956.

@

North Whitehead, Alfred & Bertrand Russel

(1962):
Principia Mathematica
Cambridge at the University Press (1962).

@

Jean Nicod

(1924):
Le problème logique de l'induction.
Parijs 1961

@

Nyquist, H.

(1924):

O



@

Odifreddi, Piergiorgio

(1996):
Kreisel's Church.
In: ' Kreiseliana ' (P. Odifreddi, editor), A.K. Peters,
Wellesley, 1996, pp. 389-415.

@

Oeser, E.

(1969):
Begriff und Systematik der Abstraktion.
Wenen, München 1969.

P



@

Leonardo da Pisa

(1202):
Liber abaci.

@

Papadimitriou, Christos H.

(1994):
Computational Complexity.
Addison-Wesley, Reading, Mass.

@

Pavlov, I.P.

(1927);

@

Peacock, G.

(1834):

@

Peano, Giuseppe {1858-1932}

(1889):
Arithmetices Principa. Nova methodo eiposita.
In: ' Augustae Taurinorum ', Ed. Fratres Bocca. XVI, 20 p.
Translated
From Frege to Gödel;
as ' The principles of arithmetic '.

@

Peano, Giuseppe {1858-1932}

(1895; 1908; 1960):
Formulaire de mathématiques.
Formulario Mathematico. p.27.
Rome, 1960.

@

Peirce, C.S.

(1885):
On the Algebra of Logic; A Contribution to the Philosophy of Notation
In: American Journal of Mathematics 7: 180-202.

@

Peirce, Charles Sanders {1839-1914}

(1894):

@

Peirce, C.S.

(1905):

@

Peirce, C.S.

(1907):

@

Peirce, Charles Sanders

(1933):
Collected Papers.
Ed. Charles Hartshorne and Paul Weiss.
Vol. III, 1933.

@

Peirce C.S., & Jawstrow, J.

(1884):

@

Penrose, Roger

(1989; 1990):
The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics.
Oxford, England: Oxford University Press, pp. 47-49, 1989.
1990 (with corrections).
Cf: Chapter 2, 'Algorithms and Turing Machines '.

@

Pepis, Jozef

(1938):
Ein Verfahren der mathematischen Logik.
In: ' Journal of Symbolic Logic ', vol. 3 (1938), pp. 61-76.

@

Pepper, Stephen

(1960):

@

Pickover, Clifford A.

(1995):
Keys to Infinity.
John Wiley & Sons, 1995.

@

Poincaré, H.

(1892-99; 1967):
New Methods of Celestial Mechanics.
ISBN 1563961172.
(3 vols., 1892-99; Eng. trans., 1967)

@

Poincaré, H.

(1908):
Science et méthode.
Paris 1947.

@

Poincaré, H.

(1901):
Science and Hypothesis, 1901.

@

Poincaré, H.

(1904):
The Value of Science, 1904.

@

Poincaré, H.

(1908):
Science and Method, 1908.

@

Poincaré, H.

(1913):
Dernières pensées
(Eng., "Last Thoughts");
Edition Ernest Flammarion, Paris, 1913.

@

Poincaré, H.

(1905-10):
'Lessons of Celestial Mechanics '. (1905-10).

@

Post, Emil Leon {1897-1954}

(1921):
Introduction to a general theory of elementary propositions.
In: ' American Journal of Mathematics ', vol. 43 (1921), pp. 163-185.
Also in: ' From Frege to Gddel '.

@

Post, Emil

(1936):
Finite combinatory processes - Formulation I.
In: ' Journal of Symbolic Logic ', vol. 1 (1936), pp. 103-105.
Menasha, Wisconsin.
(Hodges p. 125)

@

Post, E.L.

(1943):
Formal Reductions of the General Combinatorial Decision Problem.
In: ' American Journal of Mathematics ', 65, 197-215.

@

Post, E.L.

(1946):
A Variant of a Recursively Unsolvable Problem.
In: ' Bulletin of the American Mathematical Society ', 52, 264-268.

@

Pour-El, M. B.

(1999):
The Structure of Computability in Analysis and Physical Theory: An Extension of Church's Thesis.
Ch. 13 in: 'Handbook of Computability Theory ' (Ed. E. R. Griffor).
Amsterdam, Netherlands: Elsevier, pp. 449-470, 1999.

@

Pour-El, M.B., & Richards, I.

(1979):
A Computable Ordinary Differential Equation Which Possesses No Computable Solution.
In: ' Annals of Mathematical Logic ', 17, 61-90.

@

Pour-El, M.B., & Richards, I.

(1981):
The Wave Equation with Computable Initial Data such that its Unique Solution is not Computable.
In: ' Advances in Mathematics ', 39, 215-239.

@

Pour-El, M.B. & Richards, J.I.

(1989):
Computability in Analysis and Physics.
Springer Verlag.

@

Putnam, Hilary

(1967):

@

Putnam, Hilary

(1971):
Philosophy of Logic (New York: Harper and Row)

@

Putnam, H.

(1975):

Q



@

Quine

(1940):
Mathematical Logic.
New York: W. W. Norton & company, inc.

@

Quine

(1963):
Set Theory and its Logic
Cambridge, Mass.: Belknap Press of Harvard University Press.

@

Quine

(1982):
Methods of logic.
Cambridge, Mass.: Harvard University Press.

R



@

Rado, T.

(1962):
On non-computable functions.
In: ' Bell Systems Tech. J. ', 41.

@

Ramsey

(1925):
The Foundations of Mathematics.
In: ' Proceedings of the London Mathematical Society ', series 2, 25: 338-384,
also in: F. P. Ramsey: 'Philosophical Papers ', Cambridge University Press, 1990.

@

F. P. Ramsey

(1990): 'Philosophical Papers ', Cambridge University Press, 1990

@

Reid, Louis Arnaud

(1965):
Philosophy and education: Introduction.
NY: Random House, 1965.

@

Richard, J.

(1904):

@

Rivenc

(1989):
Introduction à la logique.
Paris : Payot.

@

Robinson, Raphael Mitchel {1911-1995}

(1953):
Studies in logic and the foundations of mathematics.
Amsterdam: North-Holland Publishing Company.

@

Rogers, Hartley Jr.

(1967):
Theory of Recursive Functions and Effective Computability.
McGraw-Hill, New York.

@

Rosser, J.B.

(1939):

@

Royce, Josiah

(1959):
The One, The Many, and the Infinite.
Supplementary Essay in his: 'The World and the Individual, First Series '.
Dover Publications, 1959
(original 1899), pp. 473-588.

@

Rucker, Rudy

(1982):
Infinity and the Mind: The Science and Philosophy of the Infinite.
Birkh user, 1982.

@

Rucker, Rudy

(1978):
One of George Cantor's Speculations on Physical Infinities.
In: ' Speculations in Science and Technology ', (October 1978) pp. 419-421.

@

Russell, B.

(1897; 1956):
An Essay on the Foundation of Geometry.
New York.

@

Russell, B.

(1903):
Principles of Mathematics.
Cambridge: Cambridge University Press, 1903.
Norton, London, 1903. pp. ll5, 166, 219, 285, 305, 314-15, 497, 519.

@

Russell

(1908):
Mathematical logic as based on the theory of types.
In: ' American Journal of Mathematics ' 30: 222-262.
Reproduced in: 'From Frege to Gödel '.

@

Russell, B.

(1915):
Our knowledge of the external world as a field for scientific method in philosophy.
La Salle, Ill.: The Open Court Publishing Co., 1915.

@

Russell, B.

(1919; 1920):
Introduction to Mathematical Philosophy.
(2d ed.) New York: The Macmillan Co., 1920.

@

Russell, B.

(1927):
The analysis of matter.
New York: Harcourt, Brace & Co., Inc., 1927.

@

Russell, B. & Whitehead, A.N.

(1913):
Principia Mathematica.

@

Russell, B. & A.N. Whitehead

(1910, 1912, 1913):

@

Russell & Whitehead

(1910--1913):
Principia Mathematica (Cambridge: At the University Press)

@

Ruyer

(1990):
Logique.
Paris : Presses Universitaires de France.

S



@

Scarpellini, B.

(1963):
Zwei Unentscheitbare Probleme der Analysis.
In: ' Zeitschrift fur mathematische Logik und Grundlagen der Mathematik ', 9, 265-289.

@

Schneider, H.J.

(1970):
Historische und Systematische Untersuchungen zur Abstraktion.
Freburg im Breisgau.

@

Schonfinkel, M.

(1924):
Über die Bausteine der mathematischen Logik.
In: ' Mathematische Annalen ', 92, 305-316.
Translated as: 'On the building blocks of mathematical logic '.
In: $From Frege to Gödel '.'

@

Schor, Peter

(1994):
Algorithms for Quantum Computation: Discrete Log and Factoring.
In: ' Proceedings of the 35th Annual Symposium on the Foundations of Computer Science ', 'IEEE Computer Society ', 1994, pp. 124.

@

Schröder, Ernst

(1890):
Vorlesungen über die Algebra der Logik. Exakte Logik. Volume 1.
Leipzig. Verlag: B.G. Teubner.

@

Schröder, Ernst

{1841-1902} (1873):
Lehrbuch der Arithmetik und Algebra für Lehrer und Studirende Autor.
Leipzig. Verlag: B.G. Teubner.


@

Shakespeare, William

(1600; 1963):
Hamlet.
Ed. Edward Hubler.
New American Library, 1963 (original 1600).

@

Shannon, C.E.

(1948):

@

Shannon & Weaver

(1949):

@

Shannon & Weaver

(1969):

@

Shepherdson, J.C., Sturgis, H.E.

(1963):
Computability of Recursive Functions.
In: ' Journal of the ACM ', 10, 217-255.

@

Shoenfield, Joseph R.

(1967):
Mathematical logic.
Addison-Wesley, Reading, Massachusetts, 1967.

@

Sieg, Wilfried

(1994):
Mechanical procedures and mathematical experience.
In: ' Mathematicsand mind '
(A. George, editor).
Oxford University Press, Oxford, 1994, pp. 71-117.

@

Sieg, Wilfried

(1996):
Aspects of mathematical experience.
In: ' Philosophy of mathematics today '
(E. Agazzi and G. Darvas, editors).
Kluwer, 1996, pp. 195-217.

@

Sieg, Wilfried & John Byrnes

(1996):
K-graph machines: generalizing Turing's machines and arguments, Gödel '96.
(Petr H'ajek, editor),
In: ' Lecture Notes in Logic ', vol. 6,
Springer-Verlag, 1996, pp. 98-119.

@

Sieg, Wilfried & John Byrnes

(1997):
Gödel, Turing, and K-graph machines.

@

Siegelmann, H.T., Sontag, E.D.

(1992):
On the Computational Power of Neural Nets.
In: ' Proceedings of the 5th Annual ACM Workshop on Computational Learning Theory ', pp. 440-449.

@

Sigwart, C.

(1924):
Logik II,
Tubingen, p.42;

@

Singer, W., et al.

(1990):

@

Skinner, B.F.

(1957):


@

Skolem, Thoralf Albert

{1887-1963} (1920):
Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischen Sätze nebst einem Theoreme über dichte Mengen .
In: ' Videnskabsakademiet i Kristiania, Skrifter ' 1, No. 4, 1919, 1-36.
Translated as:
Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: a simplified proof of a theorem by L. Lüwenheim and generalizations of the theorem.
In: ' From Frege to Gödel '.

@

Skolem, T.A.

(1928):
Uber die mathematische Logik.
In: ' Norsk matematisk tidsskrift ' 10: 125-142.
Translated as: 'On mathematical logic ';
In: ' From Frege to Gödel '.

@

Skolem, T.A.

(1934):
Metamathematica.

@

Spinoza, Benedict

(1675; 1992):
Ethics, Treatise on the Emendation of the Intellect, and Selected Letters.
Transl. Samuel Shirley.
Hackett, 1992.

@

Spinoza, Baruch

(1677):
Ethica Ordine Geometrico Demonstrata, Lv. II, prop. VII.
(The Ethics)

@

Stannett, M.

(1990):
X-Machines and the Halting Problem: Building a Super-Turing Machine.
In: ' Formal Aspects of Computing ', 2, 331-341.

@

Stewart, I.

(1991):
Deciding the Undecidable.
In: ' Nature ', 352, 664-5.

@

Stricker, S.

(1883):
Studien über Association der Vorstellungen.
Wien. nano-fysiologie [2 . 2]

@

Stonier, Tom

(1990; 1991; 1996, p.138; 1997):

@

Suppes

(1957):
Introduction to Logic.
New York: Van Nostrand Reinhold Company.

@

Suppes

(1960):
Axiomatic Set Theory.
Princeton, N.J.: Van Nostrand.

T



@

Tarski, Alfred {1901-1983}

(1923):
On the Primitive Term of Logistic.
In: Tarski (1956):
Logic, Semantics, Metamathematics,
Oxford University Press, 1956.

@

Tarski, Alfred {1901-1983}

(1937; 1940; 1941):
Einführung in die mathematische Logik und in die Methodologie der Mathematik.
Springer, Vienna.
Introduction to Logic and to the Methodology of Deductive Sciences.
1st edn., Oxford University Press, New York, 1940.
Oxford, England, 1941
(and many subsequent editions).

@

Tarski, A.

(1944):
The Semantic Conception of Truth.
In: ' Philosophy and Phenomenological Research ', 4, 1944.

@

Tarski, A.

(1953):
Inleiding tot de Logica.
Amsterdam.

@

Tarski, A.

(1956; 2001):
Logic, Semantics, Metamathematics.
Oxford University Press, 1956, 2001.

@

Tarski, A.

(1953):
Undecidable theories.
In collaboration with Andrzej Mostowski and Raphael M. Robinson.
Amsterdam: North-Holland Pub. Co..

@

Thomae, J.

(1880):
Elementare Theorie der analytischen Functionen einer complexen Veranderlichen.
Halle: L. Nebert, 1880. 132 S.

@

Turing, Alan Mathison {1912-1954}

(1936-37; 1965):
On computable numbers, with an application to the Entscheidungsproblem.
'Landmark papers'.
In: 'Proceedings of the London Mathematical Society ', Series 2, vol. 42 (1936-37), pp. 230-265. .
Corrections in: 'Proceedings of the London Mathematical Society ', vol. 43 (1937), pp. 544-546.
In: ' The undecidable ', ed. Martin Davis, 116-154.
New York: Raven Press, 1965.

@

Turing, Alan M.

(1937):
Computability and definability.
In: ' Journal of Symbolic logic ', 2: pp. 153-163, 1937.

@

Turing, Alan M.

(1939):
Systems of logic based on ordinals.
In: ' Proceedings of the London Mathematical Society ', 2nd series, 45: pp.161-228, 1939.

@

Turing, Alan M.

(1948):
Intelligent Machinery.
In:Meltzer, B., Michie, D. (eds.) (1969):
'Machine Intelligence ', vol. 5 (1969): pp.3-23.
'National Physical Laboratory Report '.
Edinburgh: Edinburgh University Press.

@

Turing, A.M.

(1950):
Computing machinery and intelligence.
Mind LIX:433-460.

U



V



@

Vax

(1982):
Lexique logique.
Paris : Presses Universitaires de France.

@

Vilenkin, Naum Yakovlevich

{1920-1991} (1995):
In Search of Infinity.
Transl.: Abe Shenitzer.
1995 1st Ed. Boston, MA: Birkhauser.

W



@

Watson, J.B.

(1913):

@

Weizsäcker, C.F. von

(1974):

@

Whitehead

(1920):
The Concept of Nature.

@

Wiener, Norbert

(1961):

@

Wehl, H.

(1927; 1949):

@

Wittgenstein, Ludwig

(1878):
Remarks on the Foundations of Mathematics.
Oxford, p. 409.

@

Wittgenstein, Ludwig J.J.

(1921; 1953):

@

Wittgenstein, L.

(1958):

@

Wittgenstein

(1953, 1958a, 1978):

@

Wittmann, E.

(1978):
Piagets begriff der Gruppierung.
In: ' Die Psychologie des 20. Jahrhunderts ', VII, Zurich.

@

Wang, Hao

(1957):
A Variant to Turing's Theory of Computing Machines.
In: ' Journal of the ACM ', 4 (1): pp. 63-92, January 1957.

@

Wolfram, S.

(2002):
A New Kind of Science.
Champaign, IL: Wolfram Media, p. 1125, 2002.

@

Whitehead, Alfred North & Bertrand Russell

(1910):
Principia Mathematica.
Cambridge University Press, Cambridge.

X



Y



Z



@

Zeki, S.M.

(1992):

@

Zahn, Peter

(1978):
Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis.
Broschiert, 1978.

@

Zermelo, Ernst Friedrich Ferdinand {1871-1953}

(1908/ 1967, 1971):
Untersuchungen ueber die Grundlagen der Mengenlehre.
In: ' Math. Annalen ', 1908, Vol. 65, pp. 261-281.
Investigations in the foundations of set theory I.
See English translation in: Van Heijenoort, 1967.
See also comments by Stanley N. Burris.
Transl. in: Van Heijenoort (1971):
From Frege to Gödel,
Harvard Univ. Press, 1971.

@

Zermelo, Ernst Friedrich Ferdinand {1871-1953}

(1930):
Über Grenzzahlen und Mengenbereiche.
In: ' Fund. Math '. 16, 29-47, 1930.

@

Zermelo, E., ed.

(1932):
Über Stufen der Quantifikation und die Logik des Unendlichen.
In: ' Jahresbericht der Deutschen Mathematiker-Vereinigung ', 2. Abt., 41, 85-88.

@

Zermelo, E. ed.

(1932b):
Über mathematische Systeme und die Logik des Unendlichen.
In: ' Forschungen und Fortschritte ', 8, Nr. 1 v. 1. Jan. 1932, 6-7.