Papírová geometrie v devíti jednáních
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23330%2F11%3A43914869" target="_blank" >RIV/49777513:23330/11:43914869 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Papírová geometrie v devíti jednáních
Popis výsledku v původním jazyce
1. Co lze skládáním papíru získat? 2. Standardní papírové skládání je ekvivalentní geometrii, ve které můžeme spojit dva dané body přímkou a posouvat jí. 3. Takováto geometrie má model, který splňuje všechny Hilbertovy axiomy až na axiom úplnosti. 4. Colze zkonstruovat v takovéto geometrii? 5. Jak je lze zkonstruovat?. 6. Řešení od E. Artina a O. Schreiera. 7. Konstrukční řešení A. Robinsona a G. Kreisela. 8. Složitost algoritmu. 9. Definitivní řešení problému?
Název v anglickém jazyce
Paper geometry in nine acts
Popis výsledku anglicky
1. What can be done by paper folding? 2. Standard paper-folding is equivalent to the geometry, in which we can join two given points by a straight line and more a given straight line ("standard") to a given place. 3. Such a geometry forms a model, whichsatisfies all the Hilbert axioms except the axiom of completeness. 4. What can be constructed in such geometry? 5. How it can be constructed? 6. Solution by E. Artin and O. Schreier. 7. Constructive solution by A. Robinson and G. Kreisel. 8. Complexity of algorithm. 9. Definitely solution of a problem
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP401%2F10%2F0690" target="_blank" >GAP401/10/0690: Prameny evropské matematiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů