Jan Łukasiewicz
| Jan Łukasiewicz | |
 | |
| Född | 21 december 1878[1][2][3] Lviv[4] |
|---|---|
| Död | 13 februari 1956[1][2][3] (77 år) Dublin[4] |
| Begravd | Mount Jerome Cemetery[5] kartor och Powązki |
| Medborgare i | Österrike-Ungern, Andra polska republiken och Irland |
| Utbildad vid | Lvivs universitet Universitetet i Warszawa  |
| Sysselsättning | Matematiker, datavetare, universitetslärare, filosof[6], logiker[6] |
| Befattning | |
| Polens minister för nationell utbildning (1919)[7] Rector of the University of Warsaw (1922–1923) | |
| Arbetsgivare | Universitetet i Warszawa Lvivs universitet |
| Politiskt parti | |
| Obóz Zjednoczenia Narodowego | |
| Utmärkelser | |
| Kommendör av Polonia Restituta (1923)[7] Ungerska förtjänstorden (1935)[7] Kommendör med stjärna av Polonia Restituta | |
| Redigera Wikidata | |
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
[redigera | redigera wikitext]- 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.
- 1 2 MacTutor History of Mathematics archive, läst: 22 augusti 2017.[källa från Wikidata]
- 1 2 Internet Philosophy Ontology project, läst: 9 oktober 2017.[källa från Wikidata]
- 1 2 Brockhaus Enzyklopädie, F.A. Brockhaus, Brockhaus Enzyklopädie-ID: lukasiewicz-jan.[källa från Wikidata]
- 1 2 Sejm-Wielki.pl profil-ID: psb.16204.1.[källa från Wikidata]
- ↑ Find a Grave.[källa från Wikidata]
- 1 2 Gemeinsame Normdatei, Deutsche Nationalbibliotheks katalog-id-nummer: 1192686637749153-1, läst: 20 april 2026.[källa från Wikidata]
- 1 2 3 Stanford Encyclopedia of Philosophy, Stanford University och Center for the Study of Language & Information, Stanford Encyclopedia of Philosophy-ID: lukasiewicz.[källa från Wikidata]