GRACIAS por venir a conocer esta INCREÍBLE HISTORIA 👉 CURSO Completo de Cálculo Nivel HARVARD czcams.com/video/VxLM3T9_mwg/video.html Más vídeos que te AYUDARÁN 👉👉 czcams.com/users/MathRocks 👉 ÚNETE al CANAL descubre 680 vídeos y 18 CURSOS completos EXCLUSIVOS czcams.com/channels/4nxWt8WxXUmCXpjSLyYtKA.htmljoin
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ú
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
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
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.
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.
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
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
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.
Sí, von neumann fue una mente brillante. Pudo probar los teoremas de godel él solo encerrándose por largo tiempo por primera vez. Aunque tengo entendido que cuando von neumann le mandó la carta godel le respondió que ya los había probado y le adjuntó la obra.
@@pepitonuncapaga4106 Creo que si, de lo que recuerdo de la historia es que Godel tenia lista la demostración para su publicación y de improvisto revicio la carta de von neumann, creo que incluso le ofrecio incluirlo en la publicación, pero von neumann lo rechazo. Lo que mas curiosidad de von neumann es por que pasa tan desapercibido, estuvo involucrado en muchos temas del siglo XX. Hace poco vi un video que se llama "John von Neumann and the art of being there" como que lo describe perfecto ese titulo ajaj
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 .
¿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/.
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!!
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.
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.
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.
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.
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)
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" .
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.
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
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.
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.
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...
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.
@@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
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.
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.
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í?
¿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.
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 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. 😀
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...
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.
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
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.
GRACIAS por venir a conocer esta INCREÍBLE HISTORIA
👉 CURSO Completo de Cálculo Nivel HARVARD
czcams.com/video/VxLM3T9_mwg/video.html
Más vídeos que te AYUDARÁN 👉👉 czcams.com/users/MathRocks
👉 ÚNETE al CANAL descubre 680 vídeos y 18 CURSOS completos EXCLUSIVOS
czcams.com/channels/4nxWt8WxXUmCXpjSLyYtKA.htmljoin
Es un placer escucharte athRocks.
Tienes un curso donde se enseñe y practiquen todas las matemáticas para ciencia de datos?(datascience)
Super Sayayin😊
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.
Yeahh
Qur libros recomiendas de el?
Kult murió de otra forma
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ú
No hay mucho material de eso, estoy en proceso de investigar
Sería bueno profe
Sería bueno profe
Si estaría muy bueno
Kurt Goedel, matemático Austríaco
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
Así es!!
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.
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
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.
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.
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
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
así es, en mis cursos aplico todo eso
Tremendo video profesor, felicitaciones.
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.
Sí, von neumann fue una mente brillante. Pudo probar los teoremas de godel él solo encerrándose por largo tiempo por primera vez. Aunque tengo entendido que cuando von neumann le mandó la carta godel le respondió que ya los había probado y le adjuntó la obra.
@@pepitonuncapaga4106 Creo que si, de lo que recuerdo de la historia es que Godel tenia lista la demostración para su publicación y de improvisto revicio la carta de von neumann, creo que incluso le ofrecio incluirlo en la publicación, pero von neumann lo rechazo. Lo que mas curiosidad de von neumann es por que pasa tan desapercibido, estuvo involucrado en muchos temas del siglo XX. Hace poco vi un video que se llama "John von Neumann and the art of being there" como que lo describe perfecto ese titulo ajaj
«La Lógica es el Principio de la Sabiduría, No el Final».
SPOCK
Star Trek VI: El País Desconocido
😂
buena cita
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 .
Es un placer escuchar a un matemático explicando matemáticas aún que no sea matemático...
trato de hacerlo ameno
Wow!!!
Simplemente brutal!!!
así es
6 minutos de introduccion para repetir de nuevo lo mismo. Menuda paciencia tuve que tener y VOTE NEGATIVO SU VIDEO.
¿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/.
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!!
revisa mi video de como estudian los estudiantes top
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.
bueno no era despreciada, siempre se estudió. Lo que si es cierto es que Godel vino a romperle las pelotas a los matemáticos
¿Hilbert "dizque" (con "z") matemático de primer nivel? Dios, perdónalo porque no sabe lo que dice.
Hermoso trabajo profesor. Gracias por tomarte el tiempo
Excelente aporte a la divulgación cintifica👍
gracias
Exelente explicación. Me gustó. Se ve que es un trabajo denso estudiar e investigar en matemáticas. Pero son adictivas.
Hilbert: "Nadie podrá expulsarnos nunca del paraíso que Cantor creó para nosotros".
Gödel: "Seguro?"
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.
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.
Buen libro
super super bueno, Gracias por este contenido. Esta hiper interesante
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.
Has videos cn esas características.
Nuevo suscriptor, apenas conozco tu canal, gran contenido profe gracias 🙏🏻
Bravo amigo gran canal!
Gracias
Genial! Gracias profe John!
¡Gracias!
un abrazo
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.
Uff,...interesantísimo,muy bueno thank you...
Interesante historia🧐 gracias profe Jhon🥸👍
Saludos!!
Más videos de estos maestro!!!
Haz de Von Neumann profe john
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.
Profe John, una pregunta, ¿su iceberg sobre las matemáticas puede ser usado como temario para autodidactas?
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)
@@otrojugadordegd6993 Gracias por su comentario
Así es, también el orden de los 18 cursos
Te recomiendo más el roadmap de las matemáticas
@@MathRocks ¡Muchas gracias profe John!
excelente video , maravilloso
Bro, qué libro para aprender lógica proposicional? cómo un sayayin me recomiendas
buenas noches profesor este de conamat los libros de matematica simplificada tengo unas preguntas nose si le importaria
Usa el Sowokosky es mejor libro
Muy bueno el video...
Ahora uno de una dama para empezar Noether...🤩
Son muy necesarias las imágenes fuera del tema?
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" .
Piola. Venga a unmsm, estaría re piola, saludos.
pronto
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.
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
Uno de mis héroes
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.
¿Podría haber video dedicado al trabajo de Maryam Mirzakhani?
Ooo siii, temazo.
como siempre
Cuántifica la gravedad
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.
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
Saludos
6:26 ' existen infinitos numeros primos ' lo demostro euclides ya hace mas de dos mil annos !!!!
Si comes te mueres, si no comes tambien te mueres. Fue fiel a su teorema😂
Gracias Lord! Jajaja wuuu
Saludos
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...
Gracias por la acotación, saludos
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.
La mejor anécdota para mi es cuando Einstein le acompaño a Kurt hacer la ciudadanía.
Y que encontró errores en el sistema no?
@@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
Con razón tuvo problemas mentales al final de su vida. Las cosas en las que trabajaba era una brutalidad
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.
Así es
Este tipo de burradas aca nos tienen
Muchas gracias, cuando se pueda seria interesante que hables de la Prueba de la existencia de Dios, saludos
Gracias a ti me van a saltar de curso yo voy a la Eso y me voy a pasar a bachiller gracias profe John
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.
La foto corresponde al genial matemático Alan Turning
Pronto su biografía en el canal
*Turing
Kurt Godel parece nombre y apellido alemán y por tanto se pronuncia creo gOhdel con o de ola .
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í?
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.
Hilbert era un monstruo, pero Godel (Y tambien Turing) destrozo todos sus planes que había armado para axiomatizar las matemáticas.
ambos son titanes
@@MathRocks oye eso de que Kurt enloqueciera al llegar a cierto conocimiento diferente a lo establecido, parece salido de una historia de Lovecraft.
@@juanantoniopinedafunes8792 pues muchos han terminado asi
Mil gracias por tu trabajo Honorable pilar del fuego🔥 (profeJhon).......XD
saludos!!!
Uff la prueba de Godel, hasta el día de hoy me cuesta entenderla
¿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.
Clicbait
Todos esos genios tienen problemas, por eso hay que cuidar las neuronas y ver los canales menos profundos como reality shows o cosas mundanas
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.
Y el punto es??
@@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. 😀
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...
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.
Pues en la universidad nos deberían enseñar esos cursos de Gudel
¿Cómo la "n" vez a una persona? n > 1 para los naturales. Encuentras, si; pero lo conoces esa primera vez
SALUDOS DR. JOHN ...
👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋
Muy bien pero esperaba un video de Riemann
Sale viernes!
Uno mas Uno hacen dos
Ya le di like y me suscribí, porfavor libera a mi familia te lo suplico.
XD
Kurt Gödel es literalmente yo (me dan miedo las personas)
Una cosa es ser cobarde y otra un prodigio matemático 😒
Se pronuncia Gedl
Qué sos el inspector del diccionario? Chapa gratis
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
Filosofía de la matemática.
Las matemáticas te pueden matar, mejor no estudio matemáticas.
Profe, porfa respire bien, no me le vaya a pasar algo
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.
No rompió las matemáticas ni nada. Es una mala interpretación del teorema
Kurt Godel se suicido por inanicion.
Yo conozco a alguien que una vez de suicidó
Un pequeño error, esos animales no son sacrificados, son asesinados. Excelente vídeo.
En este video Gödel pronunciado como "gudol"?? Terrible!! 😕
Por cierto, Neumann tampoco tiene esa pronunciación inglesa de "Newman"
😮
Hablas igual que droppy🤣
O sea no existen
Godel, no gudol
Primera vista 🎉🎉🎉🎉
Gracias
@@MathRocks Gracias a usted por tan buen contenido profe 🥳🥳🥳
Muy repetitivo y leeeento
La física y la matemática es mas exacta que dios
Para estupideces verdaderas lean la biblia el coran el talud etc
seguro palabras de un estudiante de pregrado de una carrera que no tiene nada que ver con matemáticas o física.
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.
Buen dato
Uno mas Uno hacen dos
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.