La notación polaca ( PN ), también conocida como notación polaca normal ( NPN ), [1] La notación Łukasiewicz , notación de Varsovia , notación de prefijo polaco o simplemente notación de prefijo , es una notación matemática en la que los operadores preceden a sus operandos , en contraste con los más comunes notación infija , en la que los operadores se colocan entre los operandos, así como la notación polaca inversa (RPN), en la que los operadores siguensus operandos. No necesita paréntesis siempre que cada operador tenga un número fijo de operandos . La descripción "polaco" se refiere a la nacionalidad del lógico Jan Łukasiewicz , [2] quien inventó la notación polaca en 1924. [3] [4]
El término notación polaca a veces se toma (como lo opuesto a la notación infija ) para incluir también la notación polaca inversa. [5]
Cuando la notación polaca se utiliza como sintaxis para expresiones matemáticas por parte de intérpretes de lenguajes de programación , se analiza fácilmente en árboles de sintaxis abstracta y, de hecho, puede definir una representación uno a uno para la misma. Debido a esto, Lisp ( ver más abajo ) y los lenguajes de programación relacionados definen su sintaxis completa en notación de prefijo (y otros usan notación de sufijo).
Una cita de un artículo de Jan Łukasiewicz , Remarks on Nicod's Axiom and on "Generalizing Deduction" , página 180, establece cómo se inventó la notación:
Se me ocurrió la idea de una notación sin paréntesis en 1924. Usé esa notación por primera vez en mi artículo Łukasiewicz(1), p. 610, nota al pie.
La referencia citada por Łukasiewicz es aparentemente un informe litografiado en polaco . El artículo de referencia de Łukasiewicz Remarks on Nicod's Axiom and on "Generalizing Deduction" fue revisado por Henry A. Pogorzelski en el Journal of Symbolic Logic en 1965. [6] Heinrich Behmann , editor en 1924 del artículo de Moses Schönfinkel , [7] ya tenía la idea de eliminar los paréntesis en las fórmulas lógicas.