Jan Łukasiewicz

Jan Łukasiewicz
Jan Łukasiewicz
Rojstvo	21. december 1878[…]; Lvov
Smrt	13. februar 1956[…] (77 let); Dublin

Jan Łukasiewicz (Lucasiewicz, Lukasijevič), poljski logik, matematik in filozof, * 21. december 1878, Lvov, Avstrijska Galicija (sedaj Ukrajina), † 13. februar 1956, Dublin, Irska.

Življenje in delo

Łukasiewicz je leta 1920 našel obliko matematičnega zapisa, poljski zapis, kjer operandi sledijo operatorju, tako da na primer izraz x + y zapišemo kot +xy. Če vsakemu operatorju sledi točno določeno število operandov (recimo po 2), je vrstni red operacije enolično določen in ni potrebno pisati oklepajev, zato štejemo ta zapis med zapise brez oklepajev. Druga podobna oblika je obrnjeni poljski zapis (angleško RPN - Reverse Polish Notation), ki jo veliko uporablja v svojih žepnih kalkulatorjih ameriško računalniško podjetje Hewlett-Packard od leta 1973, in, ki je gradnik programskih jezikov FORTH in RPL (»Reverse Polish Lisp«). Podoben zapis kot RPN uporablja tudi opisni jezik PostScript.

Łukasiewicz je bil utemeljitelj poljske logične šole in avtor večvalentnih logik, posebno še trovalentne logike. Leta 1927 je izdelal izvirno zgodovino logike. Ukvarjal se je tudi s filozofskimi vprašanji, še posebej s pogledi na nastajanje znanstvenih teorij, kjer je imel podobne zamisli kot britanski filozof znanosti avstrijskega rodu Popper.

Leta 1937 so ga izbrali za člana Poljske akademije znanosti.

Priznanja

Poimenovanja

Po njem se imenuje asteroid 27114 Lukasiewicz, ki ga je odkril Comba leta 1998.

Sklici

↑ ^1,0 ^1,1 ^1,2 ^1,3 Record #119268663 // Gemeinsame Normdatei — 2012—2016.
d:Track:Q27302 d:Track:Q36578
↑ ^2,0 ^2,1 MacTutor History of Mathematics archive — 1994.
d:Track:Q547473
↑ ^3,0 ^3,1 Internet Philosophy Ontology project
d:Track:Q6023365

Zunanje povezave

Stran o Janu Łukasiewiczu Univerze svetega Andreja (angleško)
Jan Łukasiewicz na Projektu Matematična genealogija (angleško)

[&lt;span_class=&quot;wikidata_cite_citetype_Q36524_citetype_Q17152639_citetype_Q1172284&quot;_data-entity-id=&quot;Q36578&quot;&gt;[http://d-nb.info/gnd/119268663/_Record_#119268663]_//_Gemeinsame_Normdatei&lt;span_class=&quot;wef_low_priority_links&quot;&gt;_—_2012—2016.&lt;/span&gt;&lt;/span&gt;&lt;div_style=&quot;display:none&quot;&gt;[[d:Track:Q27302]][[d:Track:Q36578]]&lt;/div&gt;-1] 1,0 ^1,1 ^1,2 ^1,3 Record #119268663 // Gemeinsame Normdatei — 2012—2016.
d:Track:Q27302 d:Track:Q36578

[&lt;span_class=&quot;wikidata_cite_citetype_Q35127&quot;_data-entity-id=&quot;Q547473&quot;&gt;MacTutor_History_of_Mathematics_archive&lt;span_class=&quot;wef_low_priority_links&quot;&gt;_—_1994.&lt;/span&gt;&lt;/span&gt;&lt;div_style=&quot;display:none&quot;&gt;[[d:Track:Q547473]]&lt;/div&gt;-2] 2,0 ^2,1 MacTutor History of Mathematics archive — 1994.
d:Track:Q547473

[&lt;span_class=&quot;wikidata_cite_citetype_Q6423319_citetype_Q35127&quot;_data-entity-id=&quot;Q6023365&quot;&gt;[[:en:The_Internet_Philosophy_Ontology_Project|Internet_Philosophy_Ontology_project]]&lt;span_class=&quot;wef_low_priority_links&quot;&gt;&lt;/span&gt;&lt;/span&gt;&lt;div_style=&quot;display:none&quot;&gt;[[d:Track:Q6023365]]&lt;/div&gt;-3] 3,0 ^3,1 Internet Philosophy Ontology project
d:Track:Q6023365

[1]

[2]

Normativna kontrola
Splošno	ISNI 1 VIAF 1 CONOR (Slovenija) 1 WorldCat (via VIAF)
Narodne knjižnice	Norveška Španija Francija (data) Katalonija Nemčija Italija Izrael ZDA Japonska Češka republika Avstralija Hrvaška Nizozemska Poljska Rusija 2 Vatikan
Biografski slovarji	Nemčija
Znanstvene podatkovne baze	CiNii (Japonska) MathSciNet Mathematics Genealogy Project zbMATH
Drugo	Faceted Application of Subject Terminology RERO (Švica) 1 SUDOC (Francija) 1 Trove (Avstralija) 1