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

p

2+2=11 (en base 3)

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

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

Ergo

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

oso_69

gatonaranja

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

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.

eliatron

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

Pancar

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

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

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.

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.

j

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

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.

c

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

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?

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

j

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

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

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).

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.

marcumen

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

debunker
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.

Campechano

#7 Eso mismo pensaba yo

j

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

F

#12 Triste pero cierto

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

#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!

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.

eliatron

#54 OUCH!!!! gracias.

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...

Ramanutha

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

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

Endor_Fino

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

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

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).

D

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

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?

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

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.

-pasillo-

Porque 4 y 2 son 6.

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"....

Octabvious

#25 Edit, leí binario y no ternario

D

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

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.

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.

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.

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