[Nous évoquons aujourd’hui un grand polonais, Jan Łukasiewicz.
L’article de demain sera consacré à Tim Berners-Lee, l’un des inventeurs du web.
Bonne journée à tous !]
Jan Łukasiewicz
Jan Łukasiewicz (Source : Wikipedia, licence : domaine public)
[ˈjan wukaˈɕɛvitʂ]
Né à Lemberg (Lwów) en 1878 et mort à Dublin en 1956, Jan Łukasiewicz est un philosophe polonais qui a travaillé dans les domaines de la logique philosophique, de la logique mathématique et de l’histoire de la logique dont il est un des meilleurs spécialistes.
Docteur en philosophie en 1902, Łukasiewicz enseigna d’abord à Lwów puis à l’Université de Varsovie. Il se fixa à Dublin en 1946 où il enseigna la logique mathématique.
Il a travaillé sur l’axiomatisation de la logique et sur la logique multivaluée (introduisant comme troisième valeur à côté de vrai et faux, la valeur possible).
Il est aussi l’inventeur de la notation préfixée dite notation polonaise ou notation de Łukasiewicz pour lui rendre hommage, utilisée par les langages informatiques LISP et Scheme.
La notation polonaise inverse (notation postfixée) a été quant à elle utilisée par les calculatrices de Hewlett Packard et par des langages informatiques comme Forth ou PostScript.
Pour en savoir plus
Encyclopédie philosophique de l’Université de Standford
Wikipedia en anglais (plus riche que la version française)
Bibliographie
ŁUKASIEWICZ J. Aristotle’s syllogistic: from the standpoint of modern formal logic. Oxford : Clarendon Press, 1998. ISBN : 978-0-19-824144-7.
ŁUKASIEWICZ J. Elements of mathematical logic. Oxford New York Paris : Pergamon press, 1963. 124 p.(International series of monographs on pure and applied mathematics, 31)
ŁUKASIEWICZ J. Selected works . Edited by L. Borkowski,… [Foreword by Jerzy Słupecki. Translations by O. Wojtasiewicz]. Amsterdam, London, North-Holland publishing C°; Warszawa, Państwowe Wydawnictwo naukowe : [s.n.], 1970.
ŁUKASIEWICZ J., VANDENBORRE K. Écrits logiques et philosophiques. Paris : J. Vrin, 2013. 331 p.(Mathesis). ISBN : 978-2-7116-2457-7.
Jan Łukasiewicz, avant 1934(Source : Narodowe Archiwum Cyfrowe, domaine public)
Jan Łukasiewicz, avant 1906