Geodesic
Poznámky k axiomatizaci planimetrie
Pokroky matematiky, fyziky a astronomie, Tome 63 (2018) no. 1, pp. 51-67.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

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.
Classification : 03-02, 51-02, 51M04 
@article{PMFA_2018__63_1_a4,
     author = {Halas, Zden\v{e}k},
     title = {Pozn\'amky k axiomatizaci planimetrie},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {51--67},
     publisher = {mathdoc},
     volume = {63},
     number = {1},
     year = {2018},
     language = {cz},
     url = {http://geodesic.mathdoc.fr/item/PMFA_2018__63_1_a4/}
}
TY  - JOUR
AU  - Halas, Zdeněk
TI  - Poznámky k axiomatizaci planimetrie
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 2018
SP  - 51
EP  - 67
VL  - 63
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PMFA_2018__63_1_a4/
LA  - cz
ID  - PMFA_2018__63_1_a4
ER  - 
%0 Journal Article
%A Halas, Zdeněk
%T Poznámky k axiomatizaci planimetrie
%J Pokroky matematiky, fyziky a astronomie
%D 2018
%P 51-67
%V 63
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PMFA_2018__63_1_a4/
%G cz
%F PMFA_2018__63_1_a4
Halas, Zdeněk. Poznámky k axiomatizaci planimetrie. Pokroky matematiky, fyziky a astronomie, Tome 63 (2018) no. 1, pp. 51-67. http://geodesic.mathdoc.fr/item/PMFA_2018__63_1_a4/