Roots

Index

Web Links

 

Bibliography

Ackermann, W. 1959. Solvable cases of the decision problem. Amsterdam : North-Holland.

Barnsley, Michael F. 1988. Fractals Everywhere. San Diego : Academic Press.

Beth, Evert W. 1959. The Foundations of Mathematics. Amsterdam : North-Holland.

Bennaceraf, P and Putnam, Hilary (eds.). 1964. Philosophy of Mathematics : Selected Readings. Englewood Cliffs : Prentice-Hall.

Bernays, Paul. 1958. Axiomatic Set Theory. Amsterdam : North-Holland.

Black, Max. 1959. The Nature of Mathematics. Paterson : Littlefield Adams.

Bourbaki, Nicholas. 1958-64. Elements De Mathematique ( Vol I - XXIV ). Paris : Hermann.

Bouvere, K. L. De. 1959. A Method in Proofs of Undefinability. Amsterdam : North-Holland.

Church, Alonzo. 1937. Introduction to Mathematical Logic. New York : Dover.

Carnap, Rudolf. 1959. The Logical Syntax of Language. Paterson : Littlefield Adams.

Carnap, Rudolf. 1958. Introduction to Symbolic Language and its Applications. New York : Dover.

Carnap, Rudolf. 1950. The Logical Foundations of Probability. Chicago : University Press.

Cohen,Paul J. 1966. Set Theory and the Continuum Hypothesis. New York : W. A. Benjamin.

Davis, Martin (ed.). 1965. The Undecidable. NewYork : Raven Press.

Fraenkel, Abraham A. 1961. Abstract Set Theory. 2nd edn. Amsterdam : North-Holland.

Fraenkel, Abraham A. 1962. Foundations of Mathematics. Amsterdam : North-Holland.

Fraenkel, Abraham A. and Bar-Hillel, Y. 1958. Foundations of Set Theory. Amsterdam : North-Holland.

Frege, Gottlob. 1960. Foundations of Arithmetic. ( English translation ) New York : Harper & Bros.

Gdel, Kurt. 1967. ' On Formally Undecidable Propositions of Principia Mathematica and Related Systems I (1931) '. In Gdel's Theorem in focus, edited by S.G.Shanker. London : Croom Helm. (Reprinted from the translation by Jean van Heijenoort in : From Frege to Gdel : A Source Book in Mathematical Logic, 1879-1931. Jean van Heijenoort (ed.). Cambridge,Mass., Harvard University Press, 1967 )

Gdel, Kurt. 1931. ' On Formally Undecidable Propositions of Principia Mathematica and Related Systems I '. In The Undecidable, edited by Martin Davis. New York : Raven Press. (Translated specially for the anthology by Professor Elliott Mendelson of Queen's College, New York City )

Gdel, Kurt. 1965. ' On Undecidable Propositions of Formal Mathematical Systems '. In The Undecidable, edited by Martin Davis. New York : Raven Press. (Reprinted from mimeographed notes prepared by S.C.Kleene and J.B.Rosser on lectures given by Professor Kurt Gdel at the Institute for Advanced Study, Princeton, during the spring of 1934; prepared and edited specially for the anthology by Professor Kurt Gdel.)

Halmos, P.R.. 1960. Naive Set Theory. New York : Van Nostrand.

Hardy, G.H. 1960. A Course in Pure Mathematics. Cambridge, Cambridge University Press.

Hardy, G.H. 1956. A Mathematician's Apology. In The World of Mathematics. New York : Simon & Schuster.

Hardy, G.H. & Wright, E.M. 1960. An Introduction to The Theory of Numbers. Oxford, Clarendon Press.

Heyting, A. 1956. Intuitionism. Amsterdam : North-Holland.

Heyting, A. 1958. Constructivity in Mathematics. Amsterdam : North-Holland.

Hilbert, David and Ackermann, 1950. W. Principles of Mathematical Logic. New York : Chelsea.

Hofstadter, Douglas R. 1982. Gdel, Escher, Bach : An Eternal Golden Braid. Harmondsworth : Penguin Books.

Hofstadter, Douglas R. and Dennett, D.C. (eds.). 1981. The Mind's I. Harmondsworth : Penguin Books.

Hofstadter, Douglas R. and Rucker, R. 1982. Infinity and the Mind. Brighton, Sussex : Harvester Press.

Kneebone,G.T. 1963. Mathematical Logic and the Foundations of Mathematics. London : Van Nostrand.

Landau, E.G.H. 1951. Foundations of Analysis. New York : Chelsea.

Mendelson, Elliott. 1964. Introduction to Mathematical Logic. Princeton : Van Nostrand.

Newman, James R. 1956. The World of Mathematics. New York : Simon & Schuster.

Peitgen, H.-O. & Richter, P.H. 1986. The Beauty of Fractals. Berlin : Springer-Verlag.

Peitgen, H.-O. & Saupe, D. 1988. The Science of Fractal Images. Berlin : Springer-Verlag.

Quine, Willard V. 1953. From the logical point of view. Cambridge : Harvard University Press.

Quine, Willard V. 1963. Set Theory and its Logic. London :Oxford University Press.

Ramsey, F.P. 1960. The Foundations of Mathematics. Paterson : Littlefield Adams.

Rosser, J.B. 1953. Logic for Mathematicians. New York : McGraw Hill.

Rudin, Walter. 19__. Principles of Mathematical Analysis ( International Student Edition ). New York : McGraw-Hill & Tokyo : Kogakusha.

Rudin, Walter. 1966. Real and Complex Analysis. New York : McGraw-Hill.

Russell,Bertrand A.W. 19__. An Introduction to Mathematical Philosophy. London : George Allen & Unwin.

Russell,Bertrand A.W. 1940. An Inquiry into Meaning and Truth. London : Penguin.

Russell,Bertrand A.W. 1903. The Principles of Mathematics. London : Bradford & Dickens.

Russell,Bertrand A.W. 1956. The Foundation of Geometry. New York : Dover.

Shanker,S.G. (ed.). 1988. Gdel's Theorem in Focus. London : Croom Helm.

Suppes, P. 1960. Axiomatic Set Theory. New York : Van Nostrand.

Titchmarsh, E.C. 1961. The Theory of Functions. London : Oxford University Press.

Wang, Hao. 1964. A Survey of Mathematical Logic. Amsterdam : North Holland.

Wang, Hao. 1981. Popular Lectures on Mathematical Logic. New York : Van Nostrand, 1981 and Beijing : Science Press, 1981.

Whitehead, Alfred North and Russell,Bertrand A.W. 1962. Principia Mathematica. New York : Cambridge University Press.

Wilder, Raymond. 1965. Introduction to the Foundations of Mathematics. New York : John Wiley & Sons.

Index Title Preface Contents Section 1 Section 2

Section 3 Section 4 References Roots Bibliography Web_links

Beyond Gdel (2001)

(Updated : 10/11/01 1:57:50 AM by re@alixcomsi.com)