<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://purl.org/dc/terms/description>	"The chapter deals with the problem of the completeness in mathematics as defined by the Hilbert program. Further it describes the overwhelming of the program by the G\u00F6del incompleteness theorems and shows the alternatives how to undertake the program farther."@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/idVysledku>	"RIV/49777513:23330/10:00504452" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Hilbert\u016Fv program: prom\u011Bna matematick\u00E9 praxe p\u0159ed a po G\u00F6delov\u00FDch v\u011Bt\u00E1ch o ne\u00FAplnosti" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju>	<http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/S> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/idSjednocenehoVysledku>	"261620" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/pocetTvurcuVysledku>	"1"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/projekt>	<http://linked.opendata.cz/resource/domain/vavai/projekt/GAP401%2F10%2F0690> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/K.%20G%C3%B6del> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2004/02/skos/core#Concept> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/nazevEdiceCisloSvazku>	"D\u011Bjiny matematiky, 45" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicovaSlova>	"D. Hilbert; K. G\u00F6del; completeness in mathematics"@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/kontrolniKodProRIV>	"[921E095952A4]" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://localhost/temp/predkladatel/organizacniJednotka>	"23330" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/completeness%20in%20mathematics> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita>	<http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/P> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://purl.org/dc/terms/description>	"Kapitola pojedn\u00E1v\u00E1 o problematice \u00FAplnosti matematiky definovan\u00E9 Hilbertov\u00FDm programem. Ukazuje nerealizovatelnost tohoto programu dok\u00E1zan\u00E9 G\u00F6delov\u00FDmi v\u011Btami a zab\u00FDv\u00E1 se alternativami k napln\u011Bn\u00ED tohoto programu po G\u00F6delovi."@cs .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/obor>	<http://linked.opendata.cz/ontology/domain/vavai/riv/obor/AA> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/dodaniDat>	<http://reference.data.gov.uk/id/gregorian-year/2011> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://purl.org/net/nknouf/ns/bibtex#hasPublisher>	"Matfyzpress" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://www.w3.org/2004/02/skos/core#notation>	"RIV/49777513:23330/10:00504452!RIV11-GA0-23330___" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/mistoVydani>	"Praha" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/nazevZdroje>	"Matematika v prom\u011Bn\u00E1ch v\u011Bk\u016F VI" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku>	<http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/C> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://purl.org/dc/terms/description>	"Kapitola pojedn\u00E1v\u00E1 o problematice \u00FAplnosti matematiky definovan\u00E9 Hilbertov\u00FDm programem. Ukazuje nerealizovatelnost tohoto programu dok\u00E1zan\u00E9 G\u00F6delov\u00FDmi v\u011Btami a zab\u00FDv\u00E1 se alternativami k napln\u011Bn\u00ED tohoto programu po G\u00F6delovi." .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/aktivity>	"P(GAP401/10/0690)" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://schema.org/numberOfPages>	"11"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://purl.org/dc/terms/title>	"Hilbert\u016Fv program: prom\u011Bna matematick\u00E9 praxe p\u0159ed a po G\u00F6delov\u00FDch v\u011Bt\u00E1ch o ne\u00FAplnosti" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo>	<http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/D.%20Hilbert> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/tvurceVysledku>	"Dost\u00E1lov\u00E1, Ludmila" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/entitaPredkladatele>	<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___/predkladatel> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/rokUplatneniVysledku>	<http://reference.data.gov.uk/id/gregorian-year/2010> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/domaciTvurceVysledku>	<http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/4898540> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://linked.opendata.cz/ontology/domain/vavai/Vysledek> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://purl.org/dc/terms/title>	"The Hilbert program: change of mathematical practice before and after the G\u00F6del theorems on completeness"@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"The Hilbert program: change of mathematical practice before and after the G\u00F6del theorems on completeness"@en .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/pocetStranKnihy>	"231"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<https://schema.org/isbn>	"978-80-7378-146-0" .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://purl.org/dc/terms/title>	"Hilbert\u016Fv program: prom\u011Bna matematick\u00E9 praxe p\u0159ed a po G\u00F6delov\u00FDch v\u011Bt\u00E1ch o ne\u00FAplnosti"@cs .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/pocetDomacichTvurcuVysledku>	"1"^^<http://www.w3.org/2001/XMLSchema#int> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku>	<http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/cze> .
<http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23330%2F10%3A00504452%21RIV11-GA0-23330___>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Hilbert\u016Fv program: prom\u011Bna matematick\u00E9 praxe p\u0159ed a po G\u00F6delov\u00FDch v\u011Bt\u00E1ch o ne\u00FAplnosti"@cs .