Notation polonese
De Wikipedia, le encyclopedia libere
Notation polonese, anque cognoscite como notation prefixate, es un forma de notation pro logica, arithmetica, e algebra. Su tracto distinguite es que illo placia operatores a leve de lor operandes. Si le numero de operandes del operatores es fixe, le resultato es un syntaxe deprivate de parentheses, le qual pote ancora esser parsate sin ambiguitate. Le logico polonese Jan Łukasiewicz inventava iste notation circa 1920 a fin que simplificar logica de sententias.
Hic es un citation ab Nicod's Axiom and Generalizing Deduction, pagina 180.
Io incontrava le idea de un notation libere de parentheses in 1924. Io usava iste notation le prime vice in mi articulo Łukasiewicz(1), p. 610, footnote.
Le referentia citate per Jan Łukasiewicz super es apparentemente un lithographiate reporto in polonese.
Alonzo Church mentiona iste notation in su libro classic super logica mathematic como relevante in systemas de notation mesmo contrastate a exposition logic de notation de Whitehead e Russell e obra in Principia Mathematica.[1]
Ben que jam non usate multo in logica, notation polonese ha deinde trovate un loco in informatica.
[modificar] Referentias
- ↑ Church, Alonzo (1944). Introduction to Mathematical Logic. Princeton, New Jersey: Princeton University Press. - p.38: "Relevante es le notation libere de parentheses de Jan Łukasiewicz. In isto le litteras N, A, C, E, K son usate in le rolos de negation, disjunction, implication, equivalentia, conjunction respectivemente. ..."
Iste pagina usa contento del Wikipedia in anglese. Le articulo original se trova a en:Polish notation, e es usate secundo le mandatos del licentia de Wikipedia.
