l-mode3.txt da l-mode0.htm DATI SUI SEI VOLUMI DI MATEMATICHE ELEMENTARI DI MODESTO DEDO` a cura di Gabriele Lucchini 1 - DATI EDITORIALI - i volumi A e B sono senza data - nel volume F, Complementari ha l'iniziale maiuscola - sono state apportate piccole variazioni formali - --- indica la collocazione nella biblioteca del Dipartimento di Matematica A) MATEMATICHE ELEMENTARI DAL PUNTO DI VISTA SUPERIORE Appunti per le lezioni svolte nell'Universita` di Napoli al corso di perfezionamento per laureati in matematica vol. I - Costruzioni geometriche Napoli - Liguori - 1957 (?) - pagg. 146 --- D92.1957.1 B) MATEMATICHE ELEMENTARI DAL PUNTO DI VISTA SUPERIORE Appunti per le lezioni svolte nell'Universita` di Napoli al corso di preparazione professionale per laureati in matematica vol. II - Massimi e minimi dal punto di vista elementare Sistemi di cerchi e sfere Napoli - Liguori - 1958 (?) - pagg. 196 --- D92 1957.2 C) MATEMATICHE ELEMENTARI Appunti per le lezioni svolte nell'Universita` di Napoli al corso di preparazione professionale per laureati in matematica vol. I - Risoluzione sintetica dei problemi di geometria elementare Risolubilita` elementare dei problemi geometrici Massimi e minimi dal punto di vista elementare Sistemi di cerchi e sfere II edizione Napoli - Napoli - 1962 - pagg. 332 --- XX.1 D) MATEMATICHE ELEMENTARI Appunti per le lezioni svolte nell'Universita` di Milano al corso di Matematiche complementari vol. II - Rudimenti di logica matematica Fondamenti di aritmetica Fondamenti di geometria Napoli - Liguori - 1969 - pagg. 398 --- XX.2.1 E) MATEMATICHE ELEMENTARI Appunti per le lezioni svolte nell'Universita` di Milano al corso di Matematiche complementari vol. II - Rudimenti di logica matematica Fondamenti di aritmetica Fondamenti di geometria II edizione Napoli - Liguori - 1971 - pagg. 406 --- D91.1971.1 F) MATEMATICHE ELEMENTARI Appunti per le lezioni svolte nell'Universita` di Milano al corso di Matematiche Complementari vol. II - Rudimenti di logica matematica Fondamenti di aritmetica Fondamenti di geometria Nuova edizione Napoli - Liguori - 1979 - pagg. 441 --- XX.2.4 2a - INDICI DEI TESTI A, B, C -- / indica variazioni di numerazione di capitoli A B C I. Risoluzione sintetica dei problemi di geometria elementare (Metodi ed esempi caratteristici) Bibliografia 5 3 Introduzione 6 5 1. Metodo dei luoghi geometrici 7 7 2. Metodo degli invilupppi 16 17 3. Metodo della trasformazione della figura 20 21 4. Metodo di falsa posizione, o dei tentativi 49 49 II. Risolubilita` elementare dei problemi geometrici Bibliografia 53 53 Introduzione 53 53 1. Costruzioni con la sola riga 55 56 2. Costruzioni con la riga e il compasso 61 61 3. Costruzione con il solo compasso 63 64 4. Costruzioni con altri strumenti 72 4/5. Risolubilita` elementare delle equazioni algebriche 72 78 5/6. Digressione sulla risoluzione delle equazioni di II, III, IV grado 79 86 6/7. La ciclotomia 86 95 7/8. Digressione sulla teoria dei numeri 107 112 8/9. Complementi di teoria dei numeri 125 129 III. Massimi e minimi dal punto di vista elementare Bibliografia 3 147 Introduzione 3 147 1. Massimi e minimi notevoli 6 1. I massimi e minimi notevoli 149 2. Massimi e minimi in geometria elementare 38 178 IV. Sistemi di cerchi e sfere Bibliografia 73 211 Introduzione 74 211 1. Trattazione analitica 76 213 2. Sfere e loro sistemi lineari 117 253 3. Trattazione sintetica elementare 131 266 4. Complementi alla trattazione sintetica 147 282 5. La geometria astratta e i sistemi di cerchi e sfere. Proiezione stereografica della sfera 165 299 6. Sistemi non lineari di cerchi e sfere 179 313 2b - INDICI DEI TESTI D, E, F -- / indica variazioni di numerazione di capitoli D E F I. Rudimenti di logica matematica Bibliografia 5 5 1 Introduzione 7 7 3 1. Nozioni introduttive 9 9 7 2. La sintassi della logica degli enunciati 14 14 10 3. La semantica della logica degli enunciati 49 51 45 4. La logica dei predicati del primo ordine 70 75 71 5. Estensioni della logica dei predicati del primo ordine 87 93 89 II. Fondamenti di aritmetica Bibliografia 97 105 99 Introduzione 99 107 100 1. Teoria degli insiemi e algebre di Boole 101 109 102 2. I numeri cardinali 133 141 136 3. I numeri naturali secondo Peano 167 175 179 4. Indecidibilita` della aritmetica formale 207 4/5. I numeri interi e i numeri razionali 194 202 223 5/6. I numeri reali 220 228 252 7. I numeri complessi 311 III. Fondamenti di geometria Bibliografia 279 287 317 Introduzione 281 289 319 1. Gli "Elementi" di Euclide 283 291 321 2. I "Grundlagen" di Hilbert 291 299 329 3. Geometrie non euclidee 315 323 354 4. Estensione delle figure poligonali e poliedrali 358 366 401 3a - BIBLIOGRAFIA DEI TESTI A, B, C -- sono state apportate piccole variazioni formali -- nelle bibliografie dei volumi A, B, C solo di alcuni autori sono date le - iniziali dei nomi -- 1 e 2 per Enriques sono aggiunti qui A B C Risoluzione sintetica dei problemi ... Petersen 1 1 Sabbatini 2 2 Campedelli 3 3 Agostini 4 4 Coxeter 5 Eves 6 Risolubilita` elementare dei problemi geometrici Lebesgue 1 1 Enriques 1 2 2 Calapso 3 3 Massimi e minimi dal punto di vista elementare Enriques 2 1 1 Togliatti 2 2 Courant e Robbins 3 3 Sistemi di cerchi e sfere Sabbatini 1 1 Colombo 2 2 Biggiogero 3 3 Trattati di Geometria Analitica # 4 4 A. AGOSTINI I problemi geometrici elementari e i problemi classici. Enciclopedia delle Matematiche elementari, vol. II, parte I, art. XXIX, Milano, Hoepli, 1937. G. BIGGIOGERO Sistemi di circoli. Periodico di Matematiche, IV, XII (1932), n. 1, pag. 17. Ancora sui sistemi di circoli. Periodico di Matematiche, IV, XII (1932), n. 2, pag. 87. R. CALAPSO Problemi risolubili con riga e compasso e problemi classici. M. Villa, Repertorio di Matematiche, Padova, CEDAM, 1951. L. CAMPEDELLI I metodi sintetici per la risoluzione dei problemi di geometria piana. M. Villa, Repertorio di Matematiche, Padova, CEDAM, 1951. B. COLOMBO Sistemi lineari di cerchi e di sfere. Enciclopedia delle Matematiche elementari, vol. II, parte I, art. XXVII, Milano, Hoepli, 1937. R. COURANT e H. ROBBINS Che cos'e` la matematica?, Cap. VII. Einaudi, 1950, pag. 486. H.S.M COXETER Introduction to Geometry. Wiley, 1961. F. ENRIQUES 1 Questioni riguardanti le matematiche elementari, parte II, art. XV, XVI, XVII, Bologna, Zanichelli, 1926. F. ENRIQUES 2 Questioni riguardanti le matematiche elementari, parte III, art. XXV, XXVI, XXVII, Bologna, Zanichelli, 1927. H. EVES A Survey of Geometry. Allyn and Bacon, vol. I 1961, vol. II 1965. H.-L. LEBESGUE Lecons sur les constructions ge'ome'triques. Paris, Gauthier-Villars, 1946. J. PETERSEN Constructions ge'ome'triques. Paris, Gauthier-Villars, 1946. A. SABBATINI Sui metodi elementari per la risoluzione dei problemi geometrici. F. Enriques, Questioni riguardanti le matematiche elementari, parte II, art. XIII, Bologna, Zanichelli, 1926. E. G. TOGLIATTI Massimi e minimi. Enciclopedia delle Matematiche elementari, vol. II, parte II, art. XXXI, Milano, Hoepli, 1938. # La maggior parte dei trattati di Geometria Analitica considera, piu` o meno estesamente, i sistemi lineari di cerchi e sfere. 3b - BIBLIOGRAFIA DEI TESTI D, E, F -- sono state apportate piccole variazioni formali -- 1 e 2 per Hilbert sono aggiunti qui -- le sedi della Teubner sono: Leipzig per le prime due edizioni; Leipzig und -- Berlin per le cinque successive; Stuttgart per le altre. -- gli unici testi citati anche in 3a sono quello di Coxeter e quello di Eves, -- entrambi con date diverse tra le due citazioni D E F Rudimenti di logica matematica * Casari 1 1 1 Stoll 2 2 2 Lyndon 3 3 Mendelson 3 Carruccio 4 4 Fondamenti di aritmetica Landau 1 1 1 Eves - Newson 2 2 2 Stoll 3 3 3 Halmos 4 4 Fondamenti di geometria Heath 1 1 1 Hilbert 1 2 2 Hilbert 2 2 Forder 3 3 3 Eves 4 4 4 Coxeter 5 E. CARRUCCIO Mondi della logica. Bologna, Zanichelli, 1971. E. CASARI Lineamenti di logica matematica. Milano, Feltrinelli, 1959. H.S.M. COXETER Introduction to Geometry. New York, Wiley, 1969. H. EVES A Survey of Geometry. Boston, Allyn and Bacon, 1958. H. EVES and C.V. NEWSON An introduction to the foundations and fondamental concepts of Mathematics. New York, Holt, Rinehart and Wintson, 1958. H.G. FORDER The foundations of euclidean geometry. New York, Dover publ., 1958. P.R. HALMOS Teoria elementare degli insiemi. Milano, Feltrinelli, 1970. T.L. HEATH The thirteen books of Euclid's elements. New York, Dover publ., 1956. D. HILBERT 1 Grundlagen der Geometrie. Berlin, Teubner (varie edizioni). E` anche annunciata una traduzione italiana presso l'editore Feltrinelli, Milano. D. HILBERT 2 Grundlagen der Geometrie. Berlin, Teubner (varie edizioni). Ed. it.: Fondamenti di Geometria. Feltrinelli, Milano, 1970. E. LANDAU Grundlagen der Analysis. Leipzig, Akad. Verl., 1930. Ed. inglese: Foundations of Analysis. R.C. LYNDON Notes on logic. Princeton, Van Nostrand, 1966. E. MENDELSON Introduction to Mathematical Logic. Van Nostrand, 1964. Ed. it.: Boringhieri, 1972. R.R. STOLL Set theory and logic. San Francisco, Freeman and Company, 1963. * in LOGICA MATEMATICA (Appunti per gli studenti dell'Universita` di Milano - 1971-1972 - Litografia Cislaghi, Rozzano, --- XV 8.1) sono indicati: 1) E. MENDELSON citato 2) S.C. KLEENE Mathematical Logic. Wiley, 1967. 3) J.R. SHOENFIELD Mathematical Logic. Addison-Wesley, 1967. E` precisato che: -- La trattazione delle teorie formali del primo ordine si discosta poco (a parte il simbolismo) da quella presentata in 1. -- Il problema della T-computabilita` e` trattato, con vari rimaneggiamenti, in modo analogo a quanto e` svolto in 2. -- La presentazione delle funzioni ricorsive si ispira a 3.