Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23330%2F10%3A00504452" target="_blank" >RIV/49777513:23330/10:00504452 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti

Popis výsledku v původním jazyce

Kapitola pojednává o problematice úplnosti matematiky definované Hilbertovým programem. Ukazuje nerealizovatelnost tohoto programu dokázané Gödelovými větami a zabývá se alternativami k naplnění tohoto programu po Gödelovi.

Název v anglickém jazyce

The Hilbert program: change of mathematical practice before and after the Gödel theorems on completeness

Popis výsledku anglicky

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ödel incompleteness theorems and shows the alternatives how to undertake the program farther.

Druh

C - Kapitola v odborné knize

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

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)

Rok uplatnění

2010

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ů

Název knihy nebo sborníku

Matematika v proměnách věků VI

ISBN

978-80-7378-146-0

Počet stran výsledku

11

Strana od-do

—

Počet stran knihy

231

Název nakladatele

Matfyzpress

Místo vydání

Praha

Kód UT WoS kapitoly

—