Charles Explorer logo
🇨🇿

Logicismus a rekurzivní teorém

Publikace na Filozofická fakulta |
2007

Abstrakt

Hlavním cílem článku je představit Fregův logicismus v duchu Lakatosovy logiky matematického objevu jako smělou domněnku, která byla nakonec vyvrácena. Dále ukážeme, že toto vyvrácení spočívá na jiných a mnohem vážnějších důvodech, než se obvykle předpokládá.

Klíčová slova