Poincarého kritika formální logiky (1894-1906)
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23330%2F12%3A43918248" target="_blank" >RIV/49777513:23330/12:43918248 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Poincarého kritika formální logiky (1894-1906)
Popis výsledku v původním jazyce
V letech 1894-1906 Henri Poincaré publikuje články o povaze matematického uvažování, logice a o základech matematiky. V příspěvku zhodnotíme jeho názory v porovnání k dobovému vývoji matematiky a počátkům formální logiky.
Název v anglickém jazyce
Poincaré's Critique of formal logic (1894-1906)
Popis výsledku anglicky
In 1894-1906, Henri Poincaré publised his philosophical papers on nature of mathematical reasoning, logic and foundations of mathematics. In this contribution, we evaluate his opinions in comparision to contemporary evolution of mathematics and origins of formal logic.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
Rok uplatnění
2012
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ů