Jan Łukasiewicz

De Wikipedia, le encyclopedia libere
Saltar al navigation Saltar al recerca
Jan Łukasiewicz
Jan Łukasiewicz.jpg
Sexo mascule
Nascentia 1878-12-21 (Lviv)
Decesso 1956-02-13 (Dublin)
Loco de reposo Mount Jerome Cemetery[*]
Citatania Polonia, Austria-Hungaria, Second Polish Republic[*], Republica de Irlanda
Educate in Universitate de Lviv[*], Universitate de Varsovia[*]
Occupation mathematico, philosopho[*], professor universitari[*], computer scientist[*]
Partito politic Camp of National Unity[*]
Premios Commander of the Order of Polonia Restituta[*], Hungarian Order of Merit[*], Commander with Star of the Order of Polonia Restituta[*]
Lingua polonese
Identificatores
ISNI 0000 0001 2120 9100
VIAF 12353616
Commons Jan Łukasiewicz

Jan Łukasiewicz (Lviv, Galicia, Austria-Hungaria [hodie in Ukraina] le 21 de decembre, 1878 – Dublin, Republica de Irlanda le 13 de februario, 1956) esseva un mathematico polonese. Su travalio mathematic se focalisava in le logica mathematic. Ille pensava innovar in le traditional logica prepositional, le principio de non contradiction e le principio del tertie excludite.

Łukasiewicz travaliava in logica polyvalente, includente su proprie calculo de tres valores, le prime logica de calculo non classic. Ille etiam se dedicava al philosophia, se approximante al aspectos human del creation del theoria scientific con ideas similar a los de Karl Popper.

Ille es le autor, inter altere obras, de Elementos de logica mathematic; Le syllogistica de Aristoteles del puncto de vista del moderne logica formal; Super le theoria intuitionistic del deduction; Un systema de logica modal; Le principio de individuation.

Vita[modificar | modificar fonte]

Axiomatisation del logica propositional[modificar | modificar fonte]

Un del aspectos plus cognoscite del travalio de Łukasiewicz es su axiomatisationes del logica propositional. Un de iste axiomatisationes consiste a pena in tres axiomas que, in notation moderne, pote esser scribite del sequente forma:

A partir de iste tres axiomas, le formulas valide del logica propositional pote esser inferite via substitution e/o modus ponens. Łukasiewicz etiam presentava un revision de un systema axiomatic de Nicod que usa a pena un connective e possede a pena un axioma.

Altere grande attingimento de Łukasiewicz esseva un notation pro logica propositional non ambigue, sufficiente pro permitter a elimination de parenthesis e altere signos usate pro determinar le objetivo del connectives logic. Iste notation es cognoscite como notation polonese e in illo le connectivos logic es prefixate in vice de infixate como accide in le notation usual. Iste notation ha importantia theoric pro le scientias del computation.

Lecturas in anglese[modificar | modificar fonte]

Commons-logo.svg
Wikimedia Commons ha files multimedia de: Jan Łukasiewicz
  • Aristotle & Łukasiewicz on the Principle of Contradiction, ed. by Frederick Seddon (Modern Logic, 1996) ASIN 1884905048
  • Philosophical Logic in Poland, ed. by Jan Wolenski (Kluwer, 1994) ISBN 0-7923-2293-2
  • Jan Łukasiewicz: Elements of Mathematical Logic, Warsaw, Państwowe Wydawnictwo Naukowe, 1963
  • Jan Łukasiewicz: Selected Works, Amsterdam, North-Holland, 1970
  • Jan Łukasiewicz. Aristotle´s Syllogistic. Oxford: The Clarendon Press (1957)
Nota