Kazimierz Ajdukiewicz, 1890-1963, polsk filosof og matematisk logiker, medlem af Warszawa-gruppen.
Ajdukiewicz' vigtigste arbejder ligger inden for den logiske syntaks og semantik; i 1920 formulerede han som den første deduktionsteoremet.
Kazimierz Ajdukiewicz, 1890-1963, polsk filosof og matematisk logiker, medlem af Warszawa-gruppen.
Ajdukiewicz' vigtigste arbejder ligger inden for den logiske syntaks og semantik; i 1920 formulerede han som den første deduktionsteoremet.
Kommentarer
Din kommentar publiceres her. Redaktionen svarer, når den kan.
Du skal være logget ind for at kommentere.