Referenze Bibliografiche
ARNAULD, A. e NICOLE, P., 1662, La logique ou l'art de penser, Savreux, Paris (trad. it `Logica o arte di pensare', in Grammatica e Logica di Port-Royal, a cura di R. Simone, Ubaldini, Roma, 1969).
BANACH, S. e
TARSKI, A.,
1924, `
Sur la décomposition des ensembles de points en parties respectivement congruentes',
Fundamenta Mathematicae, vol.
6, pp. 244-77. |
fulltext EuDML |
Zbl 50.0370.02 BROUWER, L. E. J.,
1924, `
Beweis, dass jede volle Funktion gleichmässigstetig ist',
Koninklijke Nederlandse Akademie van Wetenschappen Verslagen, vol.
27, pp. 189-93 (rist. in
L. E. J., Brouwer,
Collected works, a cura di
A. Heyting, vol. I,
North Holland, Amsterdam,
1975).. |
MR 532661 DEDEKIND, R., 1888, Was sind und was sollen die Zahlen, Braunschweig, Leipzig (trad. it. col titolo `Essenza e significato dei numeri' in R. Dedekind, Essenza e significato dei numeri. Continuità e numeri irrazionali, a cura di O. Zariski, Stock, Roma 1926, e col titolo `Che cosa sono e a che servono i numeri?' in R. Dedekind, Scritti sui fondamenti della matematica, a cura di F. Gana, Bibliopolis, Napoli 1982).
FREGE, G.,
1879,
Begriffschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens,
Nebert, Halle (trad. it. `
Ideografia. Un linguaggio in formule del pensiero puro a imitazione di quello aritmetico', in
G. Frege,
Logica e aritmetica, a cura di
C. Mangione, Torino,
Boringhieri,
1965). |
MR 197272 FREGE, G.,
1893-1903,
Grundgesetze der Arithmetik,
2 voll.,
Pohle, Jena (trad. it. parziale,
I principi dell'aritmetica, in
G. Frege,
Logica e aritmetica, a cura di
C. Mangione,
Boringhieri, Torino
1965). |
MR 197272 GÖDEL, K.,
1931, `
Über formal unentscheidbare Sätze der Principia matematica und verwandte Systeme I',
Monatshefte für Mathematik und Physik, vol.
38, pp. 173-198 (trad. it. `
Sulle proposizioni formalmente indecidibili dei Principia Mathematica e di sistemi affini I', in
K. Gödel,
Opere, vol. 1,
Bollati Boringhieri, Torino
1999). |
fulltext (doi) |
MR 1549910 GÖDEL, K., 1938, `The consistency of the axiom of choice and of the generalized continuum hypothesis', Proceedings of the National Academy of Sciences, U.S.A., vol. 24, pp. 556-7 (trad. it. `La coerenza dell'assioma di scelta e dell'ipotesi generalizzata del continuo', in K. Gödel, Opere, vol. 2, Bollati Boringhieri, Torino 2002).
GÖDEL, K.,
1940,
The consistency of the axiom of choice and of the generalized continuum hypothesis (note di George W. Brown),
Princeton University Press, Princeton (trad. it. `
La coerenza dell'assioma di scelta e dell'ipotesi generalizzata del continuo con gli assiomi della teoria degli insiemi', in
K. Gödel,
Opere, vol. 2,
Bollati Boringhieri, Torino
2002). |
MR 2514 GRELLING, K. e NELSON, L., 1908, `Bemerkungen zu den Paradoxien von Russell und Burali-Forti', Abhandlungen der Fries'schen Schule, vol. 2, pp. 301-34.
HILBERT, D.,
1926, `
Über das Unendliche',
Mathematische Annalen, vol.
95, pp. 161-90 (trad. it. `
Sull'infinito', in
D. Hilbert,
Ricerche sui fondamenti della matematica, a cura di
M. V. Abrusci,
Bibliopolis, Napoli,
1978). |
fulltext EuDML |
fulltext (doi) |
MR 1512272 LOLLI, G., 1992, Incompletezza. Saggio su Kurt Gödel, Il Mulino, Bologna.
LOLLI, G., 2002, Filosofia della matematica, Il Mulino, Bologna.
LOLLI, G., 2011, La guerra dei trent'anni, ETS, Pisa.
LOLLI, G.,
2013,
Nascita di un'idea matematica,
Edizioni della Normale, Pisa. |
Zbl 1270.03012 MACHTEY, M. e
YOUNG, P.,
1978,
An introduction to the general theory of algorithms,
North Holland, New York. |
MR 483344 |
Zbl 0376.68027 PEANO, G.,
1889,
Arithmetices principia, nova methodo exposita,
Bocca, Torino (rist. in
G. Peano,
Opere Scelte, vol. II,
Cremonese, Roma,
1958). |
MR 99903 |
Zbl 21.0051.02 PEANO, G.,
1906, `
Super theorema de Cantor-Bernstein',
Rendiconti del Circolo Matematico di Palermo, vol.
21, pp. 360-6, anche in
Revista de matematica, vol.
8, n. 5,
1902-1906, pp. 136-43 (rist. in G. Peano, Opere Scelte, vol. I, Cremonese, Roma, 1957). |
MR 99903 POINCARÉ, H.,
1905-06, `
Les mathématiques et la logique',
Revue de Métaphysique et de Morale, vol.
13, pp. 815-35, e vol.
14, pp. 17-34 e 294-317; semplificato e inserito in
H. Poincaré,
Science et méthode,
Flammarion, Paris,
1908 (trad. it.
Scienza e metodo,
Einaudi, Torino, 1997) in tre capitoli approssimativamente corrispondenti alle tre parti in cui è frazionato l'articolo. |
MR 3235806 RICHARD, J.,
1905, `
Les principes des mathématiques et le problème des ensembles',
Revue générale des sciences pures et appliquées, vol.
16, pp. 541-2. |
Zbl 36.0100.01 RUSSELL, B., 1903, The principles of mathematics, Allen and Unwin, London (trad it. I principi della matematica, Longanesi, Milano, 1951).
RUSSELL, B.,
1906, `
On some difficulties in the theory of transfinite numbers and order types',
Proceedings of the London Mathematical Society, vol.
4, pp. 29-53. |
fulltext (doi) |
MR 1576093 |
Zbl 37.0074.01 RUSSELL, B., 1908, `Mathematical logic as based on the theory of types', American Journal of Mathematics, vol. 30, pp. 222-62 (trad. it. parziale, `Logica matematica basata sulla teoria dei tipi', in B. Russell, Linguaggio e realtà, Laterza, Roma-Bari, 1970)
SKOLEM, T., 1920, `Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einer Theoreme über dichte Mengen', Videnskaps-selskapets Skrifter, I. Matematisk-Naturv. Klass, n. 4, 36 pp. (trad. it. parziale, `Ricerche logico-combinatorie sulla soddisfacibilità delle proposizioni matematiche unitamente a un teorema sugli insiemi densi', in Dalla logica alla metalogica, a cura di E. Casari, Sansoni, Firenze, 1979).
SKOLEM, T., 1922, `Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre', Mathematikerkongressen i Helsingfors den 4-7 Juli 1922, Den femte skandinaviska matematikerkongressen, Redogörelse, Akademiska Bokhandeln, Helsinki, 1923, pp. 217-232 (trad. it. `Osservazioni sulla fondazione assiomatica della teoria degli insiemi', in Il paradiso di Cantor. Il dibattito sui fondamenti della teoria degli insiemi, a cura di C. Cellucci, Bibliopolis, Napoli, 1979).
WEYL, H.,
1921, `
Über die neue Grundlagenkrise der Mathematik',
Mathematische Zeitschrift, vol.
10, pp. 39-79. |
fulltext EuDML |
Zbl 48.0220.01 WEYL, H.,
1927,
Philosophie der Mathematik und Naturwissenschaften,
Oldenburg, München (trad. it. dell'edizione inglese del
1949,
Filosofia della matematica e delle scienze naturali,
Boringhieri, Torino,
1967). |
MR 446863 ZERMELO, E.,
1908b, `
Untersuchungen über die Grundlagen der Mengenlehre I',
Mathematische Annalen, vol.
65, pp. 261-81 (trad. it. parziale, `
Ricerche sui fondamenti della teoria degli insiemi', in
I fondamenti della matematica da Dedekind a Tarski, a cura di
A. Cantini,
Loescher, Torino,
1979). |
fulltext EuDML |
MR 765376