¿Qué es el operador de Unión variable de Psi(x)?

Question

En el Variable libre artículo sobre Wikipedia, enumera estos:

como operadores variable-obligatorio. He visto todos ellos durante mis estudios de matemáticas, excepto el operador de psi. ¿Qué significa en este contexto $\psi x$?

Answer 1

No sé cuál era la intención por $\psi$ aquí, pero algunos Wikipedia, la arqueología revela que fue introducido en esta edición, y el mismo usuario con el tratado de eliminar de nuevo un minuto más tarde. Se hizo un lío de la eliminación, y Michael Hardy deshizo el desorden, dejando en el $\psi x$ sin ninguna explicación. Ninguno es probable que la próxima, porque el usuario que añadió que las $\psi x$, en agosto de 2008, no ha sido volver a Wikipedia desde.

En definitiva, es más probable que un pedazo de Wikipedia tonterías. A menos que alguien publica una respuesta definitiva aquí, dentro de poco voy a quitar el $\psi x$ desde el artículo de la Wikipedia.

Como premio de consolación, aquí están algunas otras variables de unión de los operadores que pueden no estar familiarizados con, que no están en el artículo de la Wikipedia:

• Robin Milner $\pi$-cálculo utiliza "$\nu x. F$" para referirse a una expresión de F en el que $x$ se crea una instancia de una "nueva" variable que no ha sido usado antes en el ámbito de aplicación de la corriente de la computación.
• Whitehead y Russell utilizar "$\iota x.\Phi(x)$" para denotar la única $x$ satisfacer algunas de descripción $\Phi(x)$. Por ejemplo, "$\iota x. x$ es el Rey de Suazilandia" es una expresión que denota el Rey de Swazilandia.
• Hilbert se utiliza "$\epsilon x.\phi(x)$" para referirse a "algo de valor para el cual $\phi$ es verdadero". Esto es, para cualquier propiedad $\phi$ si $\exists v.\phi(x)$ es verdadera,entonces también lo es $\phi(\epsilon x.\phi(x))$.
• Del mismo modo, Hilbert utilizado $\mu x.\phi(x)$ para denotar el menor número natural para que $\phi$ es cierto.
• Categoría teóricos de la frecuencia de uso de $\exists!x.\phi(x)$ como una abreviatura para $\exists x\forall y.\phi(x) \land (\phi(y)\implies y=x)$, o algún equivalente variación de la misma. Se dice que no es exactamente una $x$ que $\phi(x)$ mantiene.

Comúnmente se utilizan cuantificadores que no parece tener ningún compacta estándar de notación incluir "en casi todo" y "todos excepto un número finito".

Answer 2

Mi primer impulso al ver '$\varphi x$' es de leer como una variación en el esquema lógico ('$\varphi(x)$', '$F x$', etc.), que, si ése era el significado intented, debería, creo, impedirlo de una lista de los operadores variable-enlace. Votaría por eliminación de un artículo de si pudiera.