Jan Łukasiewicz

Jan Łukasiewicz, né le à Léopol et mort le à Dublin, est un philosophe et logicien polonais, connu pour sa critique du principe de contradiction d'Aristote. L'auteur des travaux sur la probabilité, l'interprète original de la logique des stoïciens et un critique du déterminisme dans la science, Łukasiewicz est le premier à énoncer une logique trivalente, admettant le vrai, le faux et le possible. De ce premier calcul logique non classique naissent ensuite, entre autres, la logique modale, la logique probabiliste et la logique floue. Łukasiewicz a également jeté les bases de l'informatique moderne en créant la notation polonaise et en développant avec Alfred Tarski et Stefan Banach les fondations de la notation inverse, une manière d'écrire des expressions arithmétiques largement utilisées à ce jour en informatique. Informations fournies par Wikipedia