Prohlížení dle autora "Perout, Daniel"
-
Tarski axioms of Euclidean geometry
Výsledek obhajoby: OBHÁJENOPerout, Daniel (Univerzita Karlova, Filozofická fakulta, 2024)Datum obhajoby: 4. 9. 2024Tarského axiomatizace geometrie je prvořádovou teorií elementární eukleidovské geo- metrie. Věnujeme se axiomatické výstavbě geometrie uvnitř této teorie až k výstavbě alge- braického tělesa uvnitř geometrického prostoru, ...