Jan Łukasiewicz
Jan Łukasiewicz, född den 21 december 1878 i Lwow i Galizien, död den 13 februari 1956 i Dublin, var en polsk logiker och filosof. Hans främsta verk handlar om satslogik och dess historia samt Aristoteles syllogismer, vilkas system rekonstruerades med den moderna logikens redskap. Mest känd har Łukasiewicz blivit som upphovsman till den så kallade polska notationen, en notation för algebra, beräkningar och satslogik, som gör parenteser överflödiga. Han var en av grundarna till Warszawagruppen.
Łukasiewicz har utarbetat ett stort antal olika axiomatiseringar av den klassiska satslogiken, varav en är välkänd och används än i dag. Systemet är såväl komprimerat som raffinerat och består av endast tre axiom samt en slutledningsregel, Modus ponendo ponens. Łukasiewicz var även en föregångare inom den flervärda satslogiken. Łukasiewicz notation, i form av den omvända polska notationen kom att ligga till grund för de datorer vars processorer byggde på stackstruktur, en rekursiv stack av typen LIFO. Konstruktionen implementerades i en mängd datorer och miniräknare, av vilka de mest kända är Hewlett-Packards så kallade RPN-räknare.
Łukasiewicz blev professor vid universitetet i Lwow 1911 och senare vid Warszawas universitet mellan 1920 och 1939. Han emigrerade till Irland efter andra världskriget.
Källor
- The Development of Logic, W.& M. Kneale, Oxford 1966.
- The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars, Z.A. Jordan, Oxford 1945.
Media som används på denna webbplats
Jan Łukasiewicz (21 December 1878 – 13 February 1956) Polish logician and philosopher born in Lwów, Galicia, then Austria–Hungary. His work centred on analytical philosophy and mathematical logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle. Professor of Lvov University and Warsaw University. After WW II in exie, professor of University College Dublin.