13 votos

Hay un numéricos, aritmética con un solo operador?

Recuerdo haber leído hace un tiempo acerca de la aritmética con un solo operador que hizo todo el trabajo de la familiarizado $+ - \times /$ operadores. Si es que existe tal cosa, es posible que alguien me apunte a ella?

Como antecedentes: tengo un proyecto paralelo donde estoy jugando con las redes neuronales y genéticos los algoritmos de búsqueda. Ahora es el bueno y viejo tipo, con la matriz de la multiplicación y la suma. Pensé que sería interesante implementar un tipo de red neuronal que se utiliza combinada o "todo en uno" del operador.

He buscado en google como diablos y no puede recoger el rastro de donde yo pensaba vi que antes.

Hay que estudiar en esa área, o estoy mal recordar, o peor, simplemente haciendo? Agradecería cualquier punteros.

9voto

[Añadido: @MJD la respuesta y la mía son realmente responde a algo diferentes preguntas, y @MJD la respuesta es la que probablemente direcciones de la intención de la pregunta. Pero voy a dejar esta respuesta en el lugar como el tema en el que notas es interesante de todos modos!]

Depende de lo lógico aparato está disponible.

Dedekind/aritmética de Peano en su forma original acaba el sucesor $S$ función integrada en el primitivo aritméticos operador, pero es lo suficientemente fuerte como para expresar todas las habituales funciones aritméticas.

¿Cómo ven? Además, otras funciones pueden ser definidas. Así, además es la única función de $f$ tal que $f(x, 0) = x$$f(x, Sy) = Sf(x, y)$. Después de haber definido la adición, la multiplicación es la única función de $f$ tal que $f(x, 0) = 0$$f(x, Sy) = Sf(x, y) + x$. (Dedekind famosa tiene una prueba de que tales definiciones hecho de forma exclusiva hacia abajo el pasador bien definidas las funciones).

Pero tenga en cuenta que este tipo de definición de una función en efecto cuantifica las funciones (NB que "uno y único"), por lo tanto, sólo está disponible en un segundo orden, marco de trabajo que permite la cuantificación de las funciones (como, por supuesto, el original de Dedekind/Peano axiomatisation hizo).

En un primer orden de marco, no se pueden definir funciones a través de la cuantificación de la misma manera, pero tienen que explícitamente postular al menos algunas funciones adicionales -- canónicamente, tomamos la suma y la multiplicación como otras funciones primitivas (y, a continuación, mostrar todas las otras funciones recursivas puede ser expresado mediante estos, por Gödel del truco).

7voto

MJD Puntos 37705

Esta discusión sigue las soluciones de los problemas de 1-2 dado en Un Problema de Seminario por Donald J. Newman (Springer, 1982), pp 45-46.

En primer lugar, tenga en cuenta que todos los cuatro de $+, -, \times, \div$ puede ser construido sólo a partir de $-$ y el recíproco de la operación $x\mapsto \frac1x$: Además es fácil: $$x+y = x-((x-x)-y).$$

Por parcial fracción de descomposición hemos $$ \frac1{x-x^2} = \frac1{1-x} + \frac1x$$

Por lo $$x^2 = x-\left(\frac1{1-x} + \frac1x\right)^{-1}.$$

Ahora podemos calcular el $(x,y)\mapsto -2xy$ mediante $-2xy = (x-y)^2 - x^2 - y^2$. Podemos deshacernos de la $-2$ mediante $\frac u{-2} = \left(\left(0-\frac1u\right)-\frac1u\right)^{-1}$. Y ahora que tenemos la multiplicación, obviamente llegamos $x\div y = x\cdot \frac 1y$. Así tenemos todos los de $+,-,\times,\div$ $-$ y recíproca.

Segundo, necesitamos encontrar una única operación que nos da $-$ y recíproca. Newman observa que no hay nada como $x\circ y = x(x+y)$ puede trabajar porque nunca puede darnos la resta. Así que en vez de intentar hacer algo como $$x\circ y = \frac1{x-y}$$ que tiene la resta y la reciprocidad en ella ya.

Recíproco es fácil: $$x\circ 0 = \frac1{x-0} = \frac1x.$$

Y, a continuación, $$(x\circ y)\circ 0 = \frac1{\frac1{x-y}-0} = x-y.$$

Así que los cuatro de $+, -, \times, \div$ puede ser definido en términos de $\circ$.

Mirando este ahora, me doy cuenta de que Newman ha asume tácitamente que nos permite utilizar ciertas constantes: $0$ en la segunda parte, y 1 en la primera parte. (0 en la primera parte puede ser sintetizado a partir de $x-x$.) No sé si estos se pueden evitar, pero tal vez usted no se preocupan por ese detalle.

4voto

Panagiotis K Puntos 59

En MO hay una pregunta similar, pero sólo en relación a la adición y la multiplicación, pero la aceptó respuesta, asegúrese de que esto es posible siempre que queremos hacer esto con una contables de la colección de las operaciones binarias, por lo que podemos hacer con las cuatro.

http://mathoverflow.net/questions/57465/can-we-unify-addition-and-multiplication-into-one-binary-operation-to-what-exten

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X