Publicado hace 11 años por Fellaksion a eliatron.blogspot.com.es

Si de algo se tacha a las matemáticas en la sociedad es de ser completamente exactas; de decir verdades como puños, vamos. Y si de verdades matemáticas hablamos, la primera que nos viene a la cabeza es lo que todos aprendemos de pequeños: 2+2=4. Pero claro... cuando dices que eres matemático, una de las primeras cosas que te suelen preguntar es ¿y por qué 2+2=4?

Comentarios

F

#12 Triste pero cierto

j

#12 bárcenas, te hemos pillado en menéame!

p

2+2=11 (en base 3)

4 es el nombre que se le puso al siguiente del siguiente del siguiente de "uno"

eliatron

#8 s. De hecho, en el artículo así está definido 4. La demostración es independiente de la base.

D

Porque está en base 10

D

#4 También podría estar en base 5

Depende del ¿anillo? ¿cuerpo? y de como se definan las operaciones

vvega

#4 #5 2+2=4 en cualquier base en la que exista el 4, y como no puede estar en otra base porque el 4 está de hecho en la igualdad, pues 2+2=4.

alehopio

#27 NO.

No sólo depende de la base numérica elegida, como indico en #25, sino que también depende de la parte operacional ya que el símbolo ( + ) puede representar la suma de números naturales pero también puede representar otras operaciones cuyo resultado sea diferente.

Y, por supuesto, contando con que se usa la lógica simbólica general en donde el símbolo ( = ) define la igualdad entre números.
http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica

j

#32 Y también podría estar usando otro lenguaje que parece español pero en realidad está contando otra cosa distinta...

alehopio

#37 Esa opción está incluida en el uso de la lógica simbólica general que mencionaba al final del comentario. Incluso eso incluye en que un interlocutor sea un humano con formación y otro un burro con inteligencia (me reservo el papel del burro porque lo de pertenecer a la raza humana cada día desespera más).

vvega

#32 Yo estaba contestando a unos comentarios que asumían todo eso y hablaban de la base en la que estén expresados los números, y sigo manteniendo que la igualdad es correcta para cualquier base que admita los símbolos 2 y 4. Sí, 2+2=11 en ternario, pero no tiene sentido decir que 2+2=4 es falso en ternario porque, al incluir el 4, esa expresión necesariamente no es ternario.

alehopio

#38 Eso no define la operación suma. Eso define n* mediante la operación suma de 1, pero previamente no se ha definido lo que es la operación suma de números naturales partiendo únicamente de la base que toma la estructura que se pretende construir, los Axiomas de Peano, ya que de la teoría de conjuntos se necesita la parte de las funciones y no sólo la parte de los números. En realidad n+1=n* sería un axioma más y formalmente es incorrecto llamarlo definición, pero es un error muy extendido...

#41 Te olvidas de que partimos del resultado 2+2=4 y queremos ver su validez, no al revés tener 2 + 2 y ver el resultado. En sistema ternario 2+2=4 es invalido (como también es inválido en sistema ternario 2+24), o al revés 2+2=11 en sistema ternario.

Es decir, pongamos que yo te digo que incuestionablemente ( 2 + 2 = ✉ ) si entonces tu me contestas que en la sede del PP seguramente sí pero que eso no es válido en todos los sitios, y yo te digo que sólo es válido en la sede del PP que es el único sitio donde ✉ es algo común: pues estaría faltando a la lógica ya que no es "incuestionable" que era lo que discutíamos (no el hecho de que la operación sea en negro).

T

#44, claro que eso define la suma: por inducción.

Introducción a la Lógica, Capítulo 1, Apartado 1, Demostraciones por inducción.

alehopio

#47 Definir algo que no se dice qué es resulta ser un axioma y no una definición matemática.
¿qué es una operación según los axiomas de Peano?

D

#4, #27, independientemente de la base en la que se esté, 2 + 2 = 4 puesto que estamos hablando de lo que suman dichos números, no de cómo se escriben. Cambiar de base solo cambia la forma de escribir los números, no las operaciones.

Ergo

¿Por qué 1 es 1 y 2 es 2?, esta sería la primera cuestión a analizar...

Endor_Fino

#13 No, la cosa es por qué 0+0 es 0.

Pancar

#16 En esta "versión" el 0 no cuenta:

P3.- El 1 no es el sucesor de ningún otro número natural.

eliatron

#13 1 se define como el elemento inicial de N. Es el único elemento, por definición, que no tiene antecesor.
El 2 está también definido como el sucesor de 2.

D

#48 2 como sucesor de 1. Te cito no por corregirte, que ya sé que ha sido una errata en el comentario, pero para aclararlo para el que ande un poco perdido.

eliatron

#54 OUCH!!!! gracias.

oso_69

R

Digo más: A es A.

p

porque no eres fran perea.

D

Por qué 2 y 2 son 4

Como decía mi profesor cada vez que le ponias en un aprieto: Esto es así por definición

D

3 según la guardia urbana y no hay ninguna suma según Cifuentes.

Y al que diga lo contrario le pido el DNI por peligro de terrorismo.

juvenal

Cuando he visto el titular me he imaginado por donde iba la cosa y, en efecto, esa fue la forma en que estudie hace ya más de 20 años los fundamentos de la aritmética.

eliatron

Para los que piensan que esto es artificial, aquí va mi opinión.

Sí. Es cierto. Es artificial.

Pero la belleza de las matemáticas radica, en parte, en que ha sido capaz de mirarse a sí misma e indagar en las más profundas raíces de su ser. Y no sólo mirarse sino tratar de fundamentarlas.
LAs Matemáticas son tan HUMILDES que ha puesto de manifiesto incluso su propia inconsistencia. Y todos los matemáticos nos hemos enorgullecido de eso.

¿Qué otra disciplina científica ha tenido esta oportunidad?

c

Pues yo de pequeñito aprendí que 2 y 2 son 22

j

Eso fue lo que di en mi primera clase de la universidad. Qué tiempos, jeje.

Ormuzd

Estas son las demostraciones metematicas que odiaba en el instituto y en la universidad.
Si yo me lo creo, no hace falta que me lo demuestres y menos q luego te lo demuestre yo

capitan__nemo

Relacionada:
Viñeta: Forges - 22 de enero de 2013
Viñeta: Forges - 22 de enero de 2013

Hace 11 años | Por Lancepo74 a elpais.com

debunker
marcumen

Joder, he dejado de leer cuando ha empezado con las fórmulas... y mira que le puse ganas.

D

#20 te pasa como a mí, si alguien me preguntara "¿por qué 2+2 =4?" creo que contestaría "¿pero tu eres tonto?"

s

qué sencillez!

Elrosquasard

Hace años mi profesor de matemáticas me dijo que en realidad era un ejercicio de fe. Que para demostrarlo ya estaban ellos.

D

Una de las grandes conclusiones que podemos sacar del teorema de incompletitud de Gödel es que DEMOSTRABILIDAD no es lo mismo que VERDAD. Existirán siempre verdades conocidas que no pueden ser demostradas, por definición, por la propia estructura de la lógica, de la realidad...

D

Como dijo un profesor en negociaciones: 2+2 son lo que acuerden las dos partes

Campechano

Yo he visto por ahí una demostración por reducción al absurdo:

Suponemos que 2+2!=4, con lo cual tenemos que 2!=4-2 o lo que es lo mismo 2!=2 QED

No sé si será correcta una demostración tan simple

Campechano

#7 Eso mismo pensaba yo

-pasillo-

Porque 4 y 2 son 6.

alehopio

#0 Formalmente errónea por incompleta, en lenguaje matemático estricto.

Veamos como se explica eso en lenguaje coloquial: las matemáticas son una serie de operaciones lógicas que partiendo de una base determinada sirven para montar un conjunto lógico de construcciones planificadas en pasos sucesivos que se contienen.

De ese modo, en la explicación que se quiere realizar de 2+2=4, que sería la construcción planificada a montar, se parte de una base determinada que son los teoremas sobre el conjunto de los números naturales, y se construyen en etapas sucesivas la lógica que lleva al resultado mencionado. Pues bien, en este caso falla por incompleta ya que describe perfectamente la parte numérica pero no hace lo mismo con la parte operacional de la construcción al no describir la operación suma.

QED

P.D. Y, como sugiere al final del artículo, 2+2=4 en sistema decimal; pero por ejemplo en sistema ternario 2+2=11

http://www.luventicus.org/articulos/02A035/index.html
http://es.wikipedia.org/wiki/Sistema_ternario

Octabvious

#25 Edit, leí binario y no ternario

D

En cierta ocasión unos científicos lograron crear una máquina, supuestamente perfecta, que era capaz de decidir si cualquier proposición era verdadera o falsa. Hicieron las comprobaciones pertinentes y la máquina siempre logró dar con la respuesta correcta. En eso llegó un sabio que decidió acercarse a retar a la máquina, e introdujo en ella la siguiente proposición: "Esta máquina no puede decir si esta proposición es verdadera". Si la máquina respondía que era verdadera, la proposición se volvía de repente falsa, y si decía que era falsa, ésta se volvía de pronto verdadera. Obviamente, ante la paradoja que le supuso, la máquina colapsó sin poder dar una respuesta correcta.
La proposición no pudo demostrarse nunca, eso sí, ningún humano dudaba que era absolutamente verdadera.

D

Es tan simple como que 3 x 8 son 24 y no viceversa

gatonaranja

#1 8*3 no son 24? Anonadada me dejas!

o

Por eso siempre me han caido mal los matemáticos (que no las matemáticas), para demostrar una premisa simple utilizan choporrocientas premisas complejas no demostradas previamente, y si pides que demuestren una de esas premisas utilizan más premisas no demostradas ad infinitum.

Se supone que las matemáticas son exactas y dan respuestas, pero planteadas así parecen un programa de Iker Jimenez.

Ramanutha

#43 En la mayoría de los casos las demostraciones se hacen utilizando premisas más básicas.

o

#45 Mira en este meneo por ejemplo, entre otras cosas da por hecho que todo numero natural tiene un sucesor, puede parecer algo obvio, como que 2+2=4, pero demostrarlo llevaría a sin duda a otras premisas obvias pero no demostradas, y asi, lo que debería ser un camino de acercamiento a los axiomas se convierte en justo lo contrario, si el axioma fuese la raiz del arbol de esta forma no estamos bajando hacia ella, estamos subiendonos por las ramificaciones cada vez más numerosas y alejadas.

Desde el punto de vista lógico me parece falaz enseñar matemáticas asi, como si este ejercicio fuese una explicación, no es una explicación, es una equivalencia a nivel arbitrario de un supuesto a partir de otros supuestos derivados.

Y ahora me voy a tomar mi pastilla.

crudarealidad



y

j

Con lo fácil que era definir directamente 4:= 2 + 2.

s

Fran Perea no se equivocaba...

GekoDH

Pues según Fran Perea 1+1=7

eliatron

#59 Perdón por el voto negativo... me confundí al darle, sólo quería responderte. Lo siento.

Lo que quería decir es: SI supieras lo que me costó encontrar una imagen que no hiciera referencia a Fran Perea o a Los Serrano haciendoo una búsqueda en google del tipo "uno mas uno" ó "1+1"....