Lorenzen

Lorenzen [-cen] Paul , *24. 3. 1915, něm. (NSR) logik a matematik; prof. univ. v Erlangenu. Tvůrce tzv. operativní log., v níž usiloval vytvořit log. bez axiomů jako obecnou teorii kalkulů; tento systém se ukázal sám jako kalkul, z něhož lze odvodit intuicionistickou log. Hl. dílo: Einführung in die operative Logik und Mathematik (Úvod do operativní logiky a matematiky).


zpět