Logika fregeho, g.-ei

Z Wikipédie

Logika fregeho, g.-ei

logika Fregeho, G.-EI

EI1

…Frege prvý rozvinul logiku, v ktorej by sa táto teória (sc. aritmetika) dala posúdiť a dokázať.

EI2

V práci Zápis v pojmoch (1879) ako prvý axiomaticky vybudoval výrokovú a predikátovú logiku a položil základy teórie matematického dôkazu.

[ú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}}.