Upit metamatematika, pronađeno natuknica: 2

metamatematika

metamatematika (meta- + matematika), teorija o općim i formalnim svojstvima različitih deduktivnih sustava ...

Tarski, Alfred

Tarski [ta'rsk’i], Alfred (pravo prezime Teitelbaum), poljski logičar i matematičar (Varšava, 14. I. 1901 ...