Logicizmus fregeho, g.-e

Z Wikipédie

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.

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.