This HTML5 document contains 42 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/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
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#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985955%3A_____%2F07%3A00308906%21RIV08-AV0-67985955/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985955%3A_____%2F07%3A00308906%21RIV08-AV0-67985955
rdf:type
n12:Vysledek skos:Concept
dcterms:description
The usual way of interpreting Gödel's incompleteness result is as showing that there is a gap between truth and provability, i.e. that we can never prove everything that is true. However, this result is supposed to show that there are unprovable truths which we can know to be true. This, so the story goes, shows that we are more than machines that are restricted to acting as proof systems. Hence our minds are 'not mechanical'. In this paper I would like to indicate that this interpretation of Gödel goes far beyond what he really proved. I would like to show that to get from his result to a conclusion of the above kind requires a train of thought which is fuelled by much more than Gödel's result itself, and that a great deal of the excessive fuel should be utilized with an extra care. Obvyklý způsob interpretace Gödelova výsledku ohledně neúplnosti je taková, že ukazuje, že mezi pravdivostí a dokazatelností zeje mezera, to jest že nikdy nemůžeme dokázat vše, co je pravdivé. O tomto výsledku se však má za to, že ukazuje, že existují nedokazatelné pravdy, o nichž můžeme vědět, že jsou to pravdy. A tohle údajně ukazuje, že my jsme více nežli stroje odsouzené k fungování jako důkazové systémy. Takže naše mysli 'nejsou mechanické'. V tomto článku bych chtěl naznačit, že tato interpretace Gödela daleko přesahuje to, co skutečně dokázal. Chtěl bych ukázat, že dostat se od jeho výsledků k uvedeným závěrům vyžaduje myšlenkové pochody předpokládající mnohem více než samotný Gödelův výsledek, a že k podstatné části z toho, co předpokládají navíc, bychom měli být velice rezervovaní. The usual way of interpreting Gödel's incompleteness result is as showing that there is a gap between truth and provability, i.e. that we can never prove everything that is true. However, this result is supposed to show that there are unprovable truths which we can know to be true. This, so the story goes, shows that we are more than machines that are restricted to acting as proof systems. Hence our minds are 'not mechanical'. In this paper I would like to indicate that this interpretation of Gödel goes far beyond what he really proved. I would like to show that to get from his result to a conclusion of the above kind requires a train of thought which is fuelled by much more than Gödel's result itself, and that a great deal of the excessive fuel should be utilized with an extra care.
dcterms:title
Gödel, pravda a důkaz Gödel, Truth and Proof Gödel, Truth and Proof
skos:prefLabel
Gödel, Truth and Proof Gödel, pravda a důkaz Gödel, Truth and Proof
skos:notation
RIV/67985955:_____/07:00308906!RIV08-AV0-67985955
n3:strany
1;10
n3:aktivita
n17:Z n17:P
n3:aktivity
P(GA401/04/0117), Z(AV0Z90090514)
n3:cisloPeriodika
82
n3:dodaniDat
n5:2008
n3:domaciTvurceVysledku
n9:4538560
n3:druhVysledku
n6:J
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n13:predkladatel
n3:idSjednocenehoVysledku
423518
n3:idVysledku
RIV/67985955:_____/07:00308906
n3:jazykVysledku
n11:eng
n3:klicovaSlova
Gödel; incompleteness of arithmetic; proof vs. truth
n3:klicoveSlovo
n10:incompleteness%20of%20arithmetic n10:G%C3%B6del n10:proof%20vs.%20truth
n3:kodStatuVydavatele
GB - Spojené království Velké Británie a Severního Irska
n3:kontrolniKodProRIV
[1B248DF77FD8]
n3:nazevZdroje
Journal of Physics, Conference Series
n3:obor
n14:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n4:GA401%2F04%2F0117
n3:rokUplatneniVysledku
n5:2007
n3:svazekPeriodika
-
n3:tvurceVysledku
Peregrin, Jaroslav
n3:zamer
n15:AV0Z90090514
s:issn
1742-6596
s:numberOfPages
10