Pruebas La Ciencia y la Tecnología mejoran el futuro

¿Cuáles son algunos de los métodos de prueba más interesantes?

(Voy a enumerar dos métodos de prueba aquí, luego una prueba que usa ambos) (I) Soy muy aficionado a las pruebas no constructivas en general [también aprecio los sistemas lógicos que enfatizan el constructivismo]: hay algo mágico en…

¿Cómo se habría escrito esta prueba matemática? ¿Qué lo hace tan grande para ocupar 200 TB?

No es técnicamente una prueba, diría, sino un conjunto de datos por valor de 200 GB. Entonces, ¿de qué se trata todo esto? Lo resumiré lo más breve posible aquí. Problema : ¿Es posible dividir un conjunto de…

Cómo demostrar formalmente estos dos teoremas simples en el lenguaje de ZFC

Lo primero que hay que mencionar es que ZFC es una teoría formal de primer orden con solo un tipo de variables: aquellas que representan conjuntos (conjuntos bien fundados, es decir, aquellos que se pueden descomponer en conjuntos…

Dada una declaración matemática, ¿por qué no hay Algoritmo que le diga si hay una prueba o una prueba de la declaración?

No existe tal algoritmo. Un ejemplo simple ilustra el punto: ¿Cuántas veces se tarda en repetir algún proceso? O bien, el proceso continuará para siempre. O bien, se detendrá después de un número finito de repeticiones. Debería ser…

Cómo demostrar que una declaración es indecidible

La respuesta de Hans Hyttel es correcta, pero para decir un poco más … Para la notación, usaré CH para representar la hipótesis del continuo. En primer lugar, es mejor decir que CH es independiente de ZFC, en…

¿Cuál es la prueba matemática de que el método de mínimos cuadrados penaliza / magnifica errores más grandes?

No estoy seguro de si esto es lo que está buscando, pero la forma más sencilla de verlo es utilizando los derivados de las funciones de costo. Veamos una función realmente simple, la distancia al cuadrado a un…

¿Cómo es probar un teorema que nadie ha probado antes?

Aquí hay un enlace al Novato “El Gran Misterio de las Matemáticas“, donde los científicos hablan sobre lo que es probar un teorema que nadie ha probado antes (@ 19: 10). ¡Disfrutar! El gran misterio matemático – NOVA…

¿Podría haber una segunda prueba del último teorema de Fermat?

Antes de que Wiles presentara su prueba, había varias rutas diferentes consideradas para probar Fermat. Esas rutas son esencialmente plausibles como formas alternativas de demostrarlo, que todavía no se han hecho funcionar. La prueba de Wiles se basa…

Cómo demostrar que si [math] \ frac {b} {a} = \ frac {d} {a} [/ math], entonces [math] b = d [/ math]

Teorema : en un campo, [matemática] \ dfrac ba = \ dfrac da [/ matemática] implica [matemática] b = d [/ matemática] Prueba : supongamos que en un campo tienes [math] \ dfrac ba = \ dfrac da…

Cómo probar 2 = -2

Como tal, esto es solo una prueba falsa. No creo que esto pueda responderse sin considerar una falacia. Sin embargo, daré una prueba: Considera la expresión [matemáticas] -2 = -2 [/ matemáticas] La expresión anterior se puede escribir…