Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] e dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale ...
Leggi Tutto