GRACIAS por venir a conocer esta INCREÍBLE HISTORIA 👉 CURSO Completo de Cálculo Nivel HARVARD kzread.info/dash/bejne/iKyAr5WNacLTp8o.html Más vídeos que te AYUDARÁN 👉👉 kzread.info 👉 ÚNETE al CANAL descubre 680 vídeos y 18 CURSOS completos EXCLUSIVOS kzread.info/dron/4nxWt8WxXUmCXpjSLyYtKA.htmljoin

@rosagonzalesportocarrero6525

Жыл бұрын

Es un placer escucharte athRocks.

@manueladolfoholzmannillane3050

Жыл бұрын

Tienes un curso donde se enseñe y practiquen todas las matemáticas para ciencia de datos?(datascience)

@katchtan5455

Жыл бұрын

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.

@MathRocks

Жыл бұрын

Yeahh

@saidmendizabal781

Жыл бұрын

Qur libros recomiendas de el?

@felipecastillo4950

Жыл бұрын

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ú

@MathRocks

Жыл бұрын

No hay mucho material de eso, estoy en proceso de investigar

@hendersayma7741

Жыл бұрын

Sería bueno profe

@hendersayma7741

Жыл бұрын

Sería bueno profe

@emilianodominguez7096

Жыл бұрын

Si estaría muy bueno

@cesartulioibarboochoa1001

Жыл бұрын

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

@MathRocks

Жыл бұрын

Así es!!

@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.

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.

@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.

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

Hermoso trabajo profesor. Gracias por tomarte el tiempo

super super bueno, Gracias por este contenido. Esta hiper interesante

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.

Genial! Gracias profe John!

Exelente explicación. Me gustó. Se ve que es un trabajo denso estudiar e investigar en matemáticas. Pero son adictivas.

Tremendo video profesor, felicitaciones.

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

Жыл бұрын

así es, en mis cursos aplico todo eso

Nuevo suscriptor, apenas conozco tu canal, gran contenido profe gracias 🙏🏻

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 .

«La Lógica es el Principio de la Sabiduría, No el Final». SPOCK Star Trek VI: El País Desconocido

@user-xf3bg8ib1d

Жыл бұрын

😂

@MathRocks

Жыл бұрын

buena cita

6 minutos de introduccion para repetir de nuevo lo mismo. Menuda paciencia tuve que tener y VOTE NEGATIVO SU VIDEO.

Wow!!! Simplemente brutal!!!

@MathRocks

Жыл бұрын

así es

excelente video , maravilloso

Más videos de estos maestro!!!

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.

Es un placer escuchar a un matemático explicando matemáticas aún que no sea matemático...

@MathRocks

Жыл бұрын

trato de hacerlo ameno

Bravo amigo gran canal!

@MathRocks

Жыл бұрын

Gracias

Excelente aporte a la divulgación cintifica👍

@MathRocks

Жыл бұрын

gracias

¿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/.

Uff,...interesantísimo,muy bueno thank you...

Interesante historia🧐 gracias profe Jhon🥸👍

@MathRocks

Жыл бұрын

Saludos!!

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

Жыл бұрын

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.

@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

Жыл бұрын

¿Hilbert "dizque" (con "z") matemático de primer nivel? Dios, perdónalo porque no sabe lo que dice.

Bro, qué libro para aprender lógica proposicional? cómo un sayayin me recomiendas

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

Жыл бұрын

Buen libro

Hilbert: "Nadie podrá expulsarnos nunca del paraíso que Cantor creó para nosotros". Gödel: "Seguro?"

@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.

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.

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

Жыл бұрын

Has videos cn esas características.

¡Gracias!

@MathRocks

2 ай бұрын

un abrazo

Muy bueno el video... Ahora uno de una dama para empezar Noether...🤩

buenas noches profesor este de conamat los libros de matematica simplificada tengo unas preguntas nose si le importaria

@MathRocks

Жыл бұрын

Usa el Sowokosky es mejor libro

Profe John, una pregunta, ¿su iceberg sobre las matemáticas puede ser usado como temario para autodidactas?

@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

Жыл бұрын

@@otrojugadordegd6993 Gracias por su comentario

@MathRocks

Жыл бұрын

Así es, también el orden de los 18 cursos

@MathRocks

Жыл бұрын

Te recomiendo más el roadmap de las matemáticas

@rukabestowaifu5430

Жыл бұрын

@@MathRocks ¡Muchas gracias profe John!

Uno de mis héroes

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.

Haz de Von Neumann profe john

¿Podría haber video dedicado al trabajo de Maryam Mirzakhani?

Si comes te mueres, si no comes tambien te mueres. Fue fiel a su teorema😂

Piola. Venga a unmsm, estaría re piola, saludos.

@MathRocks

Жыл бұрын

pronto

Son muy necesarias las imágenes fuera del tema?

Gracias Lord! Jajaja wuuu

@MathRocks

Жыл бұрын

Saludos

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

6:26 ' existen infinitos numeros primos ' lo demostro euclides ya hace mas de dos mil annos !!!!

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

Жыл бұрын

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

Жыл бұрын

Saludos

Cuántifica la gravedad

Ooo siii, temazo.

@MathRocks

Жыл бұрын

como siempre

Uff la prueba de Godel, hasta el día de hoy me cuesta entenderla

Mil gracias por tu trabajo Honorable pilar del fuego🔥 (profeJhon).......XD

@MathRocks

Жыл бұрын

saludos!!!

Este tipo de burradas aca nos tienen

Con razón tuvo problemas mentales al final de su vida. Las cosas en las que trabajaba era una brutalidad

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.

Gracias a ti me van a saltar de curso yo voy a la Eso y me voy a pasar a bachiller gracias profe John

Kurt Gödel es literalmente yo (me dan miedo las personas)

Kurt Godel parece nombre y apellido alemán y por tanto se pronuncia creo gOhdel con o de ola .

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

Жыл бұрын

Así es

Todos esos genios tienen problemas, por eso hay que cuidar las neuronas y ver los canales menos profundos como reality shows o cosas mundanas

Pues en la universidad nos deberían enseñar esos cursos de Gudel

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.

Muchas gracias, cuando se pueda seria interesante que hables de la Prueba de la existencia de Dios, saludos

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...

La mejor anécdota para mi es cuando Einstein le acompaño a Kurt hacer la ciudadanía.

@MathRocks

Жыл бұрын

Y que encontró errores en el sistema no?

@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

SALUDOS DR. JOHN ... 👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋

Uno mas Uno hacen dos

La foto corresponde al genial matemático Alan Turning

@MathRocks

Жыл бұрын

Pronto su biografía en el canal

@javierdiazmanzi7455

Жыл бұрын

*Turing

¿Cómo la "n" vez a una persona? n > 1 para los naturales. Encuentras, si; pero lo conoces esa primera vez

Se pronuncia Gedl

Filosofía 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

Жыл бұрын

Y el punto es??

@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. 😀

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.

Kurt Godel se suicido por inanicion.

Muy bien pero esperaba un video de Riemann

@MathRocks

Жыл бұрын

Sale viernes!

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

Ya le di like y me suscribí, porfavor libera a mi familia te lo suplico.

@MathRocks

Жыл бұрын

XD

Profe, porfa respire bien, no me le vaya a pasar algo

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

Жыл бұрын

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

Жыл бұрын

Hilbert era un monstruo, pero Godel (Y tambien Turing) destrozo todos sus planes que había armado para axiomatizar las matemáticas.

@MathRocks

Жыл бұрын

ambos son titanes

@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

Жыл бұрын

@@juanantoniopinedafunes8792 pues muchos han terminado asi

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

Жыл бұрын

Gracias por la acotación, saludos

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.

Hablas igual que droppy🤣

¿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

Жыл бұрын

Clicbait

Las matemáticas te pueden matar, mejor no estudio matemáticas.

O sea no existen

En este video Gödel pronunciado como "gudol"?? Terrible!! 😕 Por cierto, Neumann tampoco tiene esa pronunciación inglesa de "Newman"

Godel, no gudol

Primera vista 🎉🎉🎉🎉

@MathRocks

Жыл бұрын

Gracias

@rukabestowaifu5430

Жыл бұрын

@@MathRocks Gracias a usted por tan buen contenido profe 🥳🥳🥳

No rompió las matemáticas ni nada. Es una mala interpretación del teorema

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.

Un pequeño error, esos animales no son sacrificados, son asesinados. Excelente vídeo.

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

@RodolfoQuirogaGonzales

Жыл бұрын

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.

@MathRocks

Жыл бұрын

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.