Jan Lukasiewicz | |
---|---|
Jan Lukasiewicz | |
Fødselsdato | 21. december 1878 |
Fødselssted | |
Dødsdato | 13. november 1956 (77 år) |
Et dødssted | |
Land |
Østrig-Ungarnske Rige → Polsk Republik → Republikken Irland |
Videnskabelig sfære | logik , matematik |
Arbejdsplads | |
Alma Mater | |
Akademisk grad | Ph.D |
videnskabelig rådgiver | Kazimir Tvardovsky [1] |
Studerende | Alfred Tarski og Mordechai Weisberg [d] |
Priser og præmier | |
Citater på Wikiquote | |
Mediefiler på Wikimedia Commons |
Jan Lukasiewicz ( polsk Jan Łukasiewicz ; 21. december 1878 , Lviv - 13. november 1956 , Dublin ) - polsk logiker og matematiker , medlem af det polske videnskabsakademi (1937), en af de vigtigste repræsentanter for Lviv-Warszawa-skolen .
I 1919 fungerede han som minister for religiøse trosretninger og undervisning.
Æresdoktor ved Warszawa Universitet (1924) [2] .
Siden 1945 har han været professor ved Royal Irish Academy i Dublin .
Arbejdet inden for logiske problemer med induktion og kausalitet og logiske grundlag for sandsynlighedsteori . Han byggede det første system af logik med mange værdier, og med dets hjælp - systemet for modal logik. Han udviklede et originalt sprog til at formalisere logiske udtryk (den såkaldte polske notation, der tjente som grundlag for den mere berømte omvendte polske notation ). Filosofisk er han positivist .
Lukasiewicz udviklede det første system af mange-værdi logik , tre-værdi propositionel logik (1920). Som den tredje logiske betydning af udsagnet blev betydningen udtrykt med ordene "sandsynligvis", "neutral" introduceret. Hvert udsagn i Lukasiewicz-systemet kan siges at være enten sandt (1), falsk (0) eller neutralt (1/2). Dette blev muligt på grund af det faktum, at Lukasevich var en af de første, uanset den russiske logiker N. A. Vasilyev , fremsatte tesen om muligheden for at konstruere logisk regning, hvor konsistensprincippet ikke gælder. På basis af logik med tre værdier byggede Lukasiewicz et system af modal logik, hvori sammen med studiet af logiske operationer på assertoriske udsagn (udsagn og negationer), de såkaldte modale udsagn (stærke og svage udsagn og negationer) er undersøgt.
I 1954 udviklede Lukasiewicz et logisk system med fire værdier, og derefter - uendeligt værdifulde (n-værdi) logiske systemer, hvor mængden af sandhedsværdier er tælleligt uendelig eller har magten som et kontinuum (sæt). Rationelle tal fra segmentet (0, 1) fungerer som sandhedsværdier . Lukasiewicz's modeller af logik med uendelig værdi er algebraer udviklet af ham.
På polsk:
På russisk:
På engelsk:
Tematiske steder | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
Slægtsforskning og nekropolis | ||||
|
Polens undervisningsministre | |
---|---|
Offentlig uddannelseskommission | |
Ministeriet for Religioner og Folkeundervisning | |
Ministeriet for religiøse trosretninger og uddannelse Anden polske republik |
|
den polske folkerepublik | Uddannelsesministeriet Stanislav Skzheshevsky Cheslav Vyciech Stanislav Skzheshevsky Vitold Yarosinskiy Felix Baranovsky Vladislav Benkovsky Vaclav Tulodzetsky Ministeriet for undervisning og videregående uddannelser Henryk Jablonsky Undervisnings- og Opdragelsesministeriet Jerzy Kuberski Józef Teichma Krzysztof Krushevsky Boleslav Faron Joanna Michalowska-Gumovska Ministeriet for offentlig undervisning Henryk Bednarsky Jacek Fisiak |
Tredje polske republik | Ministeriet for offentlig undervisning Henrik Samsonovich Robert Glembotsky Andrzej Stelmakhovsky Zdobyslav Flisovsky Alexander Luchak Ryszard Charny Jerzy Vyatr Miroslav Handke Edmund Wittbrodt Ministeriet for offentlig undervisning og sport Christina Lybatskaya Miroslav Savitsky Ministeriet for offentlig undervisning Miroslav Savitsky Undervisnings- og Videnskabsministeriet Michal Severinsky Ministeriet for offentlig undervisning Roman Gertykh Ryszard Legutko Katarzyna Hull Christina Shumilas Joanna Kluzhik-Rostkowska Anna Zalevskaya Dariusz Piotkowski Przemysław Charnek Undervisnings- og Videnskabsministeriet Przemysław Charnek |