Synthetic Concepts A Priori

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F05%3A00020970" target="_blank" >RIV/67985955:_____/05:00020970 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Synthetic Concepts A Priori
Original language description
Concepts are explicated as objective procedures ("constructions" in transparent intensional logic). All mathematical concepts are a priori. Analytic mathematical concepts are effective procedures that compute some recursive functions. Synthetic mathematical concepts either identify a non-recursive function or identify a recursive function in a non-effective way. There are more synthetic concepts a priori than analytic concepts a priori.
Czech name
Syntetické pojmy a priori
Czech description
Pojmy jsou explikovány jako objektivní procedury ('konstrukce' v transparentní intenzionální logice). Všechny matematické pojmy jsou a priori. Analytické matematické funkce jsou efektivní procedury, které vypočítávájí rekurzívní funkce. Syntetické matematické pojmy buď identifikují nerekurzivní funkci nebo identifikují rekurzívní funkci neefektivním způsobem. Syntetických pojmů a priori je více než analytických pojmů a priori.

Project
<a href="/en/project/GA401%2F04%2F2073" target="_blank" >GA401/04/2073: Transparent Intensional Logic (a Systematic Exposition)</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)