EL AXIOMA DE ELECCIÓN: Cómo Elegir Infinitos Gatos de Infinitas Cajas

Рет қаралды 67,277

5 ай бұрын

■ Para probar todo lo que ofrece Brilliant durante 30 días totalmente gratis, visita brilliant.org/MatesMike/ . Los primeros 200 en usar mi link obtendrán un 20% de descuento en la suscripción anual Premium de Brilliant.
■ Patreon: / matesmike
■ Miembros del canal: / @matesmike
■ Instagram: @mates.mike
■ Twitter: @mike_mates
►► ALGUNOS VÍDEOS:
► SAGA DEL INFINITO: • La Paradoja del Hotel ...
► SAGA DEL FACTORIAL: • ¿Qué es el Factorial e...
► LA HIPÓTESIS DE RIEMANN: • El Patrón de los Númer...
► El Orden de los Factores SÍ altera el Producto: • El Orden de los Factor...
► Cómo Dividir Entre 0 Sin Colapsar el Universo:
• Cómo Dividir entre 0 s...
►Ecuaciones y fractales: • Cómo CREAR FRACTALES c...
Este vídeo está patrocinado por Brilliant.

Пікірлер: 308

@MatesMike 5 ай бұрын

@lagrangianomodeloestandar2724 5 ай бұрын

El 90% de la información que captamos es visual,en Internet hay el equivalente a 400.000 millones de segundos o 13000 años de información acumulada en todo tipo de datos, imaginaros poder absorber todo esa información,es decir que teniendo en cuenta que los transformers tienen un costo cuadratico y actualmente cuesta un llm con un dataset de un dia equivalente y 7000 millones de parametros,costaria muchisimo mas entrenarlo con todos los datos de internet,pero aun asi toda la experiencia de toda la especie humana en teoria seria habiendo existido 120.000 millones de personas,aun asi seria entorno 32 millones de veces mayor a la registrada en internet,pero aun así,si el hardware progresa exponencialmente,en dos décadas podria llegar a superar esta cantidad de información,por el hardware no digital,la inteligencia artificial y los sensores de robots y sistemas menos dependientes de la supervision y datos humanos en el entorno

@的事情家里 5 ай бұрын

Si llevamos las matemáticas al campo de la filosofía se podría demostrar que todo lo demostrado en las matemáticas al día de hoy es totalmente falso😅😅😅

@MatesMike 5 ай бұрын

Nope

@的事情家里 5 ай бұрын

@@MatesMike no me tientes a ponerme a filosofar que todavía no se cuantos caracteres tiene KZbin para ocupar un comentario 🤣😂

@danigm9354 5 ай бұрын

Y dale con que 0 ∉ ℕ, no se te quita la tontería

@JCCyC 5 ай бұрын

¡¡¡¡Si!!!! ¡Queremos un video sobre Banach-Tarski! ¡Por favor!

@TheQuiyax 5 ай бұрын

@GuzMat-matematicas 5 ай бұрын

Banach-Tarski: kzbin.info/www/bejne/foGvhWVrjbWAmZI

@PepeC100 5 ай бұрын

@miguelalonsoperez5609 2 ай бұрын

Yo vi varios y no son muy claros, la demostración completa es lo único que me permitió entenderlo bien, pero a lo mejor Mike consigue hacer algo comprensible en menos de 20 min: podrá con ello? Yo creo que sí! 👍

@fernandogeijo2769 5 ай бұрын

El axioma de elección ha sido siempre mi agujero negro de las matemáticas. Tengo 69 años y en mi época el bachillerato comenzaba a los 10 años y eran 6 cursos. En 3º nos metieron en un programa piloto de enseñanza de las matemáticas (que me acabó de enamorar de ellas) que empezaba en la teoría axiomática de conjuntos y nunca entendí para que hacía falta el axioma de elección (la verdad es que no volvió a aparecer en ningún momento). Definimos las estructuras algebraicas de grupo, anillo, ideal y cuerpo y "creamos" los naturales (partiendo de los axiomas de Peano), enteros, racionales, polinomios y reales (límites y sucesiones de Cauchy previamente); luego los complejos (como clases de congruencia de los polinomios, modulo x2+1) y acabamos con derivación e integración y geometría analítica en el plano Real. Hasta la combinatoria (estudiamos la estructura algebraica de las permutaciones como grupo y las probabilidades salieron de la teoría de conjuntos. Pero a pesar de este bagaje (y no es por presumir, con calificaciones excelentes), el axioma de elección era un agujero por llenar. Todo quedo en un plan piloto, somos la única promoción de un único centro que ha estudiado así las matemáticas. La verdad, es que fue de gran ayuda cuando empecé la carrera, ya estaba acostumbrado a ese lenguaje.

@Perrocallejero404 5 ай бұрын

¿Con 13 años? ¿En la educación obligatoria aun? Que envidia. Yo no supe de la existencia de conjuntos hasta los 19 años y 1º curso de carrera (Plan bolonia ya). Y por otro lado acabo de terminar un FP superior, en donde el más pequeño tenía ya los 18 también, y bueno, el nivel de matematicas..... algún compañero no sabía decir si un numero con dos decimales era mayor que otro con un decimal. Y es un FP de programación industrial. Que pena que esas experiencias piloto no se acaben generalizando y si se generalice el pasar con cada vez más asignaturas pendientes. En fin....

@anonimouuu 5 ай бұрын

Hilbert dijo que la elección de los axiomas es árbitrario y que la única razón de elegir unos frente a otros es porque puedes deducir más propociciones interesantes. Por otro lado todas las elecciones requieren el axioma de elección. Por ejemplo, admitiendo AI y AP, podemos demostrar que el conjunto Pω tiene una función de elección

@infinitomatematicoyteorema9637 5 ай бұрын

Quizás te sea interesante echarle un vistazo al libro: JULIÁN GARRIDO GARRIDO: “VERDAD MATEMÁTICA: INTRODUCCIÓN A LOS FUNDAMENTOS DE LA MATEMÁTICA” Editorial Nivola. Lo recuerdo como sencillo de entender y bastante explicativo de ¿Cómo y por qué tenemos la axiomática actual?

@fernandogeijo2769 3 ай бұрын

@@anonimouuu Arbitrario del todo no, al menos han de ser coherentes y así y todo, nos encontramos con el teorema de incompletitud de Gödel. Pero es cierto, un solo axioma da lugar, por ejemplo, a geometrías euclidianas y no euclidianas.

@fernandogeijo2769 3 ай бұрын

@@infinitomatematicoyteorema9637 Muchas gracias por la sugerencia; pero es un aspecto puntual lo del axioma de elección, leí Principa Mathematica de North y Russel y acabo de leer otro sobre la hipótesis de Riemann. Puede que mi próximo tema a profundizar sea el axioma de elección.

@yhoncastro7015 5 ай бұрын

Qué buen vídeo Mike. Sólo quisiera agregar que en ciertos casos, es posible hacer elecciones prescindiendo del axioma (es decir, desde ZF). Un caso de esto, son los conjuntos bien ordenados, de los cuales en ZF existen de todas las cardinalidades posibles (por ejemplo los números cardinales en si, son conjuntos bien ordenados). También, no todo es Pokémon rojo o verde. Hay matices. Existen axiomas intermedios al axioma de elección y qué son muy útiles en matemáticas. Por ejemplo, hay algo llamado el axioma de elección dependiente, muy usado en análisis matemático cuando seleccionamos, por ejemplo, subsucesiones de una sucesión. Algo muy interesante de este axioma es que no puedes probar la existencia de conjuntos de Vitali con él. Es más, existen modelos de la teoría de conjuntos en los que es válido el axioma de elección dependiente y todo subconjunto de la recta real es Lebesgue medible. Saludos!

@michaeldarwinrivadeneirari1883 5 ай бұрын

gran video mike!!! esperaba por un video asi hace mucho tiempo........ aprovecho de pedir si puedes hacer un video sobre "teorias" axiomaticas de conjuntos..... saludos y larga vida a la divulgacion 😊

@robertocarlosminero3175 5 ай бұрын

Gran contenido como siempre! Felicidades! Por favor que siga la paradoja de Banach-Tarski! Saludos y felicitaciones por difundir las matemáticas de manera tan divertida!

@algebraicoo 5 ай бұрын

Del axioma de elección se deduce la paradoja de Banach-Tarsky, solo por eso yo ya asumo el axioma de elección, yo quiero vivir en un mundo donde puedas multiplicar cosas aunque no sepas como, sigue siendo muy épico

@moi6pelayo 5 ай бұрын

De la negación del axioma de elección se deduce algo mucho más loco. Una esfera se puede dividir y rearmar en una cantidad infinita de esferas del mismo tamaño

@algebraicoo 4 ай бұрын

Wow donde puedo ver esa demostración?

@moi6pelayo 4 ай бұрын

@@algebraicoo ahora que lo pienso, quizá está mal lo que dije. Fue algo que escuché en un seminario en el que hablaron de la negación del axioma de elección. Pero el resultado no era sobre una esfera, sino sobre otro conjunto infinito. La cosa usaba dos conjuntos que no tengan funciones inyectivas de uno al otro, lo que se puede si se niega el axioma de elección, pero se podía construir una función que inyectiva que va de uno de ellos a subconjuntos disjuntos y de cardinalidad infinita del otro conjunto. Dicho de otra manera, si hay un conjunto de personas y otro de monedas, puede que sea imposible darle una moneda a cada persona, pero sí se podría darle una cantidad infinita de monedas a cada persona

@moi6pelayo 4 ай бұрын

@@algebraicoo no soy experto en teoría de conjuntos, pero sí conozco a una de las personas que dió ese seminario. Si de verdad te interesa le puedo preguntar donde leer los resultados que surgen de negar el AE.

@algebraicoo 4 ай бұрын

@@moi6pelayo Si porfavor proporcióname bibliografía al respecto me resulta muy interesante el tema amo la teoría de conjuntos

@DualMath 5 ай бұрын

Domingo + Mates Mike = Felicidad :)

@danielcc2730 5 ай бұрын

Son gatos de shrödinger

@marbarf2378 5 ай бұрын

O sea shrödinger plantea que mientras no se abra la caja el gato va a estar vivo y muerto al mismo tiempo. Ahora mi pregunta. De donde salen las infinitas cajas y por que pensar en infinitas cajas? ( disculpa no entiendo)

@danielcebeira7469 5 ай бұрын

@@marbarf2378Hola, se consideran infinitas cajas por que en matemáticas muchas veces se trabaja con colecciones infinitas. Por ejemplo una función con dominio N y rango N (los números naturales) ya está considerando colecciones infinitas, en este caso la colección de los números naturales.

@marbarf2378 5 ай бұрын

@@danielcebeira7469 ah okey entendí. Muchas gracias!

@larinzonbruno9126 5 ай бұрын

Sí, esos Gatos cuánticos están cuantiosos

@vixros6898 5 ай бұрын

@marbarf2378 de Schrödinger porque puedes y no puedes elegir. Al igual que está vivo y muerto

@josepmonllau 5 ай бұрын

Queremos ver la paradoja de la esfera Mike!

@marcelob.5300 5 ай бұрын

Si, Mike, sería muy interesante un video sobre Banach!

@brunostassi5970 5 ай бұрын

Muy buen video! Podrías hablar sobre curiosidades del árbol matemático donde no se acepta el axioma de elección?

@sirjuliusdeviscensus114 5 ай бұрын

que bacana la explicación, no olvide el de las esferas,,,, gracias

@MrJovenanonimo 5 ай бұрын

Muy buen vídeo. Sería interesante que contases dicha paradoja.

@Eselenmorze 5 ай бұрын

Seria epico un video sobre los axiomas y como "crear" las matemáticas que conocemos hoy en dia

@masterbick2 5 ай бұрын

Ya ha hecho un vídeo hablando de eso

@chatgptmysoulmate 5 ай бұрын

@@masterbick2link? O título?

@joauqinxd8560 5 ай бұрын

@@masterbick2link o titulo?

@ghostergd2773 5 ай бұрын

kzbin.info/www/bejne/bKC7pGqPnpmnfbssi=dTjv0VVfFMTUWjVN , se relaciona en algo , ns si sea lo q quieres 👍

@ghostergd2773 5 ай бұрын

@@chatgptmysoulmate.

@josetomasneumann9228 5 ай бұрын

Excelente video! Muy buen trabajo difundiendo ideas profundas de las matemáticas!

@luishernandezmagro585 2 ай бұрын

Hola! Muy buen video! A mí sí me resultaría interesante un video sobre la paradoja de Banach-Tarski. Gracias!

@DFTDER 5 ай бұрын

Reconociendo nuestras debilidades, sabemos que nosotros mismos somos un conjunto limitado de axiomas y que nuestra "libertad" solo se aplica dentro las posibilidades que estas permiten. Ciertamente, no se puede definir a una persona solo por sus debilidades en el largo plazo ya que la forma exacta de estas se van volviendo difusas con otras debilidades posibles conforme el tiempo pasa. El juicio sobre si estas debilidades son buenas o malas recae en cada quien (como en todo lo demás supongo).

@ashavenascuerno2677 5 ай бұрын

necesito un video de la paradoja de banach tarski y no lo sabia hasta ahora 😃😃

@davidnunez8668 5 ай бұрын

Siii por favor un video de la paradoja de Banach Tarski

@millhiorebt 5 ай бұрын

Que buen video, espero ver pronto el siguiente video de Banach-Tarski! Saludos Mike

@mikimafi4558 5 ай бұрын

Me encantan tus vídeos, en serio, tu canal es brillante. Eres profesor? O pensaste alguna vez en serlo? Se nota tu pasión por las matemáticas!!

@gabrielgauchez9435 3 ай бұрын

Se puede usar matematicas para fisica conjuntos numericos operaciones derivadas integrales vectores matrices etc de igual manera con o sin el axioma de eleccion? Podria usarlas sin nesesidad de usar el axioma o au negacion?

@ramonesteban-romero9480 5 ай бұрын

Hola. Reconozco que no terminé de entender bien el axioma de elección hasta que don Manuel (Valdivia) lo utilizó en una clase de quinto curso. Él decía en la demostración de un teorema que tenía un conjunto infinito de conjuntos, podíamos elegir un elemento de cada uno de los conjuntos, y la colección formada por todos ellos es un conjunto. Creo que este es el punto: está colección es un conjunto, un objeto de esos con los que se puede trabajar en la teoría de conjuntos, y no una «clase propia», como la colección (clase) formada por todos los conjuntos de cardinal 1, por ejemplo, en las que podemos pensar, pero que no satisfacen los axiomas de la teoría de conjuntos. Mi punto de vista tras esa clase de don Manuel es: podemos elegir un gato de cada conjunto, pero lo que resulta de esa elección no tiene por qué formar un conjunto, es decir, un objeto válido de la teoría de conjuntos. Una abraçada!

@MatesMike 5 ай бұрын

Gràcies pel comentari, Ramon! Una abraçada també. I mil gràcies per les teues classes :)

@ramonesteban-romero9480 5 ай бұрын

@@MatesMike , gràcies!

@alcabellog 5 ай бұрын

Un comentario habla sobre el gato de Shrodinger, yo estaba pensando en que las particulas cuanticas son indistinguibles, si tienes un monton de fotones en el mismo estado no puedes distinguir uno de otro, ¿cómo puedes elegirlos pues?. Creo que en este caso solo necesitamos sacar uno, comentas que sacarlo aleatoriamente nos sirve, pero si se le da vueltas, a lo mejor tiene algo que ver. Me gustan estos videos, dan que pensar 😀

@enriqueordaz615 5 ай бұрын

Estupendo video! 👏

@nataliagalliani218 5 ай бұрын

Muy loco. Sí, claro que quiero saber cómo se pueden hacer dos esferas a partir de una. Y también sobre las proposiciones indecidibles.

@magicrubinny5764 5 ай бұрын

Me ha flipao el vídeo. Grande Mike

@nachorodriguez6380 5 ай бұрын

La primera frase del video es un resumen de tu canal entero jajaja Muy buen video como siempre

@miguelalonsoperez5609 2 ай бұрын

La “paradoja” de Banach-Tarsky no es de hecho una paradoja: en su momento suscitó sorpresas porque aplicada de forma directa a la materia implica una transgresión de la conservación de la masa o de la energía si se hace al espacio. Pero claro, esto es “aplicado a”, en la práctica varios físicos argumentaron que no es posible obtener nada parecido a los fragmentos en el teorema de Banach, ya que son densos en la esfera pero carecen de interior en ella, y esto implica una división infinita de la materia o del espacio lo que tampoco es físicamente posible. Podrías hacer el vídeo y aprovechar para introducir la medida de Lebesgue, que en parte fue creada para evitar que el teorema de Banach-Tarsky y otros (como los fractales) fueran incompatibles con la idea de qué es “medir” el tamaño de algo. Buena suerte con el vídeo del teorema de B-T, a ver cómo te las arreglas porque la demostración es un ladrillaco de teoría de grupos, matrices de rotación y teoría de conjuntos pero seguro que tú puedes hacer algo con ello! 💪💪 Fenomenales tus vídeos, saludos desde Galicia!

@sergiobitar7791 5 ай бұрын

Aplicando el axioma de elección tiene un parecido enorme "al problema de la medida" en física, definir algo implica in-definir otra cosa, e intervenir en la medida afecta a la medida generando decoherencia. Filosóficamente hablando ningún río baña a un mismo gato de una misma caja dos veces, lo que equivale a un axioma de no cambio, ni en el tiempo ni en el espacio, o sea infinitos conjuntos de de infinitos gatos estrictamente virtuales, o sea solo del conjunto de gatos virtuales, limitando la elección a una realidad subinfinita, pudiendo haber cajas con gatos reales, fotografías de gatos, gatos dibujados etc, y habiendo hasta la probabilidad o problema de tener que sacar un gato de un conjunto vacío o llamado cero gatos, los conjuntos pueden exceder a sus elementos, cuando se dicen infinitas cajas un axiomas es que son exclusivamente cajas de gatos.

@aristoeldesarmado 5 ай бұрын

*Se despierta agitado y con sudoración fría* - ¿Qué te pasa, Schrödinger? - He... he tenido una pesadilla horrible...

@ismaelsc7272 5 ай бұрын

En este supuesto existe algun tipo de definición de los infinitos conjuntos y los elementos que en ellos hay? Puede haber conjuntos con elementos repetidos o con infinitos elementos? Gracias y un saludo!

@jotajaviergonzalezgarcia7504 5 ай бұрын

Gracias. Siempre espero tus vídeos con anhelo

@ingeniodidactico 5 ай бұрын

Buen vídeo. ¿Podría haber una segunda parte donde se dieran resultados equivalentes al axioma de la elección?

@PedroOrtiz-sh8hs 5 ай бұрын

Excelente video, felicitaciones

@luismorales-rs9gr 5 ай бұрын

Un resultado interesante es que si asumes el axioma de elección se puede demostrar que existen conjuntos de numeros reales no medibles en el sentido lebesgue. Por el contrario, si no lo asumes, todos los conjuntos son medibles

@user-do7rc5jp7l 5 ай бұрын

te equivocas, es si lo niegas, si no lo asumes quedaría como una proposición indecidible

@ioamante9558 5 ай бұрын

Excelente trabajo 👏 👍

@El_Girasol_Fachero 5 ай бұрын

Me fascinan estos videos que incluyen al infinito🗿🤯♾️👀 gracias Mike❤🤍

@FranciscoPerez-ou5tt 4 ай бұрын

Interesante lo de banach, cuéntanos más!

@Bobafet251 5 ай бұрын

oír a Mates Mike hablando de axiomas debe ser uno de mis placeres más grandes

@Thefermar337 5 ай бұрын

Ayyy cómo nos gustaria un vídeo sobre banavh-tarski 😍

@alvaromartinezlopez4603 5 ай бұрын

A mi me parece curiosa la proposicion que creó Gödel que dice de si misma que no es demostrable, pero es cierta. Ahora bien, como no es denostrable puedes añadir su negación a los axiomas y se crean unas matematicas nuevas, con unos números que se llaman supernaturales que tienen propiedades tales como que son naturales con infinitos digitos o como que si la suma es decidible, la multiplicacion no lo es y viceversa. Fascinante

@hebermoreno7963 5 ай бұрын

¡Apoyando el vídeo en favor de la demostración de la esfera!

@alexgarcia77 5 ай бұрын

Añadiría al vídeo un ejemplo de conjunto de números reales (el conjunto de Vitali) que existe solo si suponemos el axioma de elección. Es un conjunto no medible y, de hecho, se puede demostrar que todos los conjuntos de números reales sin el axioma de elección son medibles.

@Akzule 5 ай бұрын

Brillian es un grande. También Khan Academy. Por cierto: usar y entender el axioma de elección es siempre delicado.

@completo3172 5 ай бұрын

A pesar de no haber visto una demostración de que el resto de los axiomas de conjuntos son independientes del axioma de elección, intuitivamente entiendo esto como que los conjuntos de estos axiomas no tienen suficientes restricciones para poder hacer elecciones constructivas para cada colección de conjuntos. Si cada colección de conjuntos tuviera algún patrón, algo que permita identificar elementos de cada conjunto que tengan una propiedad especial (que se pueda claramente describir en lenguaje matemático) y que haga a esos elementos únicos, entonces podría darse una función explícita para escoger esos elementos de los conjuntos. El problema viene con que los conjuntos pueden ser demasiadas cosas diferentes, haciendo que las colecciones de conjuntos puedan ser demasiado arbitrarias. Es esta arbitrareidad la que provoca que no se sepa si TODAS las colecciones de conjuntos tienen un "patrón" que permita una elección constructiva de elementos de cada uno de los conjuntos. A su vez, esa arbitrareidad hace que asumir el axioma de elección de lugar a resultados tan extraños.

@adrieldumo6651 5 ай бұрын

Dios, todo cobro sentido con el teorema del final

@matiaspettinaroli6990 5 ай бұрын

Gran video!

@enzoo5333 5 ай бұрын

Alto video, me encantó.

@antonioperdomo9203 5 ай бұрын

Oye lo de las bolas esta loco por favor explica, te felicito muy bueno tus videos

@xander20999 5 ай бұрын

Excelente video Mike

@LuisSanchez-tk9zq 5 ай бұрын

Me interesaría mucho ver la Paradoja de Banach-Tarski

@waltermelo5538 5 ай бұрын

Por favor video sobre la paradoja de Banach-Tarski.

@tension3456 5 ай бұрын

Necesito el video sobre la paradoja al final del video!

@danielrojasperez5471 5 ай бұрын

Si me gustaría el video de laa esferas 🤩

@IamTheHira 5 ай бұрын

@MatesMike ¿Qué nos impide usar un software (asistente de demostraciones) que nos permita encontrar si un problema (hipótesis de Riemann por ejemplo) es deducible o no de los axiomas?

@user-do7rc5jp7l 5 ай бұрын

Se ha demostrado que existen proposiciones cuya indecibilidad es imposible de demostrar, de hecho eso lo puedes hacer para arriba, porque esa posibilidad de demostrabilidad no siempre se puede demostrar y así consecutivamente

@nahuel6525 5 ай бұрын

POR FAVOR que mike haga un video con las implicaciones que conlleva negar o no negar el AE.

@braulioromerobeltran5745 5 ай бұрын

Oye Mike y que hay de los axiomas NBG y las clases?

@ABISAYEZ 5 ай бұрын

Oye Mike algun día puedes hacer un curso de matemáticas? Saludos desde México :)

@renesan1491 5 ай бұрын

Hola, quisiera saber qué carrera estudiaste ?? Todos tus temas son muy interesantes y me gustan mucho. Me gustaría seguir tus pasos 🙌🏻🙌🏻🙌🏻

@mathtime57 5 ай бұрын

Porfa si habla de la paradoja de Banach - Tarski

@fcolecumberri 5 ай бұрын

Una cosa divertida de la Hipótesis de Riemann con respecto al video es que si se demostrara que la Hipótesis de Riemann es indecidible entonces quedaría demostrada; esto es porque si fuera falso, podrías encontrar un valor no trivial al que la función retorne cero y no seria indecidible.

@user-do7rc5jp7l 5 ай бұрын

pero ese es el problema, en caso de ser cierta, sería imposible demostrarlo, nunca encontraríamos algo que la niegue, pero tampoco su demostración, nunca estaríamos seguros, como en ciencia

@fcolecumberri 5 ай бұрын

@@user-do7rc5jp7l Creo que no entendiste mi punto, si la hipótesis es falsa, eso significa que existe un valor a+bi donde a!=1/2 tal que z(a+bi)=0. Si ese punto existe, se puede demostrar, solo haces el calculo de z(a+bi) y ves que efectivamente es 0. Dado que si la hipótesis es falsa, entonces se puede demostrar que es falsa, si no se puede demostrar, entonces es verdadera. Demostrar que la Hipótesis de Riemann es indecidible demostraría que la Hipótesis de Riemann es verdadera.

@user-do7rc5jp7l 5 ай бұрын

@@fcolecumberri de hecho tu no entendiste mi punto, podría pasar que en caso de ser cierto, sería imposible demostrar que lo es, podriamos buscar contraejemplos para la eternidad y nunca encontrarlo, pero nunca estariamos seguros de que sea cierto, ya que sería imposible demostrarlo como cierto

@ramirohgiraldo1 5 ай бұрын

Saludos a todos desde Medellín Colombia

@ELMONGAZ 5 ай бұрын

Siii, un vídeo sobre la paradoja de los guisantes por favor :3 Quisiera que hicieras énfasis en por qué las matemáticas nos permiten demostrar cosas que en el mundo físico no son posibles, si se supone que las matemáticas describen nuestro mundo (o no? También aquí se puede desarrollar mucho)

@andresfelipevargasmican8964 5 ай бұрын

Las matemáticas sí describen el mundo. Pero también describen cosas que van más allá de nuestro mundo. La paradoja de Banach-Tarski es sobre esferas en el espacio continuo 3D, nuestro mundo es un mundo 3D, pero discreto (que se puede aproximar muy bien por lo continuo).

@eduardoinc2564 5 ай бұрын

@@andresfelipevargasmican8964Como que discreto?

@andresfelipevargasmican8964 5 ай бұрын

@@eduardoinc2564Sí, la cosa es que si fuera continuo, entre dos puntos siempre encontrarías otro punto, cosa que no pasa, si sigues te acercas hasta el nivel de los quarks, ya no encontrarías nada más.

@DrLocoV8 5 ай бұрын

Vamos con la Esfera papa. Saludos desde Buenos Aires -> Argentina.

@juanmorales-wb6fp 5 ай бұрын

Además del ax. elección, se suele añadir el ax. determición proyectiva.

@puchini37 3 ай бұрын

Matemáticas edición: Gato gafas: te deja elegir lo que quieras por qué si Gato gorrito: no puedes elegir lo que quieras por qué si

@juanricue8716 5 ай бұрын

Disculpa ¿Sabes cuáles son los pros y los contras de aceptar el axioma de la continuidad del infinito? ¿En que afecta que existan o no un infinito de cardinalidad 1/2? Lo único que se me ocurre es que como en los fractales se puede demostrar que tienen dimensionalidad de fraccional y que me imagino que en esos casos si queremos ""contar"" su perímetro tendría que ser un infinito con cardinalidad de esa fracción. No sé si me explique bien o si simplemente estoy equivocado XD Me gustaría que hablaras un poco sobre el tema que no he sabido cómo buscar una respuesta

@javiersantiago7423 5 ай бұрын

Me ha surgido una duda sobre los axiomas: si demuestras un teorema apoyándotela en un axioma y también en el opuesto a este axioma, ¿estaríamos demostrando este teorema a parte de este nuevo axioma? y si es así ¿realmente puede ser util este sistema?

@marcourielmedinamandujano5872 5 ай бұрын

Sobre los fundamentos, hoy en día hay que tener en cuenta la teoría de categorías, la teoría de tipos, la teoría dependiente de tipos, la lógica intuicionista y la teoría homotopica de tipos

@ivanmarvilla7143 5 ай бұрын

si hay infinitas cajas con gatos y hay que acceder con las referencias de inicio y fin del conjunto ¿ no puedes saber donde esta la caja ? algo así como apuntas a un átomo concreto sin poder saber donde están

@marcosgutman6349 5 ай бұрын

Te amo mike lpm

5 ай бұрын

Queremos un video sobre Banach-Tarski

@wendolinmendoza517 5 ай бұрын

Sin ver el vídeo aún... CUIDADITO con el Axioma de la Elección!

@julianyesidcarrenogomez1514 5 ай бұрын

video de los axiomas cuantos hay, tengo entendido que 9 y que puedo hacer con estos se pueden crear crearia mi propia matematica 😅

@luisalbertovargasmendez3031 5 ай бұрын

El video de las esferas por favor :)

@Soda_kloh 5 ай бұрын

Por favor, explica la demostración del último teorema de fermat, ver conferencias de 3 horas en otro idioma y 100 páginas me destrozó las neuronas 😿

@jdbinary 5 ай бұрын

Con el axioma de elección, si tenemos infinitos conjuntos, podemos escojer un gato aleatoriamente ó podemos escoger un gato con ciertas caracteristicas? algo asi como axioma de elección con condicion....

@user-do7rc5jp7l 5 ай бұрын

Si tienes la condición no necesitas el axioma de elección, si no tienes la condición, pues tienes que usarlo

@8gujbbgglo 5 ай бұрын

Has videos de matemáticas básicas, como la forma en que se escribe en lenguaje matemático

@andydal2002 5 ай бұрын

Estaria bueno profundizar la demostracion de que el Teorema de la accion es indecidible

@mctomas5290 5 ай бұрын

me has dejado loco con lo de que se puede hacer dos esferas a partir de partes de una esfera eso lo quiero ver

@GuzMat-matematicas 5 ай бұрын

Creo que mi video sobre el Axioma de Elección es un buen complemento a este video: kzbin.info/www/bejne/hXaroWpurM6jp7s

@syta_co 5 ай бұрын

muy buen video!, pero me queda la duda: cómo sabemos con certeza que el axioma de elección es de por sí una proposición indecidible en ZF? Si al igual que con la hipótesis de Riemann no sabemos si estaríamos entrado en una contradicción lógica al volverlo axioma y después encontrar un teorema que lo contradiga?

@MatesMike 5 ай бұрын

Sí lo sabemos. Se demostró que el axioma de elección es independiente de los otros axiomas. De la hipótesis de Riemann no se sabe.

@anonimouuu 5 ай бұрын

@@MatesMikeExacto, para mas información recomiendo consultar el libro PRUEBAS DE CONSISTENCIA, de Carlos Ivorra capitulo Capítulo VIII: La independencia del axioma de elección

@ELSORBO1 5 ай бұрын

Que bonito video

@torchicgameryt9283 5 ай бұрын

¿Soy el único que vio la cara de Abomination de Ultra violence?

@emmanuelbahenav.6716 5 ай бұрын

El gato con gafas de sol es como Gojo Satoru en versión gato

@MatesMike 5 ай бұрын

Lo es

@marianobilbao893 5 ай бұрын

Podés hacer un video explicando CÓMO se demuestra que el problema del continuo no se puede demostrar ni verdadero ni falso tampoco?

@davidgutierrezrubio9418 5 ай бұрын

La "pega" del Axioma de Elección es cuando tienes una cantidad no numerable de cajas. Una caja de gatos por cada número real. Para elegir un gato de cada caja habría que ser capaz de realizar "una cantidad no numerable de acciones", lo cual es bastante menos intuitivo a priori que una cantidad numerable.

@user-do7rc5jp7l 5 ай бұрын

Ciertooo, el axioma de elección numerable es bastante intuitivo, como inducción con super poderes, pero cuando empiezas a pensar en lo numerable, todo se vuelve mucho más confuso

@martin2ostra 3 ай бұрын

Vamos por mas videos

@rosamariavaldespino5501 5 ай бұрын

Me interesa el detalle de las Bolitas, de una hago 2, supongo que huecas...

@aritelramos4191 5 ай бұрын

Mike, agradezco mucho el vídeo. De curiosa entre a la Pág del Dep. Matemática de mi facu FECEN ❤ y encontré un apunte de Roberto Cignoli "Teoría axiomática de conjuntos: una introducción" que así como lo dice, es un pequeño pantallazo con los temas que vos mencionaste acá en el vídeo. Y de paso, presumo los grandes docentes que tiene la UBA y en general la Argentina.

@sirJuan_ 5 ай бұрын

Aunque no tenga directamente una relación, la teoría de conjuntos menciona desde el principio que hay un conjunto vacío de elementos, "cosas" o mejor dicho, nada. En cierta forma siempre existe una "nada" en las cosas en general. En un infinito conjunto de los conjuntos vacíos de las cosas, siempre habrá uno que no contenga nada. Por infinito que sea el el infinito, deberá cumplirse al menos una vez que no haya nada más allá. Pero, esta idea, ¿es válida?

@el_rayo_joaquin 5 ай бұрын

Oye Mike que carrera estudiaste para tener todos los conocimientos actuales que muestras en tu canal,es que tu trabajo en esta plataforma me ha inspirado un amor hacia las matemáticas, saludos

@user-do7rc5jp7l 5 ай бұрын

Estudio matemáticas e Ingeniería aeroespacial

@franqogamer709 5 ай бұрын

¿Cómo puede la paradoja de la creación de materia explicarse con la infinita elección? ¿Es que tienes que elegir infinitos pedazos de pelota?

@dairomorales8862 5 ай бұрын

Queremos vidoe de laparadoja de Banach-Tarski

@helenahuineman2634 22 күн бұрын

Bueno, mientras mantengas a Schrödinger alejado, usa el axioma de elección si quieres 😊

@carlosraventosprieto2065 4 ай бұрын

grande mike!

@fernandoaguero2995 5 ай бұрын

hola mike, te invito a investigar para que hagas una serie de videos en el canal sobre programación funcional. Mas que nada de la parte mátematica. Por ejemplo la currificación, aplicación parcial, lambda calculo, recursión, esquemas de funciones, tipos algebraicos y tipos de datos abstractos. Si bien entiendo que el canal no tiene que ver con programación creo que la parte matemática de la programación funcional encajaria muy bien con el contenido del canal.