Desde los antiguos geómetras griegos, quien dice matemáticas dice demostración. Una demostración es un razonamiento que, a partir de unos principios o axiomas que se consideran correctos, permite deducir un resultado o teorema. Las demostraciones son el pegamento que mantiene unidas las matemáticas. Pero, ¿cuáles son los métodos de demostración válidos? Es decir, ¿de qué formas se puede llegar de los axiomas a los resultados?
Comentarios
Para los de digital solo hay uno.
Ánimo que solo acabais de volver a clase
p + !p = 1
p * !p = 0
!!p = p
!p + !q = !(p * q)
!p * !q = !(p + q)
(Y aquí me cansé, faltan las distributivas y las asociativas)
#7 es p = p siempre cierto?
#8 La gente racional o sin mala intención te dirá que si, un idiota o un malvado te diran que no siempre o que no tiene porqué.
#9 Es literalmente el axioma. Incuestionable.
Sin siquiera eso, nada en lógica o matemáticas tiene sentido alguno, incluidos otros axiomas.
#10 No se entendiste lo que puse...
En realidad el artículo sólo habla de una polémica que hubo sobre el método de reducción al absurdo. Muy interesante, no conocía la historia.
¿Y cuando lo que se pone en cuestión son los propios axiomas?
#2 Pues entonces los tendrás que sustituír por otros y serán "otras matemáticas".
#2 Si se pueden poner en cuestión, no son axiomas.
#6 Un malvado o imbécil, si se lo propone, pueden poner en cuestión cualquier cosa
Ojo porque el artículo es de un discípulo de la escuela de Oviedo, el think tank reaccionario fundado por Gustavo Bueno del que se nutre Vox