Lunaticoin cover image

L232 - Criptoria, la historia del descubrimiento del mundo digital, con Alfre Mancera

Lunaticoin

CHAPTER

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.
App store bannerPlay store banner