What do Gödel theorems tell us about Hilbert`s solvability thesis?

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F09%3A00200355" target="_blank" >RIV/00216208:11210/09:00200355 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
What do Gödel theorems tell us about Hilbert`s solvability thesis?
Popis výsledku v původním jazyce
The goal of the article is to present Gödel?s theorems not as a direct refutation of Hilbert?s solvability axiom (according to which all problems which human mind poses must be solvable) but only as an impulse to phrase it with more caution, in such a way that some famous unsolvable questions such as the Continuum Hypothesis are no longer regarded as real problems.
Název v anglickém jazyce
What do Gödel theorems tell us about Hilbert`s solvability thesis?
Popis výsledku anglicky
The goal of the article is to present Gödel?s theorems not as a direct refutation of Hilbert?s solvability axiom (according to which all problems which human mind poses must be solvable) but only as an impulse to phrase it with more caution, in such a way that some famous unsolvable questions such as the Continuum Hypothesis are no longer regarded as real problems.

Projekt
<a href="/cs/project/GA401%2F06%2F0387" target="_blank" >GA401/06/0387: Inferencialistické základy logiky a sémantiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2009
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ů

Podobné výsledky(10)