¿Qué es la lógica matemática? (...¿y qué tiene de matemática?)

Поділитися
Вставка
  • Опубліковано 28 січ 2022
  • 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

  • @sebastianarteaga8401
    @sebastianarteaga8401 2 роки тому +11

    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
      @ElIrracional  2 роки тому

      Jajajaja tienes toda la razón! Gracias y un saludo hermano.

  • @leonelnicolaslizondo9406
    @leonelnicolaslizondo9406 Рік тому +4

    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

  • @juancanekortegasanchez7961
    @juancanekortegasanchez7961 2 роки тому +3

    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 :)

  • @marcelo168
    @marcelo168 2 роки тому +1

    Me encantan tus videos, nunca dejes de publicarlos, por favor!

    • @ElIrracional
      @ElIrracional  2 роки тому

      ❤️❤️❤️❤️❤️🔥🔥🔥🔥 gracias hermano!!!!

  • @Sceptique_Smike7
    @Sceptique_Smike7 2 роки тому +3

    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
      @ElIrracional  2 роки тому +1

      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! 🔥🙌🏽

  • @luisricardomartinez8557
    @luisricardomartinez8557 2 роки тому +2

    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
      @ElIrracional  2 роки тому

      ¡¡¡Muchas gracias!!! ¡Saludos!

  • @coldcoder23
    @coldcoder23 Рік тому +1

    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.

  • @rafaelmartinez8774
    @rafaelmartinez8774 Рік тому +1

    ¡ excelente exposición !

  • @leongameplays5514
    @leongameplays5514 2 роки тому +1

    Wow, me sorprende lo mucho que mejoran los vídeos con cada nuevo proyecto que subes

    • @ElIrracional
      @ElIrracional  2 роки тому +1

      Muchas gracias hermano. Es la idea y quiero seguir mejorando. ¡¡¡Vendrán mejores proyectos!!! 🔥🔥🔥🔥🔥🙌🏽🙌🏽🙌🏽

  • @jasonernestoterceroobando5413
    @jasonernestoterceroobando5413 Рік тому +1

    Que buen video ^^

  • @pablogallegos2259
    @pablogallegos2259 2 роки тому +1

    enorme suchín!!!

  • @MusimilianKazaiko
    @MusimilianKazaiko 2 роки тому +2

    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
      @ElIrracional  2 роки тому

      Muchas gracias hermano!!! Grande tu canal también. Saludos!!!

  • @GodLeon1
    @GodLeon1 2 роки тому +1

    Que buen vídeo

  • @SP-qi8ur
    @SP-qi8ur 2 роки тому +1

    Qué software usaste para las animaciones/transiciones?

  • @diegoandrescarocamacho1899
    @diegoandrescarocamacho1899 2 роки тому +1

    Uff he conseguido entender muchísimo por tus videos 🥳
    Deberías demostrar el problema de papuss para n rectas

    • @ElIrracional
      @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).

  • @victoriareyes9280
    @victoriareyes9280 2 роки тому +1

    Genial! En donde estudiaste?

    • @ElIrracional
      @ElIrracional  2 роки тому +3

      En la Facultad de Ciencias de la UNAM! 🔥🔥🔥🔥👍🏼👍🏼👍🏼

  • @saraluciaescobedoarcovedo2609
    @saraluciaescobedoarcovedo2609 2 роки тому +1

    nice

  • @santiagoh.7394
    @santiagoh.7394 2 роки тому +1

    😍

  • @adelaidaflorez2861
    @adelaidaflorez2861 2 роки тому +2

    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