
L232 - Criptoria, la historia del descubrimiento del mundo digital, con Alfre Mancera
Lunaticoin
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.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.