Si 1 + 1 = 3, ¿cuál sería entonces 3 + 1?

Puede haber muchas formas posibles de realizar esta operación

Supongamos que la operación [math] + [/ math] significa algo como esto,

[matemáticas] \ sum_ {i = n} ^ {1} x_i = \ sum_ {i = n} ^ {1} x_i × 2 ^ {i-1} [/ matemáticas]

[matemáticas] x_n + x_ {n-1} +… + x_1 = x_n × 2 ^ {n-1} + x_ {n-1} × 2 ^ {n-2} +… + x_1 × 2 ^ 0 [/ matemáticas]

Método I:

[matemáticas] x_2 + x_1 = x_2 × 2 ^ 1 + x_1 × 2 ^ 0 [/ matemáticas]

[matemáticas] \ por lo tanto 1 + 1 = 1 × 2 ^ 1 + 1 × 2 ^ 0 = 2 + 1 = 3 [/ matemáticas]

Entonces, [matemáticas] 3 + 1 = 3 × 2 ^ 1 + 1 × 2 ^ 0 = 6 + 1 = 7 [/ matemáticas]

Método II:

Como sabemos según la pregunta, [matemáticas] 1 + 1 = 3 [/ matemáticas]

[matemáticas] \ por lo tanto 3 + 1 = (1 + 1) + 1 [/ matemáticas]

[matemáticas] x_3 + x_2 + x_1 = x_3 × 2 ^ 2 + x_2 × 2 ^ 1 + x × 2 ^ 0 [/ matemáticas]

[matemática] \ Rightarrow 3 + 1 = 1 × 2 ^ 2 + 1 × 2 ^ 1 + 1 × 2 ^ 0 [/ matemática]

Entonces, [matemáticas] 3 + 1 = 4 + 2 + 1 = 7 [/ matemáticas]

Eso dependería de cuáles sean tus axiomas. Si tiene los axiomas estándar para la aritmética (es decir, los axiomas de Peano), entonces si también aceptamos [matemáticas] 1 + 1 = 3 [/ matemáticas], entonces [matemáticas] 3 + 1 = 2, 0, -1, 82014 [ / math] y, de hecho, cualquier otro valor que se te ocurra. Más confuso, también sería cierto que [matemática] 3 + 1 \ neq 2, 0, -1, 82014 [/ matemática], y cualquier otro valor que se te ocurra.

¿Que pasó? Si tiene un sistema lógico formal y agrega otro axioma que contradice a los existentes, entonces produce lo que se conoce como un sistema inconsistente, en el que cada declaración es verdadera y falsa simultáneamente. Otra forma de decir esto es que si tiene un sistema lógico consistente e introduce incluso una sola declaración falsa, puede probar cualquier declaración.

Un ejemplo contundente: supongamos que [matemáticas] 1 = 2 [/ matemáticas]. Afirmo que, por lo tanto, puedo demostrar que soy el Papa. De hecho, el papa y yo somos dos; por lo tanto, el papa y yo somos uno.

Los sistemas lógicos inconsistentes, por lo tanto, no son muy interesantes. Entonces, una mejor idea podría ser redefinir lo que queremos decir con [matemáticas] 1, 3, + [/ matemáticas] o [matemáticas] = [/ matemáticas]. Ciertamente puede encontrar sistemas consistentes en los que [matemática] 1 + 1 = 3 [/ matemática].

Aquí hay un boceto de un ejemplo: tome la suma para ser asociativo y conmutativo como de costumbre, pero tome [math] 1: = 0 [/ math], con la definición habitual de un entero [math] n [/ math] como suma de 1 [matemática] n [/ matemática] veces (esta no es exactamente la definición, pero está lo suficientemente cerca).

Entonces, por supuesto, [matemáticas] 1 + 1 = 2 = 3 [/ matemáticas], y [matemáticas] 3 + 1 = 4 = 3 = 2 = 1 = 0 [/ matemáticas]. Esto puede parecer muy similar a lo que teníamos con el sistema inconsistente, pero sin embargo es diferente, todavía hay declaraciones que son falsas. Por ejemplo, [math] 1 + 1 \ neq 2 [/ math] es una declaración falsa.

Llamemos “1” como “a ‘y” 3 “como” b “.

Entonces la ecuación se convierte en a + a = b

=> 2 a = b

=> a = b / 2

Ahora,

3 + 1 = b + a = b + b / 2 = (3/2) b

Como b es “3”,

3 + 1 = (3/2) x 3

= 1.5 x (3)

Si 3 en la respuesta anterior es el número natural con el que estamos familiarizados, entonces el valor se convierte en 4.5.

1 + 1 = 3

dividiendo 3 en 2 medias. es decir, 3/2 = 1.5

Por lo tanto, en esta pregunta, 1 = 1.5

luego,

3 + 1

=> 3 + 1.5

= 4.5

Solo mantenlo corto y simple.

Como dices 1 + 1 = 3

Entonces.

3 + 1 = 1 + 1 + 1 + 1 = 3 + 3 = 6.

Vota mi ans si estás de acuerdo.