Si tuviera un montón de arena con [math] {\ aleph} _ {1} [/ math] granos y un montón de arena con [math] {\ aleph} _ {2} [/ math] granos, ¿cómo podría decir la diferencia entre ellos?

No puede tener un montón de arena con [math] \ aleph_1 [/ math] o [math] \ aleph_2 [/ math] granos. Ni siquiera puedes tener un montón de arena con [math] \ aleph_0 [/ math] granos a menos que el universo sea infinito y, aun así, probablemente no sea una hipótesis falsable y, por lo tanto, podría decirse que no es científico.

Puede notar que las matemáticas son independientes de la realidad: las abstracciones matemáticas, como los números cardinales transfinitos, pueden no tener modelos en física. La mayor parte de la física se realiza con modelos matemáticos donde se supone (a veces explícitamente) que los objetos reales satisfacen los axiomas aplicables al objeto matemático relevante. Lo contrario a menudo no es el caso. Incluso los objetos matemáticos simples como la botella de Klein pueden no tener un modelo posible en la realidad.

Las pilas de arena pueden ser modelos útiles para números finitos como el número de estrellas en la Vía Láctea u otras cantidades físicas, pero no son muy útiles para conjuntos infinitos como el conjunto de números racionales, [math] \ mathbb Q [/ math ], el conjunto de números reales [math] \ mathbb R [/ math], o el conjunto de todos los subconjuntos de números naturales, [math] \ mathcal P (\ mathbb N) [/ math].

Fácil. Llame a los montones de arena [matemáticas] A [/ matemáticas] y [matemáticas] B [/ matemáticas].

Primero, asuma el axioma de elección.

Luego, ordene bien el conjunto de funciones de [matemáticas] A [/ matemáticas] a [matemáticas] B [/ matemáticas]. Examínelos, en orden, buscando una inyección de [matemáticas] A [/ matemáticas] a [matemáticas] B [/ matemáticas]. Si ve uno, entonces [math] A [/ math] es la pila con [math] \ aleph_1 [/ math] granos. Si no, [matemática] B [/ matemática] es.

Solo puede colocar [math] \ aleph_0 [/ math] granos de arena en un espacio 3D infinito.

More Interesting

¿Cuál es una explicación laica del significado de un espacio generado de forma compacta?

Cómo demostrar que si X es un espacio de medida finito [math] \ sigma [/ math], y tengo un conjunto B de medida distinta de cero, entonces existe un subconjunto [math] C \ subseteq B [/ math] tal que C tiene una medida finita y positiva

¿Por qué el límite superior mínimo y el límite inferior mayor del conjunto vacío es [math] - \ infty [/ math]?

¿Cuáles son algunos trucos matemáticos utilizados para las competiciones matemáticas de velocidad?

¿Existe realmente alguna constante física como la longitud de Planck que pueda derivarse de la matemática pura?

¿Por qué cuando dos vectores se multiplican a través del producto cruzado, la resultante es perpendicular a dos vectores multiplicados?

¿La distribución de la riqueza es logarítmica?

¿Puedes usar lógica pura para probar una conjetura matemática?

¿Qué es [matemáticas] 2n + 4n [/ matemáticas]?

¿Alguna vez has llorado por las matemáticas?

¿Es cierto que las matemáticas mentales pueden ejercitar tu cerebro y hacerte más inteligente en general?

¿Cómo es que [math] (P \ wedge Q) \ to R [/ math] es lógicamente equivalente a [math] (P \ to R) \ vee (Q \ to R) [/ math]?

¿Cuál es el cierre transitivo de la relación R = {(b, a), (b, e), (c, b), (c, d), (e, d)}?

¿Cuáles son algunos ejemplos de la propiedad simétrica de la igualdad?

Cumpleaños: ¿Cuáles son las posibilidades de que conozca al menos una persona que no esté relacionada con usted y que comparta su fecha exacta de nacimiento (mismo mes, mismo día, mismo año) en el transcurso de su vida?