La Historia del GENIO de la LÓGICA que ROMPIÓ la Matemática

  Рет қаралды 103,846

Math Rocks

Math Rocks

Күн бұрын

📚 Kurt Gödel: La mente prodigiosa que descubrió la debilidad de la lógica matemática, descubre el enigma y Cómo rompió la matemática con un teorema cambiando la historia 📚
👉 CURSO Completo de Cálculo Nivel HARVARD
• Cálculo Nivel Harvard ...
Más vídeos que te AYUDARÁN 👉👉 kzfaq.info?s...
👉 ÚNETE al CANAL descubre 680 vídeos y 18 CURSOS completos EXCLUSIVOS
/ @mathrocks
► CURSOS COMPLETOS de MATEMÁTICAS
/ mathrocks
0:00 Introducción al GENIO Kurt Gödel
1:39 Biografía de Kurt Gödel
5:30 Kurt Gödel y los Teoremas de INCOMPLETITUD
8:55 Aportaciones a la Lógica Matemática de Kurt Gödel
11:55 Curiosidades sobre Kurt Gödel
Kurt Gödel o también Kurt Goedel ([ˈkʊʁt ˈɡøːdəl]; Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978) fue un lógico, matemático y filósofo austríaco.
Se le considera uno de los lógicos más importantes de todos los tiempos. Su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo xx. Al igual que otros pensadores -como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert-, Gödel intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática.
Se le conoce sobre todo por sus dos teoremas de la incompletitud, publicados en 1931, un año después de finalizar su doctorado en la Universidad de Viena. El más célebre establece que para todo sistema axiomático recursivo autoconsistente lo suficientemente poderoso como para describir la aritmética de los números naturales (la aritmética de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema, desarrolló una técnica denominada ahora numeración de Gödel, que codifica expresiones formales como números naturales.
También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes. Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal.
Kurt Gödel y sus teoremas de incompletitud: El impacto revolucionario en la filosofía y la ciencia
#historia #gödel #kurt
📸 SIGUEME en IG ►► themathrocks

Пікірлер: 168
@MathRocks
@MathRocks Жыл бұрын
GRACIAS por venir a conocer esta INCREÍBLE HISTORIA 👉 CURSO Completo de Cálculo Nivel HARVARD kzfaq.info/get/bejne/jN58gJaFnsXRp5s.html Más vídeos que te AYUDARÁN 👉👉 kzfaq.info 👉 ÚNETE al CANAL descubre 680 vídeos y 18 CURSOS completos EXCLUSIVOS kzfaq.info/love/4nxWt8WxXUmCXpjSLyYtKAjoin
@rosagonzalesportocarrero6525
@rosagonzalesportocarrero6525 Жыл бұрын
Es un placer escucharte athRocks.
@manueladolfoholzmannillane3050
@manueladolfoholzmannillane3050 Жыл бұрын
Tienes un curso donde se enseñe y practiquen todas las matemáticas para ciencia de datos?(datascience)
@katchtan5455
@katchtan5455 Жыл бұрын
Super Sayayin😊
@leonardosabasmolinatovar9593
@leonardosabasmolinatovar9593 Жыл бұрын
Voté por él. Pensaba que Bertrand era lo máximo, luego aprendí a divertirme, me leí uno de aritmética y con el tiempo conocimos a Kurt el bueno.
@MathRocks
@MathRocks Жыл бұрын
Yeahh
@saidmendizabal781
@saidmendizabal781 Жыл бұрын
Qur libros recomiendas de el?
@felipecastillo4950
@felipecastillo4950 Жыл бұрын
Kult murió de otra forma
@guillermolinarespereda9439
@guillermolinarespereda9439 Жыл бұрын
Filósofo, matemático y lógico... En su tesis doctoral, tiro el proyecto del formalismo de David Hilbert. Sin duda él y Gettier fueron unas bestias de la lógica
@MathRocks
@MathRocks Жыл бұрын
Así es!!
@javierdiazmanzi7455
@javierdiazmanzi7455 Жыл бұрын
No, en su PhD Gödel demostró la completitud de la lógica de predicados de primer orden. Los teoremas de incompletitud vinieron después.
@andrestlee
@andrestlee Жыл бұрын
Gracias profesor, Kurt encajó bien en mi monografía de filosofía, al igual que Russell. Hay que sentarse a leer largo rato, sobre sus obras, pero es interesantísimo
@emmanueltorres5203
@emmanueltorres5203 Жыл бұрын
Profe, saque más videos de matemáticas rusas y soviéticas, aprovechando que estamos en esto de la historia podría hacer un documental de la legendaria editorial mir Moscú
@MathRocks
@MathRocks Жыл бұрын
No hay mucho material de eso, estoy en proceso de investigar
@hendersayma7741
@hendersayma7741 Жыл бұрын
Sería bueno profe
@hendersayma7741
@hendersayma7741 Жыл бұрын
Sería bueno profe
@emilianodominguez7096
@emilianodominguez7096 Жыл бұрын
Si estaría muy bueno
@cesartulioibarboochoa1001
@cesartulioibarboochoa1001 Жыл бұрын
Kurt Goedel, matemático Austríaco
@victormireles3280
@victormireles3280 Жыл бұрын
Una idea interesante en estos teoremas es que el sentido/congruencia/validez de un sistema formal se lo va a dar algo externo al mismo sistema y esta es la principal razón por la cual las I.A no podrán suplantarnos, ya que siempre necesitarán de nosotros para tener sentido.
@AlexanderEspinosa
@AlexanderEspinosa Жыл бұрын
La I.A. es una palabra muy amplia, pero se refiere a técnicas no a teorías. Una de esas técnicas se conoce como expert system. Si le interesa el tema de la comprobación de teoremas puede empezar por prolog.
@joseduardo85
@joseduardo85 Жыл бұрын
Sería importante saber que tanto se han desarrollado las ideas de Gödell en el presente y que tan importante es su aporte a la matemática más abstracta como siempre creo yo fue su pensar
@marcelogodoy6299
@marcelogodoy6299 Жыл бұрын
Hermoso trabajo profesor. Gracias por tomarte el tiempo
@otrojugadordegd6993
@otrojugadordegd6993 Жыл бұрын
Gran video, fue impresionante saber que existen trabajos donde la lógica parece aplicarse formalmente en casos como la paradoja del mentiroso, desde mates discretas sospechaba que debía ver más q la lógica pueda ofrecer, y sí, así es y seguramente con mares de detalles e información, pq los trabajos de godel son el resultado de sus estudios y el de muchos matemáticos anteriores a el q aportaron sus piezas a un robusto y bello campo
@MathRocks
@MathRocks Жыл бұрын
así es, en mis cursos aplico todo eso
@andresfeliperiostamayo7307
@andresfeliperiostamayo7307 Жыл бұрын
super super bueno, Gracias por este contenido. Esta hiper interesante
@Rholfy
@Rholfy Жыл бұрын
Genial! Gracias profe John!
@douglasflores9853
@douglasflores9853 Ай бұрын
Tremendo video profesor, felicitaciones.
@bellasaban-wk9zu
@bellasaban-wk9zu Жыл бұрын
Exelente explicación. Me gustó. Se ve que es un trabajo denso estudiar e investigar en matemáticas. Pero son adictivas.
@felipex32123
@felipex32123 Жыл бұрын
Es curiosa la participación de Von Neumann en esta historia, cuando Godel presenta el primer teorema de incompletitud y todos quedaron atónitos. Von Neumann que estaba en la conferencia junto con Einstein (Hilber se sentía enfermo y no se encontraba ahí), se acerca a Godel y le dice algo como "tu no te vas hasta que me expliques esto" , en esa explicación, Von Neumann se da cuenta del segundo teorema de incompletitud y su importancia (que en ese momento Godel solo lo veía como un simple corolario). En los meses posteriores mientras Godel trabaja en su demostración y publicación oficial de los teoremas, recibe una carta de Von Neumann con la demostración a ambos teoremas. Esta historia es muy interesante, por ahí hay unas entrevistas a Godel donde cuenta esto, como alguien dijo por ahí "Von Neumann era el único genio" (haciendo referencia al grupo de cientificos hungaros los "marcianos"). Simplemente con la explicación del primer teorema, descubrió el segundo y demostró ambos independientemente de Godel.
@xjuandax55
@xjuandax55 9 ай бұрын
Nuevo suscriptor, apenas conozco tu canal, gran contenido profe gracias 🙏🏻
@christianmosquera9044
@christianmosquera9044 Жыл бұрын
excelente video , maravilloso
@adrianlopez5079
@adrianlopez5079 Жыл бұрын
Más videos de estos maestro!!!
@luisestebanruiz9773
@luisestebanruiz9773 Жыл бұрын
Excelente video, agrego que el ebschendung problem, o problema de la parada , fundamental para Turing en : " On computatuonal numbers....", además de ser pionero en la teoría de juegos, por su relación con Vonn Neuman y Oskar Morgenstern, de hecho este último le acompañó junto con Einstein al examen de ciudadanía, con la anecdota, que el mismo Gödel, demostró que la constitución de USA, permite que que esta se convierta en una dictadura .
@alfonsojesusbarbosagonzale3025
@alfonsojesusbarbosagonzale3025 Жыл бұрын
Bravo amigo gran canal!
@MathRocks
@MathRocks Жыл бұрын
Gracias
@fastenglish7534
@fastenglish7534 Жыл бұрын
Wow!!! Simplemente brutal!!!
@MathRocks
@MathRocks Жыл бұрын
así es
@795stafler
@795stafler Жыл бұрын
«La Lógica es el Principio de la Sabiduría, No el Final». SPOCK Star Trek VI: El País Desconocido
@user-xf3bg8ib1d
@user-xf3bg8ib1d Жыл бұрын
😂
@MathRocks
@MathRocks Жыл бұрын
buena cita
@oscarcam9804
@oscarcam9804 Жыл бұрын
Excelente aporte a la divulgación cintifica👍
@MathRocks
@MathRocks Жыл бұрын
gracias
@ivansalinasvidal187
@ivansalinasvidal187 Жыл бұрын
Es un placer escuchar a un matemático explicando matemáticas aún que no sea matemático...
@MathRocks
@MathRocks Жыл бұрын
trato de hacerlo ameno
@El_Girasol_Fachero
@El_Girasol_Fachero Жыл бұрын
Interesante historia🧐 gracias profe Jhon🥸👍
@MathRocks
@MathRocks Жыл бұрын
Saludos!!
@arturomolinarodriguez7519
@arturomolinarodriguez7519 Жыл бұрын
Uff,...interesantísimo,muy bueno thank you...
@795stafler
@795stafler Жыл бұрын
Buen Video, Profe John!! Son muy Interesantes! Una Consulta. Como podríamos Estructurar una Rutina de Estudio-Práctica, para nosotros los Autodidactas, Aspirantes a Matemáticos o Físico-Matemáticos. Una Rutina más Eficiente, si no es mucho pedir, Profe John! Agradezco su Respuesta!!
@MathRocks
@MathRocks Жыл бұрын
revisa mi video de como estudian los estudiantes top
@diosrodriyt9619
@diosrodriyt9619 Жыл бұрын
buenas noches profesor este de conamat los libros de matematica simplificada tengo unas preguntas nose si le importaria
@MathRocks
@MathRocks Жыл бұрын
Usa el Sowokosky es mejor libro
@cesarsaldana3429
@cesarsaldana3429 Жыл бұрын
La Lógica por mucho tiempo despreciada por los matemáticos, quien diría que seria el medio por el cual Godel, callaria varias bocas y dejaría de piedra a muchos disque "matemáticos de 1er nivel" incluidos Hilbert.
@MathRocks
@MathRocks Жыл бұрын
bueno no era despreciada, siempre se estudió. Lo que si es cierto es que Godel vino a romperle las pelotas a los matemáticos
@javierdiazmanzi7455
@javierdiazmanzi7455 Жыл бұрын
¿Hilbert "dizque" (con "z") matemático de primer nivel? Dios, perdónalo porque no sabe lo que dice.
@maxsager139
@maxsager139 Жыл бұрын
6 minutos de introduccion para repetir de nuevo lo mismo. Menuda paciencia tuve que tener y VOTE NEGATIVO SU VIDEO.
@ismaelpinto2692
@ismaelpinto2692 Жыл бұрын
Bro, qué libro para aprender lógica proposicional? cómo un sayayin me recomiendas
@opuntopunto5783
@opuntopunto5783 Жыл бұрын
8:50 yo recomiendo el libro, La música de los números primos, y el video de veritasium está copiado de ahí y ni una referencia.
@MathRocks
@MathRocks Жыл бұрын
Buen libro
@Klaatu-Gort
@Klaatu-Gort Жыл бұрын
¿Por qué pronuncia la "o" con diéresis alemana (ö) como /u/? Este fonema, con grafía como "ö" o como "oe", se pronuncia con la lengua avanzada, en posición de /e/, pero con los labios redondeados, en posición de /o/.
@arramtor
@arramtor Жыл бұрын
¡Gracias!
@MathRocks
@MathRocks 2 ай бұрын
un abrazo
@rukabestowaifu5430
@rukabestowaifu5430 Жыл бұрын
Profe John, una pregunta, ¿su iceberg sobre las matemáticas puede ser usado como temario para autodidactas?
@otrojugadordegd6993
@otrojugadordegd6993 Жыл бұрын
No soy el profe jhon, pero creo q no, ya q la idea de los icebergs es jerarquizar las ramas de las matemáticas según su dificultad, pero no por una relación de secuencia de unos con otros. Para eso mejor sería buscar libros, apuntes, ser miembro del canal (no patrocinado, pero confío en el de jhon), etc (ese etc son los cursos libres de mates de la mit por ejemplo)
@rukabestowaifu5430
@rukabestowaifu5430 Жыл бұрын
@@otrojugadordegd6993 Gracias por su comentario
@MathRocks
@MathRocks Жыл бұрын
Así es, también el orden de los 18 cursos
@MathRocks
@MathRocks Жыл бұрын
Te recomiendo más el roadmap de las matemáticas
@rukabestowaifu5430
@rukabestowaifu5430 Жыл бұрын
@@MathRocks ¡Muchas gracias profe John!
@christianespinoza994
@christianespinoza994 Жыл бұрын
Entiendo que el video tiene la finalidad de ser divulgativo y que a un no matemático le resulte un gran video, sin embargo, aconsejo hacer una mejor recopilación de datos, una lectura compresiva y sobre todo una coherencia en su estructura de redacción. Como matemáticos que somos, el rigor no debería perderse aun tratándose de un video divulgativo, mucho más tratándose de Gödel.
@alejandroleal7396
@alejandroleal7396 Жыл бұрын
Has videos cn esas características.
@jonathanroque355
@jonathanroque355 Жыл бұрын
Muy bueno el video... Ahora uno de una dama para empezar Noether...🤩
@rubenesquivelperaltaesquiv1034
@rubenesquivelperaltaesquiv1034 9 ай бұрын
Son muy necesarias las imágenes fuera del tema?
@luisalonsohernandeztellez7030
@luisalonsohernandeztellez7030 Жыл бұрын
Haz de Von Neumann profe john
@sebashuitron8940
@sebashuitron8940 Жыл бұрын
¿Podría haber video dedicado al trabajo de Maryam Mirzakhani?
@renatogasconvera7293
@renatogasconvera7293 Жыл бұрын
No sé demasiado, pero creo que si que está demostrado que existen infinitos números primos. O sea que dado un conjunto cualquiera de números primos, siempre habrá uno mayor que todos los del conjunto. Pero no sé, aqui se habla mucho.
@hvtengarcia3176
@hvtengarcia3176 Жыл бұрын
Gracias Lord! Jajaja wuuu
@MathRocks
@MathRocks Жыл бұрын
Saludos
@user-xf3bg8ib1d
@user-xf3bg8ib1d Жыл бұрын
Piola. Venga a unmsm, estaría re piola, saludos.
@MathRocks
@MathRocks Жыл бұрын
pronto
@arturopena1210
@arturopena1210 Жыл бұрын
Tambien se encontró un trabajo de el años después de muerto, dónde profundizaba y corregía la propuesta de San Anselmo de Canterbury: el argumento Ontológico de la existencia de Dios. De entre los grandes un grande.
@c_dorado
@c_dorado Жыл бұрын
Hilbert: "Nadie podrá expulsarnos nunca del paraíso que Cantor creó para nosotros". Gödel: "Seguro?"
@javierdiazmanzi7455
@javierdiazmanzi7455 Жыл бұрын
No es así, esa frase de Hilbert (un formalista) fue durante una disputa con Brouwer (un constructivista) en el contexto de la axiomatización de la geometría de Hilbert.
@yuryeuceda8590
@yuryeuceda8590 Жыл бұрын
Uno de mis héroes
@sergiobitar7791
@sergiobitar7791 Жыл бұрын
Lo de que el concepto de número es intuitivo y no lógico, debería haberlo demostrado cuando estaba vivo, "a mi me parece bastante lógico que a la izquierda del 3 hay un 2, y a la derecha hay un 4" .
@benitobadilla1594
@benitobadilla1594 Жыл бұрын
Para yo fisicco matematico el chiste de el aprovechamiento es dejar biemestar por ejemplo algo que deje bienestar ha la comunidad de provecho y asi poder ganar fisico matematico
@frayayala3985
@frayayala3985 Жыл бұрын
Mil gracias por tu trabajo Honorable pilar del fuego🔥 (profeJhon).......XD
@MathRocks
@MathRocks Жыл бұрын
saludos!!!
@raulalexandru7
@raulalexandru7 Жыл бұрын
Gracias a ti me van a saltar de curso yo voy a la Eso y me voy a pasar a bachiller gracias profe John
@pedrosuarez544
@pedrosuarez544 Жыл бұрын
Ooo siii, temazo.
@MathRocks
@MathRocks Жыл бұрын
como siempre
@jesusfranciscoreza5243
@jesusfranciscoreza5243 29 күн бұрын
Cuántifica la gravedad
@felipesepulvedasalinas6648
@felipesepulvedasalinas6648 Жыл бұрын
Uff la prueba de Godel, hasta el día de hoy me cuesta entenderla
@Onkel259
@Onkel259 Жыл бұрын
Con razón tuvo problemas mentales al final de su vida. Las cosas en las que trabajaba era una brutalidad
@idiavolo
@idiavolo Жыл бұрын
Muchas gracias, cuando se pueda seria interesante que hables de la Prueba de la existencia de Dios, saludos
@joquino73
@joquino73 Жыл бұрын
El solo comía lo que le preparaba su esposa. Ella tuve que ser ingresada en un hospital por varias semanas, por eso murió de hambre. Yo tuve un compañero profesor que igual por excéntrico le pasó algo parecido.
@rauldiaz4849
@rauldiaz4849 Жыл бұрын
QUE UN LOCO EXTREMO ACABE SIENDO CUERDO EXTREMO SON LAS PARADOJAS DE LA VIDA Y POR TANTO DE LAS MATEMATICAS... POR ELLO LA LOCURA ES EXQUISITAMENTE CONTAGIOSA.
@MathRocks
@MathRocks Жыл бұрын
Así es
@mr.rayden
@mr.rayden 10 ай бұрын
Si comes te mueres, si no comes tambien te mueres. Fue fiel a su teorema😂
@rodrirodriguez2339
@rodrirodriguez2339 Жыл бұрын
La mejor anécdota para mi es cuando Einstein le acompaño a Kurt hacer la ciudadanía.
@MathRocks
@MathRocks Жыл бұрын
Y que encontró errores en el sistema no?
@rodrirodriguez2339
@rodrirodriguez2339 Жыл бұрын
@@MathRocks en la constitución de EEUU encontró contradicciones lógicas jaja y Alberto y Morgenstern q fueron como testigos, le aconsejo que no diga nada para que le puedan dar la ciudadanía, no me acuerdo bien pero con esas contradicciones en USA era legal que un hombre sea un dictador jaja
@ivansanchez353
@ivansanchez353 Жыл бұрын
Tienes que brindar,por favor, más cursos matemáticos a los más necesitados en conocimiento y que no pueden pagar esos cursos universitarios .A lo mejor para ti un dólar es una miseria ,pero para mi y otros no.
@espartiatamagno5466
@espartiatamagno5466 Жыл бұрын
Jajajaaj no mames😂😂😂😂 cuando vayas por unas caguamas dile al que te las vende que te regale el dolar y lo pones acá que es más útil
@MathRocks
@MathRocks Жыл бұрын
Saludos
@MrKidgavilan
@MrKidgavilan Жыл бұрын
6:26 ' existen infinitos numeros primos ' lo demostro euclides ya hace mas de dos mil annos !!!!
@eliasmuga1609
@eliasmuga1609 Жыл бұрын
UN VIDEO DE LA FORMA DE ENSEÑANZA DE LA MATEMÁTICA Y CIENCIAS EN LA URSS... LO QUE OBLIGABO A EEUU A INVENTAR EL RITALIN MEDICAMENTO PARÁ QUE SUS ESTUDIANTES ALCANZARÁN EL NIVEL DE MATEMÁTICAS DE LA URSS DESPUÉS DEL LANZAMIENTO DE DEL SATÉLITE SPUTNIK 4 DE OCTUBRE DE 1957 POR LA URSS...
@veronicalogotheti1162
@veronicalogotheti1162 Жыл бұрын
Este tipo de burradas aca nos tienen
@luisgalleguillos4868
@luisgalleguillos4868 Жыл бұрын
Kurt Godel parece nombre y apellido alemán y por tanto se pronuncia creo gOhdel con o de ola .
@winstongranagarnier1571
@winstongranagarnier1571 Жыл бұрын
La foto corresponde al genial matemático Alan Turning
@MathRocks
@MathRocks Жыл бұрын
Pronto su biografía en el canal
@javierdiazmanzi7455
@javierdiazmanzi7455 Жыл бұрын
*Turing
@joseluisaguilaralonzo6374
@joseluisaguilaralonzo6374 Жыл бұрын
SALUDOS DR. JOHN ... 👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋
@josuepeter7309
@josuepeter7309 Жыл бұрын
Muy bien pero esperaba un video de Riemann
@MathRocks
@MathRocks Жыл бұрын
Sale viernes!
@JohnDoe-kh3hy
@JohnDoe-kh3hy Жыл бұрын
¿Cómo la "n" vez a una persona? n > 1 para los naturales. Encuentras, si; pero lo conoces esa primera vez
@baregildegomcesval
@baregildegomcesval 2 ай бұрын
Se pronuncia Gedl
@martinpansecchi3331
@martinpansecchi3331 11 күн бұрын
Qué sos el inspector del diccionario? Chapa gratis
@abelperalta9393
@abelperalta9393 Жыл бұрын
La sentencia maravillosa de Gödel: "No es dem. que no es dem. que no es dem....que la autosustitución no es demostrable". ¿Tiene algún sentido eso, aunque formalmente sea una sentencia "bien formada" (que si miras bien, no lo es tanto, pues la función de sustitución no es eliminable totalmente)? Siempre hay un código numérico de una fórmula abierta, como argumento de la función de sustitución. Es un truco muy bien pensado, sin duda, hasta alguien podría decir genial, de la misma manera que lo es su modelo, la paradoja de Epiménides, que 2300 años después de planteada sigue dando polémica. Pero no deja de ser un truco inútil para el conocimiento matemático y filosófico. Sí es un tema de estudio para la lingüística.
@brownierazoor8865
@brownierazoor8865 Жыл бұрын
Y el punto es??
@abelperalta9393
@abelperalta9393 Жыл бұрын
@@brownierazoor8865 Consulté con ChatGPT cuál podía ser el objetivo de tu pregunta, y respondió esto: "La persona que te hizo la pregunta probablemente no entendió cuál era el punto o la conclusión que estabas tratando de transmitir en tu comentario sobre el primer teorema de incompletitud de Gödel. Podría estar pidiéndote que aclares cuál es la idea central que intentas comunicar. Por lo que puedo entender de tu comentario, pareces estar cuestionando la utilidad del primer teorema de incompletitud de Gödel y su famosa "sentencia maravillosa" en el contexto de la matemática y la filosofía. Pareces estar sugiriendo que la autosustitución no es una idea útil para el conocimiento matemático y filosófico, y que más bien es un tema para la lingüística." Como ves, ChatGPT sí captó el punto. 😀
@sufronausea
@sufronausea Жыл бұрын
Sé que se supone que es un video de divulgación y eso, pero hay demasiados de estos al rededor de Gödel y siempre dicen cosas inexactas. Espero puedas apreciar la crítica constructiva. En alemán la e se pronuncia de forma regular, así que Gödel se pronuncia guedel, formalmente se pronuncia o con la garganta pero es incómodo y suena como guedel. Sé que es lo que se suele decir: Gödel ''rompió'' las matemáticas, o como lo pusiste tú 'un golpe bajo a las matemáticas'; pero la lectura que yo le doy es que las matemáticas son más una ciencia plástica que una ciencia híperrigurosa donde todo está decidido. La posibilidad de investigación matemática es literalmente infinita. Siempre vamos a poder encontrar algún axioma nuevo e investigarlo hasta que quede seco... siempre que sea posible. Me parece que tu aseveración sobre los números primos (que estamos condenados a no demostrar su infinitud) es falsa. Dentro de ZF o la forma más primitiva de ZF, se puede demostrar sin problemas que siempre hay uno más grande. Incluso me parece que hay una demostración que no hace uso del axioma de infinito y si mal no recuerdo es de Brower. Sobre la fórmula para definir la verdad me parece que fue Tarski quien lo probó y específicamente no se prueba que no hay fórmula que defina la verdad, se prueba que una estructura no puede definir su propia verdad. Pero igual desde 'afuera' sí puedes (y lo hacemos a diestra y siniestra, dentro y fuera de lógica) definir lo que significa que algo sea verdad. El universo construible no es capaz de demostrar 'todas las verdades matemáticas, justo el video menciona como no hay forma de expresar 'todas' las verdades matemáticas (teorema de incompletud), pero sí es cierto que L es un modelo de ZFC y 'decide' muchas cosas independientes de ZFC, como la hipótesis del continuo. Cerca del final dices que 'ningún' sistema matemático puede ser completo y consistente, cosa que es falsa. La teoría de campos algebraicamente cerrados o las álgebras booleanas ordenadas son teorías matemáticas completas. El teorema de incompletud es específico para cualquier sistema que tenga la suficiente maquinaria para hacer aritmética. Historia divertida: mencionaste a Sheldon sobre sus similitud con Gödel, hay un capitulo de the big bang theory donde sale su argumento ontológico (i.e. la demostración de la existencia de dios) y Sheldon dice que ni él le entiende a eso...
@MathRocks
@MathRocks Жыл бұрын
Gracias por la acotación, saludos
@ElAlitasXD
@ElAlitasXD 2 ай бұрын
Kurt Gödel es literalmente yo (me dan miedo las personas)
@martinpansecchi3331
@martinpansecchi3331 11 күн бұрын
Una cosa es ser cobarde y otra un prodigio matemático 😒
@yaap777
@yaap777 Жыл бұрын
Todos esos genios tienen problemas, por eso hay que cuidar las neuronas y ver los canales menos profundos como reality shows o cosas mundanas
@diegoortiz5088
@diegoortiz5088 Жыл бұрын
Habla de sus pruebas de la existencia de Dios como segunda parte de este vídeo y habla de esa matemática no hecha por el humano.
@ramiro2509
@ramiro2509 Жыл бұрын
😮
@veronicalogotheti1162
@veronicalogotheti1162 Жыл бұрын
Uno mas Uno hacen dos
@narutodeiztapalapa3879
@narutodeiztapalapa3879 Жыл бұрын
Ya le di like y me suscribí, porfavor libera a mi familia te lo suplico.
@MathRocks
@MathRocks Жыл бұрын
XD
@jorgetorres1670
@jorgetorres1670 Жыл бұрын
Filosofía de la matemática.
@richardamadeus2828
@richardamadeus2828 Жыл бұрын
Pues en la universidad nos deberían enseñar esos cursos de Gudel
@reynahernandez3680
@reynahernandez3680 Жыл бұрын
Promosionando a instituto polibalente tiburcio carias andino de las vegas santa barbara estudiante Doña Reyna maribel Hernandez castillo de mi pais Hondurascon profesor luis Daniel bautista con fisica elemental abansada de huniversidad
@diegoortiz5088
@diegoortiz5088 Жыл бұрын
Esto se debe a que los sistemas formales son invenciones y deducciones de la mente humana, y las verdades matemáticas están más allá de esto. El hecho es que hay matemática en la naturaleza que rebasan esas barreras. Eso inspiró a Godel a retomar los argumentos oncológicos medievales como el de Anselmo y Godel busco los suyos. Buscando probar la existencia de Dios como el autor de esa matemática extra humana, axiomatizando toda esa parte.
@abelperalta9393
@abelperalta9393 Жыл бұрын
¿Rompió la matemática? Es un poco sensacionalista eso. Sólo construyó una sentencia autorreferencial, que hace incompleto cualquier sistema de **metamatemática**. Se ha escrito muchísimo sobre eso, pero nada que sirva realmente a otros campos de la matemática.
@MathRocks
@MathRocks Жыл бұрын
Clicbait
@juanantoniopinedafunes8792
@juanantoniopinedafunes8792 Жыл бұрын
De lo poco que he leído, Kurt Godel tenia teorias muy impresionantes, pero fue precisamente David Hilbert quien demostró que la mayoria estaban erróneas... es así?
@pedrosuarez544
@pedrosuarez544 Жыл бұрын
Yo diría al revés, Hilbert se creía capaz de construir unas matemáticas perfectas y Gödel le demostró que eso no es posible.
@marcoantoniocanaza5994
@marcoantoniocanaza5994 Жыл бұрын
Hilbert era un monstruo, pero Godel (Y tambien Turing) destrozo todos sus planes que había armado para axiomatizar las matemáticas.
@MathRocks
@MathRocks Жыл бұрын
ambos son titanes
@juanantoniopinedafunes8792
@juanantoniopinedafunes8792 Жыл бұрын
@@MathRocks oye eso de que Kurt enloqueciera al llegar a cierto conocimiento diferente a lo establecido, parece salido de una historia de Lovecraft.
@MathRocks
@MathRocks Жыл бұрын
@@juanantoniopinedafunes8792 pues muchos han terminado asi
@wilburangelbaptista3034
@wilburangelbaptista3034 Жыл бұрын
Modestamente: No es bueno relacionar resultados matemáticos que corresponde a la ciencia exacta con consecuencias lógicas que son respuestas limitadas. Quizá la probabilidad sea cercana a la lógica, pero no la matemática.
@veronicalogotheti1162
@veronicalogotheti1162 Жыл бұрын
O sea no existen
@juanmanuelcarvajalcastro2282
@juanmanuelcarvajalcastro2282 Жыл бұрын
Hablas igual que droppy🤣
@rukabestowaifu5430
@rukabestowaifu5430 Жыл бұрын
Primera vista 🎉🎉🎉🎉
@MathRocks
@MathRocks Жыл бұрын
Gracias
@rukabestowaifu5430
@rukabestowaifu5430 Жыл бұрын
@@MathRocks Gracias a usted por tan buen contenido profe 🥳🥳🥳
@sorcerereye
@sorcerereye Жыл бұрын
En este video Gödel pronunciado como "gudol"?? Terrible!! 😕 Por cierto, Neumann tampoco tiene esa pronunciación inglesa de "Newman"
@urdapilleta
@urdapilleta Жыл бұрын
Godel, no gudol
@cry-yori2487
@cry-yori2487 2 ай бұрын
Profe, porfa respire bien, no me le vaya a pasar algo
@jjl7848
@jjl7848 Жыл бұрын
Las matemáticas te pueden matar, mejor no estudio matemáticas.
@WALLACE9009
@WALLACE9009 Жыл бұрын
No rompió las matemáticas ni nada. Es una mala interpretación del teorema
@ivanr.76
@ivanr.76 Жыл бұрын
Me da la impresión de que no has redactado un texto coherente para leerlo, que habría sido lo adecuado, sino que has tomado párrafos de diferentes fuentes y las has ido leyendo. Creo ésto porque repites varias veces algunos datos de él.
@carlossosa995
@carlossosa995 3 ай бұрын
Kurt Godel se suicido por inanicion.
@martinpansecchi3331
@martinpansecchi3331 11 күн бұрын
Yo conozco a alguien que una vez de suicidó
@oswaldocaminos8431
@oswaldocaminos8431 Жыл бұрын
Con el mayor respeto, infórmate mejor sobre el positivismo lógico, antes de recurrir al argumento ad-hominem, (sus trastornos mentales) para descalificar el posicionamiento de Gödel al respecto. Feliz tarde.
@jensynjessidperezlucio8866
@jensynjessidperezlucio8866 Жыл бұрын
Un pequeño error, esos animales no son sacrificados, son asesinados. Excelente vídeo.
@utube0349
@utube0349 Жыл бұрын
Muy repetitivo y leeeento
@berngonz3106
@berngonz3106 Жыл бұрын
La física y la matemática es mas exacta que dios Para estupideces verdaderas lean la biblia el coran el talud etc
@RodolfoQuirogaGonzales
@RodolfoQuirogaGonzales Жыл бұрын
seguro palabras de un estudiante de pregrado de una carrera que no tiene nada que ver con matemáticas o física.
@samwi-fifi1120
@samwi-fifi1120 Жыл бұрын
La tesis de doctorado NO FUE SOBRE RELATIVIDAD y solo tenía 11 páginas. Para saber más hay que leer el libro UN MUNDO SIN TIEMPO.
@MathRocks
@MathRocks Жыл бұрын
Buen dato
@veronicalogotheti1162
@veronicalogotheti1162 Жыл бұрын
Uno mas Uno hacen dos
@diegoortiz5088
@diegoortiz5088 Жыл бұрын
Habla de sus pruebas de la existencia de Dios como segunda parte de este vídeo y habla de esa matemática no hecha por el humano.
Puse en JAQUE a los alumnos de la UNAM en FES Acatlán
20:43
Math Rocks
Рет қаралды 14 М.
Jumping off balcony pulls her tooth! 🫣🦷
01:00
Justin Flom
Рет қаралды 29 МЛН
Double Stacked Pizza @Lionfield @ChefRush
00:33
albert_cancook
Рет қаралды 123 МЛН
Алексей Щербаков разнес ВДВшников
00:47
La Historia del GENIO Matemático que Inventó la GEOMETRÍA
17:33
¿Las Matemáticas Podrían Estar MAL?
18:16
Mates Mike
Рет қаралды 358 М.
La Historia del Matemático que VENCIÓ a EINSTEIN en su Teoría
24:59
Kurt Gödel, Herr Por qué: la vida y la lógica
56:31
IMUS - Instituto Matemáticas Universidad de Sevilla
Рет қаралды 2 М.
Por ESTO los FÍSICOS nunca serán iguales a los MATEMÁTICOS
22:35
La Historia del Matemático más INCREÍBLE de TODOS los TIEMPOS
21:54
La TRÁGICA Historia del GENIO Matemático que RETO al Infinito
28:08
Cómo se Inventaron los Números Imaginarios
22:31
Veritasium en español
Рет қаралды 3,5 МЛН
Jumping off balcony pulls her tooth! 🫣🦷
01:00
Justin Flom
Рет қаралды 29 МЛН