Kazimierz Ajdukiewicz

Faktaboks

Kazimierz Ajdukiewicz
Født
1890
Død
1963

Artikelstart

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.

eller registrer dig