Remarks on the axiomatization of plane geometry
Pokroky matematiky, fyziky a astronomie (2018)
- Volume: 63, Issue: 1, page 51-67
- ISSN: 0032-2423
Access Full Article
topAbstract
topHow to cite
topHalas, Zdeněk. "Poznámky k axiomatizaci planimetrie." Pokroky matematiky, fyziky a astronomie 63.1 (2018): 51-67. <http://eudml.org/doc/294559>.
@article{Halas2018,
abstract = {Axiomatická metoda je považována za hlavní metodu, kterou je dnes matematika formalizována. Není však jedinou, navíc prošla v průběhu tisíciletí poměrně pestrým vývojem. V tomto příspěvku se pokusíme na základě charakterizace různých typů formalizace matematiky zařadit nejznámější pokusy o axiomatizaci eukleidovské geometrie, zejména Eukleidův, Hilbertův a Birkhoffův.},
author = {Halas, Zdeněk},
journal = {Pokroky matematiky, fyziky a astronomie},
language = {cze},
number = {1},
pages = {51-67},
publisher = {Jednota českých matematiků a fyziků},
title = {Poznámky k axiomatizaci planimetrie},
url = {http://eudml.org/doc/294559},
volume = {63},
year = {2018},
}
TY - JOUR
AU - Halas, Zdeněk
TI - Poznámky k axiomatizaci planimetrie
JO - Pokroky matematiky, fyziky a astronomie
PY - 2018
PB - Jednota českých matematiků a fyziků
VL - 63
IS - 1
SP - 51
EP - 67
AB - Axiomatická metoda je považována za hlavní metodu, kterou je dnes matematika formalizována. Není však jedinou, navíc prošla v průběhu tisíciletí poměrně pestrým vývojem. V tomto příspěvku se pokusíme na základě charakterizace různých typů formalizace matematiky zařadit nejznámější pokusy o axiomatizaci eukleidovské geometrie, zejména Eukleidův, Hilbertův a Birkhoffův.
LA - cze
UR - http://eudml.org/doc/294559
ER -
References
top- Aristotelés, Druhé analytiky, . Přel. A. Kříž. Nakladatelství ČSAV, Praha, 1962. (1962)
- Beatley, R., Birkhoff, G. D., A new approach to elementary Geometry., Yearbook of the National Association of Mathematics Teachers, 1929. (1929)
- Birkhoff, G. D., The Origin, nature and influence of relativity, . Macmillan, 1926. (1926)
- Birkhoff, G. D., 10.2307/1968336, . Ann. of Math. 33 (2) (1932), 329–345. (1932) MR1503058DOI10.2307/1968336
- Drábek, J., Světonázorové problémy v matematice, II. díl., Pedagogická fakulta v Plzni, Plzeň, 1985. (1985)
- Drábek, J., Šilarová, M., Kategorie pravdy v matematice., Pedagogické centrum Plzeň, Plzeň, 2001. (2001)
- Heiberg, I. L., Euclidis opera omnia, B. G. Teubner, Leipzig, 1883. (1883)
- Greenberg, M. J., Euclidean and non-Euclidean geometries, development and history., 3rd ed., W. H. Freeman, New York, 1993. (1993) MR1261866
- Greenberg, M. J., Old and new results in the foundations of elementary plane Euclidean and non-Euclidean geometries., Amer. Math. Monthly 117 (2010), 198–219. (2010) MR2640848
- Hadamard, J., Elementární geometrie I – planimetrie., 3. vyd. rus. překladu 11. vyd., přel. D. I. Perepjolkin. Učpedgiz, Moskva, 1948. (1948)
- Hartshorne, R., Geometry: Euclid and Beyond., Springer, 2000. (2000) MR1761093
- Hilbert, D., Über den Zahlbegriff, . Deutsche Math. Ver. 8 (1900), 180–184. (1900)
- Hilbert, D., The foundations of geometry, . Přel. E. J. Townsend. The Open Court, La Salle, IL, 1902. (1902) MR0116216
- Kleene, S. C., Introduction to metamathematics, . North-Holland, Amsterdam, 1952. (1952)
- Kuřina, F., Matematika jako pedagogický problém, . Gaudeamus, Hradec Králové, 2016. (2016)
- Kutuzov, B. V., Lobačevského geometrie a elementy základů geometrie, . Přel. R. Zelinka a V. Macháček. ČSAV, Praha, 1953. (1953)
- Lee, J. M., Axiomatic geometry, . Pure and Applied Undergraduate Texts 21, AMS, 2013. (2013) MR3051584
- Pasch, M., Vorlesungen über neuere Geometrie, . 1. Auflage, Teubner, Leipzig und Berlin, 1882. (1882)
- Poincaré, H., Science et méthode, . Flammarion, Paris, 1908. (1908)
- Tamari, D., Moritz Pasch (1843–1930), Vater der modernen Axiomatik, . Shaker, Aachen, 2007. (2007) MR2373721
- Tuller, A., A modern introduction to geometries, . D. van Nostrand, New Jersey, 1966. (1966) MR0206791
- Veblen, O., Hilbert’s Foundations of Geometry, . The Monist 13 (1903), 303–309. (1903) MR0077127
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.