Autor Tema: Dado un razonamiento escribirlo simbólicamente y analizar su validez

0 Usuarios y 1 Visitante están viendo este tema.

29 Agosto, 2019, 12:20 pm
Respuesta #30

geómetracat

  • Moderador Global
  • Mensajes: 1,854
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Sí, lo tengo en mente pero he estado (y estoy) algo ocupado.
Por otra parte, es algo más complicado de lo que te dije. El problema es que estos lenguajes no implementan lógica de primer orden, sino teoría de tipos dependientes, que tiene una filosofía algo distinta (es algo así como una teoría de conjuntos constructiva), aunque se pueden hacer demostraciones de lógica igualmente.
Así que primero debería mirarme yo mejor el tema. Pero algún día (¡espero que pronto!) abriré algún hilo sobre el tema.
La ecuación más bonita de las matemáticas: \( d^2=0 \)