¿Qué es la lógica matemática? (...¿y qué tiene de matemática?)
Ғылым және технология
Esta película, a pesar de que se remonta a los intentos de los filósofos griegos por capturar las reglas del buen razonamiento, se centra principalmente en los avances de la lógica matemática y en sus principales actores: Alan Turing, Alfred Tarski, David Hilbert, Kurt Godel, entre otros.
¿Qué es la lógica matemática y qué relación guarda con la matemática como práctica científica? ¿Qué nos enseña la lógica matemática y por qué es relevante en el ámbito matemático? ¿Qué son los sistemas formales y cuáles sus límites? ¿La matemática es realmente una ciencia formal y deductiva?
Este video pretende contestar, aunque sea parcialmente, algunas de las preguntas anteriores e incita al espactador a indagar en el resto de ellas.
Пікірлер: 38
de verdad se aprecia que te enfoques en transmitir lo relevante y mas importante lo que NECESITA la mayoria de la gente. si en el colegio se hubiesen enfocado en mostrar y desarrollar el pensamiento matematico, sin duda hubiese sido una materia ENTENDIBLE y el mundo seria un mejor lugar xd ( o bueno, almenos uno mas pensante xd)
@ElIrracional
2 жыл бұрын
Jajajaja tienes toda la razón! Gracias y un saludo hermano.
videazo. La verdad me sorprendió que la lógica preposicional fuera decidible, de hecho no sabía que había más cosas además de la logica de segundo orden en materia de logica. Los conceptos de modelo y lenguaje son geniales, 10/10 el video
@ElIrracional
Жыл бұрын
Gracias hermano!!!!
Increíble el video, acabo de encontrar el canal y pues, es difícil encontrar video en youtube de alguien tomando empeño por explicar las cosas mas interesantes de matemáticas con un formato bonito y con mucho rigor, es un balance raro :)
@ElIrracional
2 жыл бұрын
Gracias hermano!!! :)))) Saludos!
Te quedó chévere. En verdad sí has progresado. Aunque ya conocía del tema, no sabía que la lógica proposicional era decidible hasta que ví el vídeo completo. La estética es formidable, y me hizo recordar a Logicismo vs Intuicionismo vs Formalismo vs Realismo. Gran vídeo, por cierto. Espero ver tu próximo vídeo! y esto es una nueva serie de vídeos de lógica? Saludos! 🙂
@ElIrracional
2 жыл бұрын
Muchas gracias hermano! No estoy seguro de si el próximo video será de lógica, pero seguro que sí hago otro pronto. ¡Un saludo enorme! 🔥🙌🏽
Me encantan tus videos, nunca dejes de publicarlos, por favor!
@ElIrracional
2 жыл бұрын
❤️❤️❤️❤️❤️🔥🔥🔥🔥 gracias hermano!!!!
Excelente video, y me encantó que pusieras a J. S. Bach de fondo, música a la altura del contenido del video. Ojalá incluyas más música académica en tus próximos videos.
@ElIrracional
2 жыл бұрын
¡¡¡Muchas gracias!!! ¡Saludos!
Muy bien contenido, se nota mucho la calidad, lastima que sea ignorante y no entendí casi ningún termino de lógica y matemática que mencionaste. algún día volveré y voy a entender este video a la perfección.
@ElIrracional
Жыл бұрын
Gracias hermano! Aquí te espero 😀
Increíble amigo. Megalike y suscripción!! Un gustazo conocer tu canal, también tengo uno (de mate y música) por si gustas pasar a conocer. Me gusta la teoría de conjuntos.
@ElIrracional
2 жыл бұрын
Muchas gracias hermano!!! Grande tu canal también. Saludos!!!
¡ excelente exposición !
@ElIrracional
Жыл бұрын
¡Gracias!
Que buen video ^^
@ElIrracional
Жыл бұрын
Gracias!!!
enorme suchín!!!
@ElIrracional
2 жыл бұрын
tssssss saludos compita!!!!
Wow, me sorprende lo mucho que mejoran los vídeos con cada nuevo proyecto que subes
@ElIrracional
2 жыл бұрын
Muchas gracias hermano. Es la idea y quiero seguir mejorando. ¡¡¡Vendrán mejores proyectos!!! 🔥🔥🔥🔥🔥🙌🏽🙌🏽🙌🏽
Que buen vídeo
@ElIrracional
2 жыл бұрын
Gracias krnal!!
Uff he conseguido entender muchísimo por tus videos 🥳 Deberías demostrar el problema de papuss para n rectas
@ElIrracional
2 жыл бұрын
:O me da gusto hermano! Voy a estudiar ese problema y si sale algo bonito, lo haré. Conozco el teormea de Pappus para 3 rectas, me parece (el clásico).
Genial! En donde estudiaste?
@ElIrracional
2 жыл бұрын
En la Facultad de Ciencias de la UNAM! 🔥🔥🔥🔥👍🏼👍🏼👍🏼
Qué software usaste para las animaciones/transiciones?
@ElIrracional
2 жыл бұрын
Manim!
@SP-qi8ur
2 жыл бұрын
@@ElIrracional Gracias
😍
@ElIrracional
2 жыл бұрын
👍🏼🔥
nice
@ElIrracional
2 жыл бұрын
¡Gracias!
todo esto de la teoría matemáticas es muy interesante pero yo creo que complica o confunde si yo te pregunto qué si con el uso de una regla puedes calcular el valor de ángulos así como cuando se usa un transportador me imagino que toda la lógica matemática que has aprendido te índica que es imposible Pero si se puede Att Jhonny Angarita