This HTML5 document contains 37 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F11%3A43914869%21RIV12-GA0-23330___/
n14http://localhost/temp/predkladatel/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n8http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n12http://linked.opendata.cz/resource/domain/vavai/subjekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n13http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F49777513%3A23330%2F11%3A43914869%21RIV12-GA0-23330___
rdf:type
skos:Concept n10:Vysledek
dcterms:description
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. Co lze 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? 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 (%22standard%22) to a given place. 3. Such a geometry forms a model, which satisfies 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 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. Co lze 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?
dcterms:title
Paper geometry in nine acts Papírová geometrie v devíti jednáních Papírová geometrie v devíti jednáních
skos:prefLabel
Papírová geometrie v devíti jednáních Papírová geometrie v devíti jednáních Paper geometry in nine acts
skos:notation
RIV/49777513:23330/11:43914869!RIV12-GA0-23330___
n10:predkladatel
n12:orjk%3A23330
n3:aktivita
n17:P
n3:aktivity
P(GAP401/10/0690)
n3:dodaniDat
n13:2012
n3:domaciTvurceVysledku
n8:9154795
n3:druhVysledku
n7:O
n3:duvernostUdaju
n11:S
n3:entitaPredkladatele
n5:predkladatel
n3:idSjednocenehoVysledku
219476
n3:idVysledku
RIV/49777513:23330/11:43914869
n3:jazykVysledku
n18:cze
n3:klicovaSlova
solvability of mathematical problems; 17th Hilbert problem; paper folding; geometry; history of 20th centrury mathematics
n3:klicoveSlovo
n4:solvability%20of%20mathematical%20problems n4:history%20of%2020th%20centrury%20mathematics n4:geometry n4:paper%20folding n4:17th%20Hilbert%20problem
n3:kontrolniKodProRIV
[8D8311AB3913]
n3:obor
n15:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n16:GAP401%2F10%2F0690
n3:rokUplatneniVysledku
n13:2011
n3:tvurceVysledku
Fiala, Jiří
n14:organizacniJednotka
23330