Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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ů