Zusammenfassung
Es soll heute die Rede sein von Logik und Mathematik, und von den Antworten, welche diese Wissenschaften zur Frage: Was gibt es, was gibt es nicht? anzubieten haben.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aristoteles, The Basic Works of Aristoteles (edited by R. McKeon ), Random House, NY. 1941.
P. Bernays, Piatonismus in der Mathematik, (1934). In: Abhandlungen zur Philosophie der Mathematik, WBG Darmstadt, 1976, 62–91.
P. Bernays, Abhandlungen zur Philosophie der Mathematik, WBG Darmstadt, 1976.
G. Boole, An Investigation of the Laws of Thought, London 1854.
N. Bourbaki, Eléments d’Histoire des Mathématiques, Hermann, Paris 1969.
G. Cardano, Ars Magna, 1545. Ubersetzt von T. T. R. Wittner: The Great Art. MIT Press, Cambridge 1968.
A. Church and J. B. Rosser, Some properties of conversion. Transactions American Math. Soc., 39 (1936), 472–482.
G. E. Collins and R. Loos, Real zeros of polynomials. Computing, Suppl. 4 (1982), 83–94.
H. B. Curry, Grundlagen der kombinatorischen Logik (Inaugural dissertation). Amer. J. Math. 52 (1930), 509–536, 789–834.
H. B. Curry and R. Feys, Combinatory Logic, Vol. I, North-Holland, Amsterdam, 1958. — H. B. Curry, J. R. Hindley and J. P. Seldin, Combinatory Logic, Vol. II, North-Holland, Amsterdam, 1972.
R. Dedekind, Was sind und was sollen die Zahlen, (1888). In: R. Dedekind, Gesammelte Werke, Bd. 3, 335–391.
R. Dimitric and B. Goldsmith, Sir William Rowan Hamilton, The Mathematical Intelligencer, 11 (1989), 29–30.
E. Engeler und A. P. Speiser, Zur Analogie zwischen einer elektronischen Rechenmaschine und dem Gehirn. Viertelj.-Schrift d. Natf. Ges. Zürich, 109 (1964), 81–84.
E. Engeler, A computer model of strict finitism. In: Engeler, Algorithmic Properties of Structures. WPC Singapore 1993.
E. Engeler et al., A Combinatory Programme. To be published by Birkhäuser, Basle, 1994.
Euklid, Die Elemente, Buch I — XIII, Ubersetzung nach Heiberg von C. Thaer, WBG Darmstadt 1991.
Europ. Enzyklopädie z. Philos, d. Wissenschaften, Meiner, Hamburg 1990.
G. Frege, Wissensch. Briefwechsel. Meiner, Hamburg 1976.
B. Hajek, Cooling Schedules for optimal annealing. Math. Operations Research, 13 (1988), 311–329.
M. Minsky und S. Papert, Perceptrons. MIT Press, Cambridge 1969.
H. G. Rice, Classes of recursively enumerable sets and their decision problems, Trans. Am. Math. Soc., 74 (1953), 358–366.
B. Russell, The Autobiography of Bertrand Russell, 3 vols., Little Brown & Co., Boston 1967.
S. Stevin, L’Arithmétique. Leyden 1585.
A. Tarski, A decision method for elementary algebra and geometry. UC Press, Berkeley 1951.
B. L. van der Waerden, A History of Algebra. Springer, Berlin 1985.
K. von Fritz, The discovery of incommensurability by Hippasus of Metapontum. Annals of Mathematics, 46 (1945) 242–264.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Engeler, E. (1995). Existenz und Negation in Mathematik und Logik. In: Collegium Logicum. Collegium Logicum, vol 1. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9394-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9394-5_4
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82646-1
Online ISBN: 978-3-7091-9394-5
eBook Packages: Springer Book Archive