Àâòîðèçàöèÿ
Ïîèñê ïî óêàçàòåëÿì
Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic
Îáñóäèòå êíèãó íà íàó÷íîì ôîðóìå
Íàøëè îïå÷àòêó? Âûäåëèòå åå ìûøêîé è íàæìèòå Ctrl+Enter
Íàçâàíèå: Legacy of Mario Pieri in Geometry and Arithmetic
Àâòîðû: Marchisotto E.A., Smith J.T.
Àííîòàöèÿ: Mario Pieri (1860-1913) left a strong impact on many areas of 20th century mathematics. A prominent disciple of two Italian schools at the University of Turin, namely that of Segre (algebraic geometry) and Peano (logic), Pieri's own research influenced many 20th mathematicians in such fields as algebraic and differential geometry, inversive geometry, number theory, and logic.
The Legacy of Mario Pieri in Arithmetic and Geometry is the first of two volumes that together will provide a broad picture of Pieri's work. In this volume, English translations are given for two of Pieri's most important results: his postulates for arithmetic, which Peano judged superior to his own, and his foundation of elementary geometry on the basis of point and sphere, which Alfred Tarski used as a basis for his own system. Additionally, his papers are examined in relation to the research of others, notably Peano and Tarski.
ßçûê:
Ðóáðèêà: Ìàòåìàòèêà /
Ñòàòóñ ïðåäìåòíîãî óêàçàòåëÿ: Ãîòîâ óêàçàòåëü ñ íîìåðàìè ñòðàíèö
ed2k: ed2k stats
Ãîä èçäàíèÿ: 2007
Êîëè÷åñòâî ñòðàíèö: 420
Äîáàâëåíà â êàòàëîã: 14.05.2008
Îïåðàöèè: Ïîëîæèòü íà ïîëêó |
Ñêîïèðîâàòü ññûëêó äëÿ ôîðóìà | Ñêîïèðîâàòü ID
Ïðåäìåòíûé óêàçàòåëü
Castelnuovo, Enrico (1839–1915) 71
Castelnuovo, Guido (1865–1952) 71—72 119 263 410—411 422
Castelnuovo, Guido (1865–1952), algebraic geometry 52 107—108
Castelnuovo, Guido (1865–1952), concerning Enriques 25—29 406
Castelnuovo, Guido (1865–1952), concerning Pieri 44 49 157 160 381 398 399 442
Castelnuovo, Guido (1865–1952), concerning Turin 20 22—23 36 42.
Catalani, Alfredo (1854–1893) 4
Catania xviii 1 32—33 41
Catania, Sebastiano (1853–1946) 40 72 82 395—396 402 410 419 441 443 459
Catania, university 16 32—33 35 41 88 410 459
Categorical See under theory
Cauchy, Augustin Louis (1789–1857) 167 410
Cauchy, Augustin Louis (1789–1857), convergence criterion 292
Caviness, Bob F.(19??–) 352
Cayley, Arthur (1821–1895) 52 125
Center of anti-inversion 238
Center of arc 252
Center of circle 173
Center of circular ordering 253
Center of homothety 233
Center of semicircle 252
Center of symmetry 175
Centered figure 160
Central point See midpoint
Ceppi, Carlo Giulio (1829–1921) 332
Cesaro, Ernesto (1859–1906) 20 73 432
Chain in complex projective line 56 134—135 145
Chain in foundations of arithmetic 314
Chasles, Michel (1793–1880) 56 72—73 133 411 426
Chasles, Michel (1793–1880) on enumerative geometry 52 104 121
Chicago, University of 87 115
Chini, Mineo (1866–1933) 20 73 337 411
Chio, Felice (1813–1871) 82
Chirality 150
Chizzoni, Francesco (1848–1904) 22 32—34 40 73 384 398 459—460
Choice See under axiom
Church, Alonzo (1903–1995) 116 348 402 411
Chwia Kowsky, Zygmunt (????–????) 348 452
Chwistek, Leon (1884–1944) 451
Ciaccio, Francesco Paolo (1821–1901) 28
Ciampini, Maria Grazia (1942–) x 4 6 411 459
Ciani, Edgardo (1864–1942) 12 42 74 114 408
Ciani, Edgardo (1864–1942), rivalry with Pieri 22—23 29 32 36
Ciesielski, Krzystof (1957– ) 350 411
Cigna, Gianfrancesco (1734–1790) 18
Ciliberto, Ciro (1950–) See Brigaglia
Cipolla, Michele (1880–1947) 40 42 94 411
Circle in inversive geometry 57 138 141
Circle in Point and Sphere 160 173.
Circular See under transformation
class 163—164 249 269
Class, enumerable 254
Clausius, Rudolf Julius Emmanuel (1822–1888) 99
Clebsch, Rudolf Friedrich Alfred (1833–1872) 86 444
Coen, Salvatore (19??–) x 8 10 42 90 91 411
Coherent See under fundamental sequence
Cohn-Vosson, Stefan (1902–1936) 426
Coincidence formulas 376 396
Colajanni, Napoleone (1847–1921) 43 398
Collegium 11 16
collimation 169
Collinearity, definition, using betweenness 277 361
Collinearity, definition, using equidistance 152 154 169 280 357
Collinearity, definition, using motion 146 152 272
Collineation See under transformation
Colonialism See under Italy
Comitato International 461
Commissione giudicatrice 16
Communication among mathematicians 1 87 98 107 121 154
Commutativity 143 226 270 294 298
Compass, geometry of 263
Complete quadrilateral 131
Completeness of real numbers 151 293.
Complex of lines 377—378
Complex, analysis 125 140 142
Complex, Hirstian 378
Complex, number see under arithmetic
Complexity of axiom systems 156 273—274 276—277 283 285 287—288 350 353
Concave See under angle
Concorso 16
Cones, system of 377
Confocal varieties 51
conformal See under transformation
Congruence in algebraic geometry 53 376—378
Congruence of angles 149 274 278 280—281 338
Congruence of figures 146 148 150 161 249 272 278 338 348
Congruence of point pairs 155 216
Congruence of segments 149 206 274 278 280—281 338 351 353 357 394
Congruence of triangles 220. See also under equidistance; postulate; symbol; transformation
Congruence, SAS see under postulate
Conic section 52 121 376 378 393
Conjugation See harmonic conjugation
Conjunction See under symbol
Consequence 267
Conservation of number 104 112
Consistency See under natural-number arithmetic; projective geometry; theory
Contact point 167 200
Conte, Alberto (1942–) 81 411 427.
Continuity 278 289
Continuity, Dedekind 137 141 146 149 155 273 276 336 355
Continuity, elementary 355—356
Continuity, Weierstrass 285. See also under postulate; transformation
Continuous magnitude 291—292
Contro, Walter Salvator (1937–) 68 128 153—154 407 411
Control-systems theory, vii 52
Convergence criterion See under Cauchy
Convex angle see under angle
Convex figure 206
Coolidge, Julian Lowell (1873–1954) 133 139—140 142 412
Coordinates, Cartesian 57 276 278 282 288 354
Coordinates, homogeneous 60 93 128 277
Coordinates, pentaspherical 57
Coordinates, tetracyclic 57 140
Coplanarity 146 154 173 277 280
Corcoran, John (1937– ) 305 347 412 452
Corie, Helen Cullura (1911–2005) x
Correspondence 269
Correspondence principle 73 104 121 376
Correspondence, algebraic 52
Corry, Leo (1956– ) 351 412
Courant, Richard (1888–1972) 426
Couturat, Louis (1868–1914) 1900 Paris congress 1 36 281 321 341 381 423 440
Couturat, Louis (1868–1914) 1900 Paris congress, arithmetic 307
Couturat, Louis (1868–1914) 1900 Paris congress, correspondence 388 398 428 448
Couturat, Louis (1868–1914) 1900 Paris congress, geometry 58 145 327
Couturat, Louis (1868–1914) 1900 Paris congress, Leibniz 281 343 427
Couturat, Louis (1868–1914) 1900 Paris congress, life ix 74 218 404 412 415
Couturat, Louis (1868–1914) 1900 Paris congress, logic 304 316
Covariant 200 250
Cowan, Patricia M See PEARSON
Coxeter, Harold Scott MacDonald (1907–2003) x 129 131 142—143 145 361 412
Crelle, August Leopold (1780–1855) See journals: Journal fuer die reine und angewandte Mathematik
Cremona, Antonio Luigi Gaudenzio Giuseppe (1830–1903) 30 33 75 412—413 420 460
Cremona, Antonio Luigi Gaudenzio Giuseppe (1830–1903), algebraic geometry 12 14—15
Cremona, Antonio Luigi Gaudenzio Giuseppe (1830–1903), Pieri's chair quest 27—29. See also under transformation
Cremona, Tranquillo (1837–1878) 75
Crescenzi–Pacinotti, Istituto 8 100
Crispi, Francesco (1818–1901) 26
Croce, Benedetto (1866–1952) 90 119 366
Crowe, Michael J.(19??–) 53 413
Culmann, Karl (1821–1881) 99
Curto, Girolamo (1852–1917) 12
Curtze, Maximilian (1837–1903) 412—413
Curvature 51 375
Curve of constant illumination 51 375
Curve, algebraic vii 51 65 75 375—376 378 383
Curve, space-filling 334
Cut, Dedekind 76 293
Cutrone (Procuratore Generale comm., 18??–19??) 48
Cyclic order in Euclidean geometry 252 278 285
Cyclic order in inversive geometry 141
Cyclic order in projective geometry 128 130—131.
D'Amico, Francesco (1880–19??) 40 75 396—397 410 413
D'Angi?, Giuseppe Gioeni See Gioeni
D'Asburgo See Habsburg
D'Ovidio, Enrico (1843–1933) 20 21 49 78—79 97 332—333 405 414 418 450 460
D'Ovidio, Enrico (1843–1933), referee for chair competitions 22—23 26
D'Ovidio, Enrico (1843–1933), reviewer 57—58 131 145—146 148 151 375 377 380—381 437—438 440
D'Ovidio, Francesco (1849–1926) 79 97
Da Collina, Mareno (1960–) x
Da Collina, Mario (1921–) x
Dagnino (colonello cav., 18??–19??) 48
Dal Poggetto, Maria See Maria Pieri
Daniele, Pietro Ermenegildo (1875–1949) 96 413
Dante See Alighieri
Darboux, Gaston (1842–1917) 121 137 139—140 413 425
Darmstaedter, Ludwig (1846–1927) 2 398
Dauben, Joseph Warren (1944– ) 296 406 413
Davini, Marianna See Marianna Luporini
Davis, Philip J.(1923–) x
De Franchis, Michele (1875–1946) 36 42 44 77 89—90 450
De Paolis, Riccardo (1854–1892) 12 20 65 78 129 147 375—376 395 398 403 414 437 449
De Paolis, Riccardo (1854–1892), 1892 correspondences paper See under Mario Pieri
De Santis, Maria Gabriela (19??–) 11 16 414
De Stefani, Carlo (1851–1924) 70 414
Decidability of elementary geometry 351—352. See also under theory
Dedekind, Caroline Marie Henriette Emperius (1799–1882) 76 84
Dedekind, Julie Marie Sophie (1825–1914) 76
Dedekind, Julius Levin Ulrich (1795–1872) 76
Dedekind, Julius Wilhelm Richard (1831–1916) 76—77 295 306 404 409 413 415 419
Dedekind, Julius Wilhelm Richard (1831–1916), continuity and real numbers 76 263 273 289 293—294 305
Dedekind, Julius Wilhelm Richard (1831–1916), finiteness definition 290 296 300 314
Dedekind, Julius Wilhelm Richard (1831–1916), logic 299 301 305 307 315—316 319
Dedekind, Julius Wilhelm Richard (1831–1916), natural numbers 76 296 300—302 304 308 313—315 317—320 322 324 326.
Dedekind, Karl Adolf (1829–1909) 76
Dedekind, Richard See Julius Wilhelm Richard Dedekind
Deduction See consequence
Definability 331 358 360
Definiendum, definiens 265
Definition 265 302 341 358
Definition by abstraction 392
Definition, equality by see under equality
Definition, explicit 265
Definition, hypothesis of 265
Definition, implicit 127 265 267—268 307—308
Definition, nominal 265 268 306—307 392
Definition, real 265
Definition, recursive 298—300 314—315 319 324
Dehn, Max (1878–1952) 96 151 380 414—415 421 434 441 454 456
Del Re, Alfonso (1859–1921) 36 42 77 430
Del Re, Alfonso (1859–1921), rivalry with Pieri 22 23 25 27—29 31
Delogu, Pietro (1857–1932) 38 387 414 441
Denmark, mathematics in 121—122
Denton, William Wells (1882–1961) 456
Depression See economic depression
Desargues, Girard (1591–1661) See under theorem
Descending See progression
Descriptions, theory of 341
Descriptive geometry See under geometry
Design courses 11 34 46 332
Determinacy See under axiom
Di Borbone See Bourbon
Di Farnese See Farnese
Di Leonardo, Maria Vittoria (????– ) 323 325 328 414
Di Savoia , Di Savoja See Savoy
Di Sieno, Simonetta (19??–) 414 431
Diagrams See under geometry
Diametrically opposite points 194
Dickstein, Samuel (1851–1939) 124 398
Dieudonne, Jean Alexandre Eugene (1906–1992) 316 414—415
Differential and integral calculus 333 346
Differential and integral calculus, foundation for 76 291—293 300 335
Differential and integral calculus, multidimensional 53 397.
Differential equations 301 334
Differential geometry See under geometry
DIMENSION 186 277 283 287—288 334 358 360 362 394
Dini, Ulisse (1845–1918) 12 13 67 397—398 450 461
DIRECT See under isometry; motion
Dirichlet, Johann Peter Gustav Lejeune (1805–1859) 76
Disjunction See under symbol
Dissection 348 394
Distance 155 160 258 263 284—285
Distributivity 294
Doctorate, Italian 7 11.
Donati, Luigi (1846–1932) 10 98 417
Drucker, Thomas (19??–) 415
Duflot, Jeanne (19??–) 406
Dugac, Pierre (1926–2000) 77 314 415
Duporcq, Ernest (1873–1903) 422
Duren, Peter (1935–) 415
Ecole Normale Superieure 11
Economic depression ix 366 368—370
Economic unrest 17 44
Edge of angle or triangle 163 204—205
Edwards, Harold Mortimer, Junior (1936–) 415
Ehrenfeucht, Andrzej (1932–) 113
Ehrenfeucht, Krystina Tarski (1938–) 113 352
Eisele, Carolyn (1902–2000) 74 80 415
Elementary function See under function
Elementary geometry, Broden 68 153—154 407 412 436
Elementary geometry, Hilbert 58—59 148—151 274—277 288 350 421
Elementary geometry, Pieri vii 54 58 153—154 156—270 278—287 349 355—358 381 442
Elementary geometry, Tarski viii 58 288 350—356 368 394 452
Elicomozione See transformation: screw
Elliptic geometry See under geometry
Elliptic polar system See polar system
Emch, Arnold (1871–1959) 408 415
Emilia — Romagna xvii xix 7 11 16 44
Empty set 316
Encyclopedia of Elementary Mathematics (Italian) 65 327—329 404.
Encyclopedie des mathematiques pures et appliquees 46 87 430
Encyklopedie der mathematischen Wissenschaften 2 46 87 325 429
End of arc or semicircle 252
End of segment 195
Engel, Friedrich (1861–1941) 96 105—106 112 415 419 421—422 427 447
Enriques, Federigo (1871–1946) 24 42 72—73 79—80 107 398—399 410 460
Enriques, Federigo (1871–1946) on elementary geometry 123 128—129 133 153 160 278 285 287 368 415—416
Enriques, Federigo (1871–1946), correspondence with Castelnuovo 23 72 80 406
Enriques, Federigo (1871–1946), rivalry with Pieri 23 25—29 31—32 36 75 94 98 119 411.
Enumerable See under class
Enumerative geometry See under geometry
Equality by definition 163 265
Equality in logic 316—317 336 350—352
Equality of transformations 270. See also under symbol
Equidistance 153
Equidistance, quaternary 153 281 351 353—354 357—358 360—362
Equidistance, ternary vii 152—154 157 160—161 165 272 278 280 282 286 341—342 349—350 357—358 360—362 366 368
Equilaterality 362
Equinumerous sets 296
Equivalence, logical 163 348.
Erba, Giuseppe Bartolomeo (1819–1895) 332
Erdelyi, Arthur (1908–1977) 114
Erlanger Program See under Klein
Euclid (325?–265? B.C.) 95 102 125—126 147 149—151 288 291 338 369 416
Euclid (325?–265? B.C.) in Point and Sphere 167 175 180—183 185 187 192 199 206 209—210 222 224—228 230—233 262 263
Euclid (325?–265? B.C.), postulate see parallel postulate: Bolyai's
Euclidean See under field; geometry
Euler, Leonhard (1707–1783) 18 76 248 284 416
Ewald, Guenter (1929–) 143
Ewald, William Bragg (1954–) 291 409 413 416 422 445
Excess-intersection theory vii 52
Existential See under sentence
exponentiation 314 318—319
Extension of predicate 298—299 302 304
Extension of segment 200
External point to circle 195
External point to sphere 194
External point to triangle 205
Faa Di Bruno, Francesco (1825–1888) 107 332
Fabbi, Angelo (19??–) 44 46 110 117 416
Ðåêëàìà