Ok ahora donde puse el papelito ese *lo haya * ok SI VES UN UNO PASA PAGINA Y PON DOS CEROS *lee* SU VEZ DOS CEROS PON UN UNO Y UN CERO *lee* SI VEZ UN UNO Y UN CERO RETROCEDE DOS PAGINAS Y PON DOS UNOS *lee*
10:00 Crespo: "Por sofisticada que sea una máquina registradora retro, nunca va a poder correr Doom". El que porteó Doom a una prueba de embarazo: "Eso ya lo veremos"
FE DE ERRATAS: Parece que al final del vídeo (en torno al 14:00) digo un par de veces que las matemáticas no son "decibles". Error mío, debería decir "decidibles", son cosas diferentes. Y dentro de poco celebramos un eventazo del canal por todo lo grande. ¡Estad atentos!
Esto a mi me lo explicaron en la carrera de informática unas 15 veces con las máquinas que deben decidir si unos problemas tienen o no solución. Debo decir que así se entiende un millón de veces mejor que con máquinas que observan a máquinas.
@@redknight344 si lo menciona, menciona como murió, su contribución de lógica y matemática para hallar la respuesta a las dos primeras preguntas sobre las matemáticas, las cartas de godle y como se llega al mismo problema de autoreferencia, el juego de la vida de congway, la teoría de conjuntos y como lo solucionaron para no tener el problema de autoreferencia, etc etc. Muy bueno el vídeo
Cada vez que algo me recuerda la historia de Turing, me entra una mezcla de sentimientos muy compleja, admiración, tristeza, vergüenza por como la sociedad se portó con él, donde podría haber llegado si hubiese podido continuar con su trabajo es algo que solo podemos imaginar.
Al final de su vida, especuló que puede que la inteligencia pudiera ser ejecutada en un ordenador, es decir, imaginó la IA antes de que existieran los ordenadores. Quien sabe cuantos años de progreso científico hemos perdido por meros prejuicios 😥
@@jaumeivarsPoco sabes de ciencia y tecnología, machote. Literalmente, toda la tecnología actual fue teorizada y formalizada sobre el papel décadas antes de que se pusiera en práctica, no solo Turing. Los condensadores, las resistencias, los motores eléctricos y de combustión, los aviones, etc, etc, etc, estaban formalizados sobre el papel. Pero vamos, que Turing no realizó ningún tipo de contribución directa a la inteligencia artificial ni sentó las bases de la misma. Sí, realizó contribuciones SUMAMENTE IMPORTANTES a la ciencia, pero el test de Turing, a día de hoy, está obsoleto.
Yo iba a decir que "de Turing haber tenido una vida plena, probablemente hoy tendríamos sistemas informáticos más avanzados a los actuales.". Pero, tu comentario dice más o menos lo mismo. Así, que prefiero darle like. ✌😎👍
Al principio fue ira por el anuncio, luego asombro por la información, finalmente tristeza por Turing... Estos vídeos son una montaña rusa de sentimientos!
Más allá de la información que nos traés en el video, cómo se nota el semejante laburo que hay por detrás. Impecable absolutamente TODO. Felicitaciones al equipo.
Como estudiante de matemáticas, me encanta que hagas videos también de matematicas y principalmente de temas tan interesantes como la lógica matemática para un público amplio
Has visto el vídeo que tiene veritasium sobre este tema ? Deberias checarlo también está jodidamente bueno aunque no explicado como aquí. th-cam.com/video/RRg38oNQ9vk/w-d-xo.html
@@gerardoguillermoaparicioro1026 sii, muy bien video y también estoy ahora mismo asistiendo a clases de lógica y modelos en mi universidad, me sorprende mucho el tema de completitud y consistencia
Poco se habla de lo geniales que son las ilustraciones y animaciones de este canal, especialmente teniendo en cuenta la dificultad de representar muchas de las cosas de las que habla. Mis dieses
Y asi es como en 15 minutos quantum expone uno de los hechos mas bellos de la humanidad, ensombrecido por un injustísimo final para un genio mayúsculo. Donde las matemáticas tienen a un hijo llamado ciencias de la computación que logra poner el mundo patas arriba. Sin duda mi descubrimiento favorito y lo que más me marcó de estudiar ing informática. Me quito el sombrero.
Crespo, impresionante la facilidad con la que explicas conceptos tan abstractos, en tu línea ;). Pero me gustaría señalar un detalle que no se suele mencionar cuando se habla de Turing y Enigma y es que, sin quitarle mérito al británico, lo cierto es que se apoyó en gran medida en el trabajo que la Oficina de Criptografía Polaca había realizado ya desde 1929 y que encabezaron los matemáticos Marian Rejewski, Jerzy Rózycki y Henryk Zygalski. Su trabajo es realmente impresionante, tanto las matemáticas involucradas como los métodos que idearon. Incluso llegaron a trabajar junto a Polacos y Británicos, un reducido número de españoles (liderados por Faustino Antonio Camazón) con el objetivo de decodificar las comunicaciones de la España de Franco con la Italia fascista. Soy muy consiente de que todos estos detalles no son fáciles de contar en un vídeo enfocado a la divulgación, pero quería hacértelos llegar, por que son realmente una parte de la historia muy poco conocida y que vale la pena contar. Como siempre, tus vídeos son un gustazo, es impresionante el nivel que ha alcanzado la divulgación en español gracias a tu trabajo.
Por ahí leí que ese grupo de matemáticos polacos, enterró en el campo de fútbol de su universidad, todos sus apuntes acerca de sus estudios e investigaciones sobre topología y geometría, antes de huir de su país. Esto lo hicieron para que los sobrevivientes pudieran retomar las investigaciones después de la guerra. Afortunadamente todos los involucrados pudieron desenterrar dicho cofre, toda esa información ayudo a desarrollar los teoremas de la topología moderna. Una bonita historia.
@@jesusalfredofernandezcruz1833 La verdad es que no había oído nunca esta anécdota, qué bueno!! Una historia muy bonita sí, creo, de hecho, que la mayoría logró sobrevivir a la guerra
Estoy estudiando filosofía de las matemáticas en la universidad este trimestre (en ingles), y este video está bastante completo, me encanta. Para las personas que les interese aprender más, les recomiendo que lean 1. “On The Infinite” de David Hilbert, 2. “Godel’s Second Incompleteness Theorem Explained in Words of One Syllable” de George Boolos, y 3. “On Computable Mumbers…” de Alan Turing
Creo que como a muchos me entristece el final de la historia de este gran genio, es inevitable preguntarse que hubiera pasado si a Turing no le hubiera caido esa injusta condena...
Yo no conocía el final de la historia de Turing... muy triste la verdad. impresionante que a un hombre que haya hecho tanto lo hayan condenado por nada.
Maravilloso vídeo y muchas gracias por mencionar la parte final, Turing era una persona con todas sus aristas y sufrió a causa de ello aunque a muchos les pueda incomodar es mejor mencionarlo para que nunca más se repita.
Cómo un estudiante de la carrera de ciencias de la computación dónde todos estos conceptos me los han explicado de la manera formal que Turing los postuló me encanta la forma en que está explicado, es sencillo entender el concepto y además de manera bastante completa. Muy buen video
Excelente contenido, como siempre. Y se me hizo genial que contarás la historia de Turing completa. Es algo que siempre me remueve de forma personal, y creo que hay mucho que tenemos que aprender como sociedad al respecto.
Como estudiante de informática, me hace mucha ilusión que trates y expliques tan bien estos temas. Me ha gustado mucho el vídeo. Te animo a hacer más vídeos de computación e informática. Me quedé con ganas de saber qué decías exactamente en la reunión en inglés jeje.
Tengo una sugerencia de premisa para un video: En relación al injusto castigo y final que Turing sufrió por su orientación sexual, creo que sería interesante un video sobre las personas de ciencia o proyectos científicos prometedores fueron frenados por algún motivo.
me encantan los videos de este canal porque ademas de hacerlos super dinamicos y con explicaciones faciles, lo hacen graciosos, con dibujos y metaforas faciles de entender y hace que te atrape mas la ciencia que parece algo muy complejo al principio, banco a todo el equipo de QuantumFracture y ojala nunca se queden sin ideas para los videos!! un abrazo desde argentina
Mientras sigamos juzgando a alguien por su orientación sexual y no por su potencial... Nos queda mucho por hacer. Momentos en los que la humanidad me decepciona, condenar a un héroe de la guerra y las mates por una tontería así
Hace años en Intr. A La Computación en Ing. Industrial nos hicieron ver “Codigo Enigma” la película y me encantó, después de ahí me interesé mucho por la vida de Alan Turing y que depresión me dio saber de todo lo que hubiera sido capaz de hacer si no hubiera sido contenido por su propio país aun siendo un héroe
Me enoja como física la cantidad de colegas que dicen "solo debemos hablar de ciencias, no podemos enfocarnos en problemas sociales o políticos" No! Todos somos afectados por ellos, y los científicos también! Por mucho que tratemos de separar la ciencia exacta de la política, tenemos que reconocer que perdimos a un genio debido a la problemática de la homofobia, una problemática socio política. Puede que no sea nuestro campo de estudio, pero tenemos que estar conscientes de sus implicaciones, es por actitudes así, que perdemos todos los días a futuros colegas. Gente que se retira de la ciencia debido a la pobreza, el maltrato, el estigma, el acoso, y de la cual nunca pudimos aprovechar su verdadero potencial. Como científicos es nuestro deber aspirar por una sociedad mejor, incluso si escapa de nuestros campos de estudio. Solo en una sociedad mejor nosotros podemos abrir las puertas a más gente para que explote su potencial si que teman por su integridad tanto física como mental.
Lo curioso de esto, es que también está el término de ser "completo según Turin", básicamente es ser capaz de simularte a tí mismo. El juego de la vida cumple esta condición, por lo que el juego de la vida es capaz de simularse a sí mismo
@@vendettawasd4516 El vídeo explica que la genialidad de Turin es lograr que la inteligencia resida en el procedimiento más que en los componentes. Si Doom puede correr en cualquier cosa que tenga pantalla, cualquier cosa capaz de leer, escribir, mover y almacenar datos es capaz de ser una máquina de Turin
En verdad, que algo sea Turing-completo significa que tiene el mismo poder de cálculo que una máquina de turing, és decir que pueda hacer cualquier cosa que pueda hacer una máquina de Turing (En concreto también puede simularse a si mismos). Así que el juego de la vida no solo es capaz de simularse a sí mismo, si no que también es capaz actuar como una calculadora, o incluso simular minecraft (y minecraft también es turing completo así que podría simular minecraft simulando el juego de la vida). A demás, cualquier ordenador del mundo es Turing-completo, lo que significa que el juego de la vida (o minecraft, o el buscaminas, o el juego de Magic o Habbo Hotel o incluso creo que una especie muy concreta de cangrejos) puede teóricamente hacer cualquier cosa que pueda hacer un ordenador (digo teóricamente por qué en la práctica va a ser casi imposible hacer según que cosas).
@@llucc1299 Seh. He visto como se creaba una pc dentro de minecraft. Lo gracioso es que eso también significa que podríamos programar en cualquier lenguaje de programación que todos pueden llegar a hacer lo mismo. Claro está el los tiempos están fuera, ya que Turin mide si pueden o no, no cuanto tiempo tardan xd
por algo tengo la imagen de Turing en mi foto de perfil, fue un genio y un héroe injustamente condenado por algo natural larga vida a Turing y sus esfuerzos
15:38 Estoy cansado de este mundo de su gente... Brillante Turing, el genio de su época. Y grande Quantumfracture, simplificando las máquinas con borrachos xd
Como (a la fecha de escribir esto, casi) graduado de ciencias computacionales, le doy un 10 a esta presentacion, y a la demostracion del "Entscheidungsproblem". Tuve que hacerla en un examen, y estuvo sabroso. P.D: Al que le interese, existe el lenguaje de programación Haskell, que intenta convertir el calculo Lambda de Alonzo Church en algo usable en el mundo real. Es muy interesante, y muy alucinado.
Aunque un poquito confuso de enteder, tiene todo el sentido matematico esperado, Alan Turing, el alma de la computacion. Excelente video, es de esperarse por su maravilloso trabajo equipo, Felicitaciones!
Muchas gracias una gran explicaciopn es uno de mistemas favoritos soy Matematico simpre e seguido el trabajao de Sr Turing y el gran Gödel un gran saludo a todos y sigo mucho el canal es uno de mis favoritos de buelta Gracias
Dos cosas: - Dices "decibles" cuando debe ser "deCIdibles" (peccata minuta) - Hay por ahí un experto sobre el legado de Turing (Jack Copeland) que ha manifestado que esa teoria sobre el suicidio al parecer no es verdad y sigue con el estigma de la homosexualidad (con eso de que los "homosexuales" se pensaba en la época que son mentalmente inestables). Anyway, propone varios hechos, como la nota que estaba junto a su cama que no era de despedida sino de las cosas que tenia que hacer en la semana, que estaba de muy buen humor segun una vecina, que habia organizado una reunion para ese dia (segun la misma vecina), que siempre dejaba una manzana medio mordida porque tenia excentricidades (como amarrar la taza de café al radiador para que no se la robaran) y lo mas importante: era quimico amateur. Le gustaba hacer experimentos quimicos en sus ratos libres en su dormitorio, donde usaba/se producia cianuro, con lo que pudo haber contaminado el cuarto (o gradualmente irse envenenando) y haya causado el fatal ACCIDENTE, no suicidio. Tu que tienes la habilidad del storytelling y de la investigación, estaría buenerrimo si pudieras caer en ese rabbit hole y ver si encuentras algo. Ya sabes, por la ciencia :D Gracias por todo Crespo!
Qué pena que por cosas así se pierdan a mentes tan brillantes, cuánta gente con esas capacidades les habrá pasado lo mismo, el que le juzguen duramente por algo injusto.
Buen video Crespo. Si les intereso el tema, les sugiero q busquen bussy beavers y como algunas problemas matematicos podrian ser resueltos computacionalmente pero el universo es demasiado pequeño para aquello.
No solo eso. Esto va más allá. Nosotros somos seres humanos, compuestos con células. Estás serían objetos no vivos sin pensamiento que generan proteínas que, a su vez conforman las piezas fundamentales de nuestro cuerpo. Tal parece que esta analogía va también a todo el aspecto biológico de nuestro planeta. Seguir órdenes dadas mediante un lenguaje (como el ADN) para generar algo más complejo que sus bases, esto es sinergía que ejecutado a gran escala. Puede evidenciarse en el metabolismo o inclusive. La conciencia humana.
¡Wow! Crespo, este ha sido un videazo en muchos sentidos ❤️. De verdad te doy las gracias y te felicito por haberlo hecho 🎉. Llevos años viendote y te admiro muchísimo, te considero de lo mejor que hay en TH-cam en cuanto a divulgación científica se refiere. Lamento que la sociedad haya sido tan estúpida como para condenar a Turing solo por ser homosexual, y sobre todo después de lo que había hecho. Lo lamenté de verdad, porque la sociedad sigue siendo igual de retrograda en ese sentido. Yo soy heterosexual, pero me vale madres con quién decide acostarse mi vecino o mi vecina, eso a mí no me afecta, es la vida de ellos y la pueden llevar como quieran.
Estoy estudiando informática y ya conocía una gran parte de los temas tratados en este video, pero está explicado de forma muy clara y se entiende muy bien. Me ha encantado el video
Cuando me enteré del indulto (en su momento a Turing) lo primero que se me vino a la mente fue que en vez de otorgarle el real perdón, debieron haber solicitado ( a Alan) el Real Perdón de él reconociendo el error y quedar en suspenso... Implícitamente dejan entre dicho que, la culpa es del otro y no de uno...
Lo curioso es que el profesor de universidad de mi padre, en aquel entonces un aleman que lucho en la segunda guerra mundial, reconocido actuario de México le dijo a mi padre que no hiciera tesis porque según el ya toda esa rama de la matemática con respecto a actuaría ya estaba totalmente escrito y no había nada más que añadir..
10:47 El planteamiento no es del todo correcto, ya que dices que computabilidad implica decidibilidad y luego dices que no computabilidad implica no decidibilidad, pero esa deducción no es valida ya que sería al revés, no decidibilidad implica no computabilidad(ya que A implica B si y solo si no B implica A) supongo que la proposición realmente sería una equivalencia bidireccional y lo has expuesto con una implicación unidireccional para simplificar la explicación. Aun así quiero señalarlo
Mientras planteabas lo del equipo M y Q en mi mente dije “eso me suena a un bucle infinito” y justamente pasados unos segundos se volvió obvio, no se como entiendo esto pero se me hizo algo intuitivo, creo que es la forma de explicar que tienes 😂
Qué pena lo de Turing. El hecho de que sus potenciales descubrimientos o inventos no hayan llegado a existir por ser homosexual refleja muy bien como estos pensamientos retrógrados afectan tan negativamente al desarrollo de la humanidad. Imaginad la de científicos que no pudieron realizar sus investigaciones por motivos religiosos. En fin, muy buen vídeo Crespo
El video increíble y la parte final hablando de la pena que se le impuso por ser gay me parece un detalle muy bonito para la memoria e imagen de Turing 👌🏻👌🏻
Jamás comento nada en TH-cam, pero me pareció tan genial el video que me hubiese gustado que me lo explicasen de esta manera cuando estaba estudiando, además del pequeño homenaje a un grande como Turing, que es muuuucho mas que solo haber resuelto la maquina Enigma.
Principalmente 2: 1. Que existen preguntan en matemáticas qué JAMÁS podrán ser resuletas con las propias matemáticas (pero no podemos saber de antemano cuales son). 2. Que las mismas matemáticas podrían estar mal hasta su fundamento.
Cómo dato curioso hay ya un vídeo de Veritasium y Mates Mike que hablan de este tema a mayor profundidad, la incompretitud de la matemáticas... Mates Mike: th-cam.com/video/6oXs7Yi4tGY/w-d-xo.html Veritasium en español: th-cam.com/video/RRg38oNQ9vk/w-d-xo.html
2:30 Errata: El edificio no se sostiene por los pilares, se sostiene por sus cimientos; es la cubierta y el espacio que delimitan lo que sostienen los pilares
Gödel no demostró que las matemáticas fuesen inconsistentes. Demostró que, con las reglas de un sistema axiomático, no se puede averiguar si el sistema es o no consistente (hace falta un axioma mayor que lo englobe). Dicho de otra forma, no demostró la inconsistencia de las matemáticas, sino la imposibilidad de saber si son o no consistentes. Si Gödel hubiese demostrado que podemos llegar a afirmaciones verdaderas y falsas a la vez, nos habríamos quedado sin trabajo los matemáticos.
Supongo que lo que realmente quizo decir era que no se podía deducir simultáneamente la completitud y consistencia decir de un sistema matemático “fuerte”, ósea si asumes que el sistema es consistente entonces necesariamente será inconsistente y viceversa.
"Y que tal estuvo tu fiesta?
*Nos pusimos tan borrachos que creamos un problema matemático sin respuesta* "
Uff qué no hicimos! *Procede a sacar un libro con unos y ceros*
lo metieron preso por practicar la homosexualidad violando a hombres borrachos
Ok ahora donde puse el papelito ese *lo haya * ok SI VES UN UNO PASA PAGINA Y PON DOS CEROS *lee* SU VEZ DOS CEROS PON UN UNO Y UN CERO *lee* SI VEZ UN UNO Y UN CERO RETROCEDE DOS PAGINAS Y PON DOS UNOS *lee*
Estas seguro que es así? En el papelito pone otra cosa diferente revisa bien hombre.
@@xavipunin1170 a ver? *Lee* a si PON UN UNO *lee* SI VEZ UN UNO PON UN CERO *lee* SI VEZ UN CERO PON UN UNO
10:00 Crespo: "Por sofisticada que sea una máquina registradora retro, nunca va a poder correr Doom".
El que porteó Doom a una prueba de embarazo: "Eso ya lo veremos"
Siento decir que la prueba de embarazo era solo una pantalla 😔
Que estás retandome!?
@@ikercalderon163 Lo sé, pero la gente suele poner lo de la prueba de embarazo como lo más absurdo. Al menos sirve para el chiste.
@@jaredcastro8862 un men porteo doom a un teclado, la pantalla ahora es opcional
@@ikercalderon163 existe el port de doom a teclado, la pantalla es opcional
FE DE ERRATAS: Parece que al final del vídeo (en torno al 14:00) digo un par de veces que las matemáticas no son "decibles". Error mío, debería decir "decidibles", son cosas diferentes.
Y dentro de poco celebramos un eventazo del canal por todo lo grande. ¡Estad atentos!
A xd
@@ilovechemistry5471no
32 mn sale xd
Crespo te amo
Y qué diferencia hay en las afirmaciones del min 2:49 ??
Esperen un momento, Crespo acaba de retar a la comunidad de doom a correr doom en una maquina registradora?
Justo eso mismo pensé, suena a algo que debe pasar si o sí
Uy.. se viene...
En una no se puede, pero si usamos varias se podrá XD
@@Carlos37-y6h es doom, como vrgs no se va a poder
o en un ábaco 🧮
Es muy triste el final de Turing, totalmente injusto. Pero es lindo saber que en el corazón de cualquier computadora hay mucho de él.
Esto a mi me lo explicaron en la carrera de informática unas 15 veces con las máquinas que deben decidir si unos problemas tienen o no solución. Debo decir que así se entiende un millón de veces mejor que con máquinas que observan a máquinas.
Este otro video también rifa, por si no lo has visto th-cam.com/video/RRg38oNQ9vk/w-d-xo.html
Vi todo el video pensando en eso. Veritasium >>>>
@@gerardoguillermoaparicioro1026 ese habla solo del mismo problema que en este? O menciona también lo que hizo Godel?
@@redknight344 si lo menciona, menciona como murió, su contribución de lógica y matemática para hallar la respuesta a las dos primeras preguntas sobre las matemáticas, las cartas de godle y como se llega al mismo problema de autoreferencia, el juego de la vida de congway, la teoría de conjuntos y como lo solucionaron para no tener el problema de autoreferencia, etc etc. Muy bueno el vídeo
Yo estudié sistemas computacionales y jamás me explicaron esto.
Debe ser que tuve una pésima educación. 😔
Cada vez que algo me recuerda la historia de Turing, me entra una mezcla de sentimientos muy compleja, admiración, tristeza, vergüenza por como la sociedad se portó con él, donde podría haber llegado si hubiese podido continuar con su trabajo es algo que solo podemos imaginar.
La de él y la de muchos otros.
Qué bonita es la religión y el retraso que conlleva.....
Yo me quedé llorando, fue un gran hombre Alan Turing
El odio injustificado a los homosexuales nos quito a un gran pensador, verdaderamente triste
Al final de su vida, especuló que puede que la inteligencia pudiera ser ejecutada en un ordenador, es decir, imaginó la IA antes de que existieran los ordenadores. Quien sabe cuantos años de progreso científico hemos perdido por meros prejuicios 😥
@@jaumeivarsPoco sabes de ciencia y tecnología, machote. Literalmente, toda la tecnología actual fue teorizada y formalizada sobre el papel décadas antes de que se pusiera en práctica, no solo Turing. Los condensadores, las resistencias, los motores eléctricos y de combustión, los aviones, etc, etc, etc, estaban formalizados sobre el papel. Pero vamos, que Turing no realizó ningún tipo de contribución directa a la inteligencia artificial ni sentó las bases de la misma. Sí, realizó contribuciones SUMAMENTE IMPORTANTES a la ciencia, pero el test de Turing, a día de hoy, está obsoleto.
Un héroe Turing, quizá el Internet y los computadores personales hubieran llegado hasta una década antes.
Yo iba a decir que "de Turing haber tenido una vida plena, probablemente hoy tendríamos sistemas informáticos más avanzados a los actuales.". Pero, tu comentario dice más o menos lo mismo. Así, que prefiero darle like. ✌😎👍
Te imaginas los programas apoloncon computadores 10 años mas avanzados?
¿?
Es cierto, estaríamos muchísimo más avanzados.
Estaríamos mas cerca del Apocalipsis
Al principio fue ira por el anuncio, luego asombro por la información, finalmente tristeza por Turing... Estos vídeos son una montaña rusa de sentimientos!
Con Kiwi Browser se soluciona
totalmente de acuerdo.
Es una historia, no sólo un video
Más allá de la información que nos traés en el video, cómo se nota el semejante laburo que hay por detrás. Impecable absolutamente TODO. Felicitaciones al equipo.
Gracias, Facundo. Saludos desde España.
Como estudiante de matemáticas, me encanta que hagas videos también de matematicas y principalmente de temas tan interesantes como la lógica matemática para un público amplio
Has visto el vídeo que tiene veritasium sobre este tema ?
Deberias checarlo también está jodidamente bueno aunque no explicado como aquí. th-cam.com/video/RRg38oNQ9vk/w-d-xo.html
@@gerardoguillermoaparicioro1026 sii, muy bien video y también estoy ahora mismo asistiendo a clases de lógica y modelos en mi universidad, me sorprende mucho el tema de completitud y consistencia
@@Danylux Cuál es tu universidad, si no te importa la pregunta? Yo estudio matemáticas y no tengo esa asignatura.
Este canal se enfoca mas a física pero igual y ya lo conoces pero el canal de Derivando es buenísimo con muchos videos de cosas de las matematicas.
No es lógica matemática, es filosofía de la matemática.
Mi tío el borracho: mi momento a llegado 🗿
y se escuchan aplausos, se ve que llego a una solución al problema!
Buenas sobrino. Y anda, sujétame el cubata!
Gloria a Rusia 🇷🇺 y mucha suerte a las tropas que estan liberando el donbass de los Ucranazis
🐻🐻🇷🇺🇷🇺
@@ElCampero07 pero que demonios?
Poco se habla de lo geniales que son las ilustraciones y animaciones de este canal, especialmente teniendo en cuenta la dificultad de representar muchas de las cosas de las que habla. Mis dieses
La verdad que es alucinante, tiene mucho trabajo detrás, pero facilita entenderlo todo mucho mejor.
Hemos pasado años halagando las animaciones de Crespo
Yo cuando escuché por primera vez la historia de Turin me dió mucha pena y me sentí hasta yo mismo traicionado.
Y asi es como en 15 minutos quantum expone uno de los hechos mas bellos de la humanidad, ensombrecido por un injustísimo final para un genio mayúsculo. Donde las matemáticas tienen a un hijo llamado ciencias de la computación que logra poner el mundo patas arriba. Sin duda mi descubrimiento favorito y lo que más me marcó de estudiar ing informática. Me quito el sombrero.
Crespo, impresionante la facilidad con la que explicas conceptos tan abstractos, en tu línea ;).
Pero me gustaría señalar un detalle que no se suele mencionar cuando se habla de Turing y Enigma y es que, sin quitarle mérito al británico, lo cierto es que se apoyó en gran medida en el trabajo que la Oficina de Criptografía Polaca había realizado ya desde 1929 y que encabezaron los matemáticos Marian Rejewski, Jerzy Rózycki y Henryk Zygalski. Su trabajo es realmente impresionante, tanto las matemáticas involucradas como los métodos que idearon. Incluso llegaron a trabajar junto a Polacos y Británicos, un reducido número de españoles (liderados por Faustino Antonio Camazón) con el objetivo de decodificar las comunicaciones de la España de Franco con la Italia fascista. Soy muy consiente de que todos estos detalles no son fáciles de contar en un vídeo enfocado a la divulgación, pero quería hacértelos llegar, por que son realmente una parte de la historia muy poco conocida y que vale la pena contar.
Como siempre, tus vídeos son un gustazo, es impresionante el nivel que ha alcanzado la divulgación en español gracias a tu trabajo.
Por ahí leí que ese grupo de matemáticos polacos, enterró en el campo de fútbol de su universidad, todos sus apuntes acerca de sus estudios e investigaciones sobre topología y geometría, antes de huir de su país. Esto lo hicieron para que los sobrevivientes pudieran retomar las investigaciones después de la guerra. Afortunadamente todos los involucrados pudieron desenterrar dicho cofre, toda esa información ayudo a desarrollar los teoremas de la topología moderna.
Una bonita historia.
@@jesusalfredofernandezcruz1833 La verdad es que no había oído nunca esta anécdota, qué bueno!! Una historia muy bonita sí, creo, de hecho, que la mayoría logró sobrevivir a la guerra
Confirmo, yo estoy estudiando informática y unos de los que inspiraron a escoger esa carrera fue Alan Turing
Estoy estudiando filosofía de las matemáticas en la universidad este trimestre (en ingles), y este video está bastante completo, me encanta. Para las personas que les interese aprender más, les recomiendo que lean 1. “On The Infinite” de David Hilbert, 2. “Godel’s Second Incompleteness Theorem Explained in Words of One Syllable” de George Boolos, y 3. “On Computable Mumbers…” de Alan Turing
Qué gran acierto haber incluido la trágica historia de Turing.
Creo que como a muchos me entristece el final de la historia de este gran genio, es inevitable preguntarse que hubiera pasado si a Turing no le hubiera caido esa injusta condena...
Yo no conocía el final de la historia de Turing... muy triste la verdad. impresionante que a un hombre que haya hecho tanto lo hayan condenado por nada.
Te darás cuenta que en la actualidad puede suceder igual, y con cualquier tema realmente.
Y tengo entendido que el nombre y logo de la empresa Apple, es justamente en homenaje a Turing, por la manzana mordida con la que se suicidó.
La mejor explicación de la máquina de Turing y el problema de la parada que he visto en mi vida. Enhorabuena
Maravilloso vídeo y muchas gracias por mencionar la parte final, Turing era una persona con todas sus aristas y sufrió a causa de ello aunque a muchos les pueda incomodar es mejor mencionarlo para que nunca más se repita.
Un minuto de silencio por Turing 😔
Brutal síntesis de la máquina de Turing y el problema de la parada en poco más de 15 minutos!! Magnifico !! 👏🏻👏🏻
Cómo un estudiante de la carrera de ciencias de la computación dónde todos estos conceptos me los han explicado de la manera formal que Turing los postuló me encanta la forma en que está explicado, es sencillo entender el concepto y además de manera bastante completa. Muy buen video
Turing, merece que sepan mas de su historia.
Excelente contenido, como siempre. Y se me hizo genial que contarás la historia de Turing completa. Es algo que siempre me remueve de forma personal, y creo que hay mucho que tenemos que aprender como sociedad al respecto.
👍🏻👍🏻
Bastante
Ah si cierto el comentario es de hace un año
Como estudiante de informática, me hace mucha ilusión que trates y expliques tan bien estos temas. Me ha gustado mucho el vídeo. Te animo a hacer más vídeos de computación e informática. Me quedé con ganas de saber qué decías exactamente en la reunión en inglés jeje.
Extrañaba bastante tu canal Crespo!💌
Muchas gracias por seguir con la divulgación💖
Minuto 9:49:
Crespo nos rickrolleó visualmente 😂
Tengo una sugerencia de premisa para un video:
En relación al injusto castigo y final que Turing sufrió por su orientación sexual, creo que sería interesante un video sobre las personas de ciencia o proyectos científicos prometedores fueron frenados por algún motivo.
Crespo: Una máquina registradora retro nunca podrá correr DOOM.
-Hackers: Challenge accepted.
Un video maravilloso y muy emotivo. Gracias Crespo! ❤
"Doom no corre en una caja registradora"
El wey que porteó Doom a un piano:
¿Ah si?
me encantan los videos de este canal porque ademas de hacerlos super dinamicos y con explicaciones faciles, lo hacen graciosos, con dibujos y metaforas faciles de entender y hace que te atrape mas la ciencia que parece algo muy complejo al principio, banco a todo el equipo de QuantumFracture y ojala nunca se queden sin ideas para los videos!! un abrazo desde argentina
Muchas gracias, Tomás.
Mientras sigamos juzgando a alguien por su orientación sexual y no por su potencial... Nos queda mucho por hacer. Momentos en los que la humanidad me decepciona, condenar a un héroe de la guerra y las mates por una tontería así
Entonces mi hermano no es un borracho, es una máquina de matemáticas 😂
Un componente de una maquina de matemáticas xd
Alan Turing es mi matemático favorito.
🏳🌈?
@@jezuconz7299 bro...
Igual
El mio tambien👍
Leyenda
Hace años en Intr. A La Computación en Ing. Industrial nos hicieron ver “Codigo Enigma” la película y me encantó, después de ahí me interesé mucho por la vida de Alan Turing y que depresión me dio saber de todo lo que hubiera sido capaz de hacer si no hubiera sido contenido por su propio país aun siendo un héroe
A mí también en clase de introducción a la informática nos pusieron a ver código enigma, fue hace un mes, soy de ingeniería en sistemas
Gracias por hablar de la historia humana de Allan, para el colectivo es un héroe 💜
Que colectivo ?????.
El humano ????
@@rocobalboa1826 homofóbico detectado
@@bernardoaedo5425o simplemente alguien confuso
La más sencilla y al mismo tiempo rigurosa explicación de la máquina universal de Turing jamás dada. Gracias Crespo.
Me enoja como física la cantidad de colegas que dicen "solo debemos hablar de ciencias, no podemos enfocarnos en problemas sociales o políticos"
No! Todos somos afectados por ellos, y los científicos también! Por mucho que tratemos de separar la ciencia exacta de la política, tenemos que reconocer que perdimos a un genio debido a la problemática de la homofobia, una problemática socio política.
Puede que no sea nuestro campo de estudio, pero tenemos que estar conscientes de sus implicaciones, es por actitudes así, que perdemos todos los días a futuros colegas. Gente que se retira de la ciencia debido a la pobreza, el maltrato, el estigma, el acoso, y de la cual nunca pudimos aprovechar su verdadero potencial.
Como científicos es nuestro deber aspirar por una sociedad mejor, incluso si escapa de nuestros campos de estudio. Solo en una sociedad mejor nosotros podemos abrir las puertas a más gente para que explote su potencial si que teman por su integridad tanto física como mental.
No me había emocionado tanto con un video desde hace mucho… muchisimas Gracias Crespo y a todo el equipo QF!!!
Lo curioso de esto, es que también está el término de ser "completo según Turin", básicamente es ser capaz de simularte a tí mismo. El juego de la vida cumple esta condición, por lo que el juego de la vida es capaz de simularse a sí mismo
Hay un vídeo de TH-cam en el que hacen una "máquina completa según Turin" con cartas Magic
@@vendettawasd4516 El vídeo explica que la genialidad de Turin es lograr que la inteligencia resida en el procedimiento más que en los componentes. Si Doom puede correr en cualquier cosa que tenga pantalla, cualquier cosa capaz de leer, escribir, mover y almacenar datos es capaz de ser una máquina de Turin
@@andriusmontoya4469 Ya ya, pero me parece un ejemplo curioso
En verdad, que algo sea Turing-completo significa que tiene el mismo poder de cálculo que una máquina de turing, és decir que pueda hacer cualquier cosa que pueda hacer una máquina de Turing (En concreto también puede simularse a si mismos).
Así que el juego de la vida no solo es capaz de simularse a sí mismo, si no que también es capaz actuar como una calculadora, o incluso simular minecraft (y minecraft también es turing completo así que podría simular minecraft simulando el juego de la vida).
A demás, cualquier ordenador del mundo es Turing-completo, lo que significa que el juego de la vida (o minecraft, o el buscaminas, o el juego de Magic o Habbo Hotel o incluso creo que una especie muy concreta de cangrejos) puede teóricamente hacer cualquier cosa que pueda hacer un ordenador (digo teóricamente por qué en la práctica va a ser casi imposible hacer según que cosas).
@@llucc1299 Seh. He visto como se creaba una pc dentro de minecraft. Lo gracioso es que eso también significa que podríamos programar en cualquier lenguaje de programación que todos pueden llegar a hacer lo mismo. Claro está el los tiempos están fuera, ya que Turin mide si pueden o no, no cuanto tiempo tardan xd
el mejor video!!!!!.. tiene de todo: Informatica, matematica, turing, alcohol y un mensaje protestante contra la discriminacion!
por algo tengo la imagen de Turing en mi foto de perfil, fue un genio y un héroe injustamente condenado por algo natural
larga vida a Turing y sus esfuerzos
15:38 Estoy cansado de este mundo
de su gente...
Brillante Turing, el genio de su época.
Y grande Quantumfracture, simplificando las máquinas con borrachos xd
El odio injustificado a los homosexuales se llevo a un gran pensador. Verdaderamente triste
Como (a la fecha de escribir esto, casi) graduado de ciencias computacionales, le doy un 10 a esta presentacion, y a la demostracion del "Entscheidungsproblem". Tuve que hacerla en un examen, y estuvo sabroso.
P.D: Al que le interese, existe el lenguaje de programación Haskell, que intenta convertir el calculo Lambda de Alonzo Church en algo usable en el mundo real. Es muy interesante, y muy alucinado.
Aunque un poquito confuso de enteder, tiene todo el sentido matematico esperado, Alan Turing, el alma de la computacion. Excelente video, es de esperarse por su maravilloso trabajo equipo, Felicitaciones!
Gracias, Onasis.
Muchas gracias una gran explicaciopn es uno de mistemas favoritos soy Matematico simpre e seguido el trabajao de Sr Turing y el gran Gödel un gran saludo a todos y sigo mucho el canal es uno de mis favoritos de buelta Gracias
vuelta*
Gracias por incluir el final, eso es algo que se debe saber
Siempre que se habla de Alan me surge un sentimiento muy grande
Me encanta porque este video es una fusión de varios videos que vi hace tiempo los de lemnismath y uno de hace 9 años sobre el problema de la parada
Dos cosas:
- Dices "decibles" cuando debe ser "deCIdibles" (peccata minuta)
- Hay por ahí un experto sobre el legado de Turing (Jack Copeland) que ha manifestado que esa teoria sobre el suicidio al parecer no es verdad y sigue con el estigma de la homosexualidad (con eso de que los "homosexuales" se pensaba en la época que son mentalmente inestables). Anyway, propone varios hechos, como la nota que estaba junto a su cama que no era de despedida sino de las cosas que tenia que hacer en la semana, que estaba de muy buen humor segun una vecina, que habia organizado una reunion para ese dia (segun la misma vecina), que siempre dejaba una manzana medio mordida porque tenia excentricidades (como amarrar la taza de café al radiador para que no se la robaran) y lo mas importante: era quimico amateur. Le gustaba hacer experimentos quimicos en sus ratos libres en su dormitorio, donde usaba/se producia cianuro, con lo que pudo haber contaminado el cuarto (o gradualmente irse envenenando) y haya causado el fatal ACCIDENTE, no suicidio.
Tu que tienes la habilidad del storytelling y de la investigación, estaría buenerrimo si pudieras caer en ese rabbit hole y ver si encuentras algo. Ya sabes, por la ciencia :D
Gracias por todo Crespo!
es muy admirable verte explicando estos temas de una manera tan sencilla
Qué pena que por cosas así se pierdan a mentes tan brillantes, cuánta gente con esas capacidades les habrá pasado lo mismo, el que le juzguen duramente por algo injusto.
Buen video Crespo. Si les intereso el tema, les sugiero q busquen bussy beavers y como algunas problemas matematicos podrian ser resueltos computacionalmente pero el universo es demasiado pequeño para aquello.
este final me ha hecho llorar cabrones :( os lo podiais ahorrar
8:40 Muchas gracias por eso, de verdad, es la mejor broma de TH-cam que he visto jamás
No solo eso. Esto va más allá. Nosotros somos seres humanos, compuestos con células. Estás serían objetos no vivos sin pensamiento que generan proteínas que, a su vez conforman las piezas fundamentales de nuestro cuerpo. Tal parece que esta analogía va también a todo el aspecto biológico de nuestro planeta. Seguir órdenes dadas mediante un lenguaje (como el ADN) para generar algo más complejo que sus bases, esto es sinergía que ejecutado a gran escala. Puede evidenciarse en el metabolismo o inclusive. La conciencia humana.
Lo había visto también en Veritasium y creo que la explicación de los borrachos es mejor jeje.
Videazo como siempre! Por cosas como esta merece la pena pagar internet 🤣 Gracias Crespo!!!
Es increible lo interesante que hacéis cualquier tema. Muchas gracias por tanto.
¡Wow! Crespo, este ha sido un videazo en muchos sentidos ❤️. De verdad te doy las gracias y te felicito por haberlo hecho 🎉. Llevos años viendote y te admiro muchísimo, te considero de lo mejor que hay en TH-cam en cuanto a divulgación científica se refiere. Lamento que la sociedad haya sido tan estúpida como para condenar a Turing solo por ser homosexual, y sobre todo después de lo que había hecho. Lo lamenté de verdad, porque la sociedad sigue siendo igual de retrograda en ese sentido. Yo soy heterosexual, pero me vale madres con quién decide acostarse mi vecino o mi vecina, eso a mí no me afecta, es la vida de ellos y la pueden llevar como quieran.
Uno de los videos más hermosos que ví en mi vida. Hasta la música acompaña de manera sublime 🥹
El "drink team" de las matemáticas 🥂😂🤣🤣🤣
Fascinante.
Y muy, muy triste el final de Turing.
Estoy estudiando informática y ya conocía una gran parte de los temas tratados en este video, pero está explicado de forma muy clara y se entiende muy bien. Me ha encantado el video
Seria interesante ver mas historias redactadas a tu estilo audiovisual, aunque no estén del todo relacionadas a las ciencias que comúnmente presentas
Muy interesante!! Muy buen vídeo!! Lástima el final, menos mal que algo se eso se cambiado para nuestros días, necesitamos a otro Turing.
Cuando me enteré del indulto (en su momento a Turing) lo primero que se me vino a la mente fue que en vez de otorgarle el real perdón, debieron haber solicitado ( a Alan) el Real Perdón de él reconociendo el error y quedar en suspenso...
Implícitamente dejan entre dicho que, la culpa es del otro y no de uno...
Gracias por haberme hecho recordar esta historia que estudie hace 15 años en la universidad. Hermoso video. Felicidades.
Lo curioso es que el profesor de universidad de mi padre, en aquel entonces un aleman que lucho en la segunda guerra mundial, reconocido actuario de México le dijo a mi padre que no hiciera tesis porque según el ya toda esa rama de la matemática con respecto a actuaría ya estaba totalmente escrito y no había nada más que añadir..
Grande esa persona siendo la representación de cada científico de mitades del siglo pasado
10:47 El planteamiento no es del todo correcto, ya que dices que computabilidad implica decidibilidad y luego dices que no computabilidad implica no decidibilidad, pero esa deducción no es valida ya que sería al revés, no decidibilidad implica no computabilidad(ya que A implica B si y solo si no B implica A) supongo que la proposición realmente sería una equivalencia bidireccional y lo has expuesto con una implicación unidireccional para simplificar la explicación. Aun así quiero señalarlo
10:00
El pibe que corrio doom en un cactus:
Porfin un digno oponente, nestra batalla sera legendaria!
Estoy arrancando mi día laboral como programador y desayunar con este homenaje a Turing me mejoró mucho el Lunes, gracias! 💚💙💛
10:00 seguro?
Excelente video Crespo, Clara exposición. Un abrazo.
Cada video es una joyita🤑 orgulloso de ser sub de este gran canal😃
por qué apareces en muchos de los vídeos que yo veo? no te llamas Fernando?
Fuaaa uno de los mejores videos de este canal 👏🏻👏🏻👏🏻👏🏻
Me ha entrado ganas de ver de nuevo "descifrando enigma" 😁😁
Mientras planteabas lo del equipo M y Q en mi mente dije “eso me suena a un bucle infinito” y justamente pasados unos segundos se volvió obvio, no se como entiendo esto pero se me hizo algo intuitivo, creo que es la forma de explicar que tienes 😂
Qué pena lo de Turing. El hecho de que sus potenciales descubrimientos o inventos no hayan llegado a existir por ser homosexual refleja muy bien como estos pensamientos retrógrados afectan tan negativamente al desarrollo de la humanidad. Imaginad la de científicos que no pudieron realizar sus investigaciones por motivos religiosos. En fin, muy buen vídeo Crespo
Muy bien vídeo de muy buena calidad, no solo el contenido es muy buenlo sino que la narración y la animación lo son también
El video increíble y la parte final hablando de la pena que se le impuso por ser gay me parece un detalle muy bonito para la memoria e imagen de Turing 👌🏻👌🏻
¡Emocionante! Va un abrazo desde Monterrey.
Me interesan los proyectos incompletos de Turing
Uno decia; "Jamas se podra correr doom en una maquina de escribir".
"Aunque no se que es doom" decia otra.
Jamás comento nada en TH-cam, pero me pareció tan genial el video que me hubiese gustado que me lo explicasen de esta manera cuando estaba estudiando, además del pequeño homenaje a un grande como Turing, que es muuuucho mas que solo haber resuelto la maquina Enigma.
Lo de la manzana mordida de Turing hoy es un homenaje a su memoria plasmado el logo de la marca Apple con los colores de la bandera gay
Muy buen video! Únicamente eché en falta una mención a Bertrand Russell. Creo que ayudó mucho a que Turing formulara esa paradoja del bucle infinito.
No entendí nada. Un saludo
XD
Pero a que mola hacerse el intelectual viendo estoy estoy vídeos
Buenísimo gran historia! Felicito a todo el equipo son unos grandes!
10:01
El informático: ¿Qué, estás retándome?
Gracias por el video Crespo, estoy estudiando ing en software y amo la historia y conocer como fue que llegamos a este punto
¿Que implicaciones tuvo para las matemáticas que los tres pilares en los que se pretendía sostener fueron derribados?
Principalmente 2:
1. Que existen preguntan en matemáticas qué JAMÁS podrán ser resuletas con las propias matemáticas (pero no podemos saber de antemano cuales son).
2. Que las mismas matemáticas podrían estar mal hasta su fundamento.
¡Gracias!
Cómo dato curioso hay ya un vídeo de Veritasium y Mates Mike que hablan de este tema a mayor profundidad, la incompretitud de la matemáticas...
Mates Mike:
th-cam.com/video/6oXs7Yi4tGY/w-d-xo.html
Veritasium en español:
th-cam.com/video/RRg38oNQ9vk/w-d-xo.html
Muy bueno ese vídeo. Y ya está en español por si no sabían.
2:30 Errata: El edificio no se sostiene por los pilares, se sostiene por sus cimientos; es la cubierta y el espacio que delimitan lo que sostienen los pilares
10:03 los desarrolladores de la comunidad: RETO ACEPTADO
Gödel no demostró que las matemáticas fuesen inconsistentes. Demostró que, con las reglas de un sistema axiomático, no se puede averiguar si el sistema es o no consistente (hace falta un axioma mayor que lo englobe). Dicho de otra forma, no demostró la inconsistencia de las matemáticas, sino la imposibilidad de saber si son o no consistentes.
Si Gödel hubiese demostrado que podemos llegar a afirmaciones verdaderas y falsas a la vez, nos habríamos quedado sin trabajo los matemáticos.
Supongo que lo que realmente quizo decir era que no se podía deducir simultáneamente la completitud y consistencia decir de un sistema matemático “fuerte”, ósea si asumes que el sistema es consistente entonces necesariamente será inconsistente y viceversa.