L232 - Criptoria, la historia del descubrimiento del mundo digital, con Alfre Mancera
Lunaticoin
00:00
Formalización del lenguaje y conceptos matemáticos
El capítulo explora la importancia de los lenguajes formales en matemáticas, analizando la transición de un lenguaje natural a uno matemático abstracto para obtener conclusiones objetivas. Se destaca el trabajo de figuras como David Hilbert y los teoremas de incompletitud de Godel y el trabajo de Turing sobre números computables, desafiando las ideas establecidas en matemáticas.
Transcript
Play full episode
