¿Puedes dar algunos ejemplos donde la lógica de las matemáticas es defectuosa?

Como todos los carteles anteriores mencionan, la lógica en matemáticas no puede ser defectuosa. Esta es la razón por la cual algunos de mis profesores se han referido a las matemáticas como “verdad absoluta” (creo que se puede argumentar filosóficamente qué significa la verdad absoluta o si existe, pero estoy divagando). De hecho, la cohesión de la lógica es la base de la prueba por contradicción, donde la lógica que produce resultados contradictorios significa que uno de los supuestos debe ser falso (sugeriría que busque este método si no está familiarizado con esta técnica). Aunque creo que se podría argumentar que esta objetividad de la lógica puede verse socavada por la subjetividad de la revisión. En última instancia, lo que se publica es que los expertos coinciden en que es una lógica sólida y que los humanos pueden cometer errores …

Sin embargo, definir los fundamentos de las matemáticas (como los axiomas que son, en cierto modo, supuestos) ha sido problemático en el pasado, y todos los intentos (que yo sepa) de alguna manera u otra han arrojado una paradoja. Un intento fue la ingenua teoría de conjuntos, pero Bertrand Russell demostró que era posible obtener una contradicción (ver la paradoja de Rusell) jugando con conjuntos que no son miembros de sí mismos. Otro cartel mencionaba que el axioma de elección generalmente formaba parte de la teoría de conjuntos de Zermelo-Frankel. Este axioma lleva a la llamada paradoja de Banach-Tarski que (en términos simples) dice que puedes desmontar una bola y volver a montarla de tal manera que obtengas dos bolas nuevas idénticas a la primera, algo así (no exactamente lo mismo ) como la paradoja que se muestra a continuación:
Ahora tenga en cuenta que estos resultados no interfieren con las matemáticas más “concretas” que podría pensar como álgebra o cálculo, pero siempre parecemos estar en problemas una vez que comenzamos a empujar ese límite entre las matemáticas y la filosofía. En mi opinión, las cosas parecen colapsar una vez que preguntamos si las matemáticas son realmente “reales” o no. Pero supongo que podemos dejar eso, al menos por ahora, para que la filosofía y / o la religión debatan.

1 + 2 + 3 + 4 + ⋯ = -1/12

No es realmente que las matemáticas sean defectuosas. Es solo que cuando habla de series divergentes, la suma no es lo que normalmente considera la suma

La lógica de las matemáticas no puede, por definición, ser defectuosa, como ya lo señaló Jack Sempliner. Esto se debe a que las matemáticas == lógica: no hay, en la mayoría de las áreas de las matemáticas, una distinción clara a saber. sin distinción alguna entre matemática y lógica. Sin embargo, es posible que desee analizar la teoría de tipos desarrollada por Martin-Löf, que afirma eliminar al menos una parte de la lógica tradicional (booleana). Ya sea que el reclamo se mantenga o no, no estoy tan seguro; El esfuerzo intelectual de Martin-Löf, sin embargo, es simplemente brillante y muy atrevido.

Al observar esos documentos difíciles de leer que supuestamente demostraron un teorema establecido con muchos símbolos arcanos que tal vez solo les importaba a unas pocas docenas en el mundo, luego fueron revisados ​​por pares y publicados, y aún están equivocados.

Hay una gran falta de redundancia y control de calidad en la academia que hace que el rigor a prueba de balas de la “lógica matemática” no se cumpla en sus promesas. Efectivamente, no es la definición lo que está mal, sino el sistema basado en última instancia en seres humanos falibles.

Una casa esta vacía. 2 personas entran a la casa. 3 personas salen de la casa. Ahora hay -1 persona en la casa.

La matemática pura no tiene defectos. Pero para usar las matemáticas, proyectamos la realidad en conceptos matemáticos y viceversa, y esa proyección a menudo es incorrecta.

Por definición, no. Sin embargo, una cosa que podría considerar es el Axioma de elección, la noción de indeterminación y los Teoremas de incompletitud de Godel.