Wilhelm Ackermann (ackermann-w)

Citato nei seguenti articoli

Contributi a Philosophie.ch

Bibliography

Ackermann, Wilhelm. 1924. “Begründung des ‘tertium non datur’ mittels der Hilbertschen Theorie der Widerspruchsfreiheit.” Mathematische Annalen 93: 1–36.
Ackermann, Wilhelm. 1928a. “Zum Hilbertschen Aufbau der reellen Zahlen.” Mathematische Annalen 99: 118–133. Reprinted in van Heijenoort (1967, 493–507).
Ackermann, Wilhelm. 1928b. “Über die Erfüllbarkeit gewisser Zahlausdrücke.” Mathematische Annalen 100: 638–649.
Ackermann, Wilhelm. 1937. “Die Widerspruchsfreiheit der Allgemeinen Mengenlehre.” Mathematische Annalen 114: 305–315.
Ackermann, Wilhelm. 1940. “Zur Widerspruchsfreiheit der Zahlentheorie.” Mathematische Annalen 117: 162–194.
Ackermann, Wilhelm. 1950. “Widerspruchsfreier Aufbau der Logik I.” The Journal of Symbolic Logic 15: 33–57.
Ackermann, Wilhelm. 1954. Solvable cases of the decision problem. Studies in Logic and the Foundations of Mathematics n. 15. Amsterdam: North-Holland Publishing Co.
Ackermann, Wilhelm. 1956. “Begründung einer strengen Implikation.” The Journal of Symbolic Logic 21(2): 113–128.
Ackermann, Wilhelm. 1958. “Über die Beziehung zwischen strikter und strenger Implikation.” Dialectica 12(47–48): 213–222.
Ackermann, Wilhelm. 1961. “Grundgedanken einer typenfreien Logik.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 143–155. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
Hilbert, David and Ackermann, Wilhelm. 1928. Grundzüge der theoretischen Logik. Berlin: Springer Verlag.
Hilbert, David and Ackermann, Wilhelm. 1938. Grundzüge der theoretischen Logik. 2nd ed. Berlin: Springer Verlag. First edition: Hilbert and Ackermann (1928), doi:10.1007/978-3-662-41928-1.
Hilbert, David and Ackermann, Wilhelm. 1949. Grundzüge der theoretischen Logik. 3rd ed. Berlin: Springer. First edition: Hilbert and Ackermann (1928), doi:10.1007/978-3-642-52789-0.
Hilbert, David and Ackermann, Wilhelm. 1950. Principles of Mathematical Logic. New York: Chelsea Publishing Company. Translation of Hilbert and Ackermann (1938) by Lewis M. Hammond, George G. Leckie and F. Steinhardt, with revisions, corrections and added notes by Robert E. Luce.

Further References

van Heijenoort, Jan, ed. 1967. From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931. Cambridge, Massachusetts: Harvard University Press.