FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Zoznam L

Logicizmus fregeho, g.-e

logicizmus Fregeho, G.-E

E1.
"Logicizmus - jeden z hlavných smerov zdôvodňovania matematiky, ktorý sa usiluje zredukovať celú matematiku na logiku. Hoci túto ideu vyslovil už Leibniz, realizovať sa ju pokúsil až koncom minulého stor. Frege. Frege si vytýčil úlohu 1. definovať východiskové matematické pojmy iba po-((270-271)) mocou logických termínov; 2. pri dôkaze princípov matematiky vychádzať len z logických princípov a používať len logické dôkazy." ( L53;270-271)