El problema de los generales bizantinos y el abismo de los algoritmos de consenso: Mecanismos de Paxos, Raft y BFT
Sección
1083 páginas
Posts
Teoría de B-Tree y los Índices de Bases de Datos (¿Por qué las BD eligen B-Tree?)
Teoría de Grafos, Algoritmo de Dijkstra y A*: Fundamentos Matemáticos e Implementación de la Búsqueda de Rutas
Teoría de la información y entropía de Shannon: Explorando los límites de la compresión de datos y las comunicaciones
Autómatas y teoría de lenguajes formales: Detrás de las expresiones regulares y la jerarquía de Chomsky
Cómo funcionan las computadoras cuánticas y el algoritmo de Shor: ¿Por qué la computación cuántica puede romper la criptografía?
El cálculo lambda (Lambda Calculus) y los orígenes de la programación funcional: De la teoría de Alonzo Church a Lisp y Haskell
El panorama completo del problema «P vs NP» y las clases de complejidad computacional: explicación del Problema del Milenio y su importancia en la programación
Máquina de Turing y teoría de la computabilidad: El experimento mental de Alan Turing y el problema de la parada
Teorema CAP y Sistemas Distribuidos: El Dilema Esencial de las Bases de Datos Distribuidas
Criptomonedas y Bitcoin: Su Historia, Fundamentos Matemáticos y Futuro
Alan Baker: El medallista Fields que revolucionó la teoría de números trascendentes
Andrew Wiles: El matemático solitario que demostró el último teorema de Fermat
Gerd Faltings: El gigante de la teoría de números moderna que resolvió la conjetura de Mordell
Heisuke Hironaka: El Teorema de Resolución de Singularidades y la Búsqueda de la Creatividad
Alexander Grothendieck: La vida y los logros del mayor matemático del siglo XX
Goro Shimura: La vida y los logros de una cumbre de las matemáticas modernas
Kiyosi Ito: El padre de las ecuaciones diferenciales estocásticas y las matemáticas de las finanzas modernas
Kunihiko Kodaira: El primer medallista Fields japonés y su sinfonía de geometría
Yutaka Taniyama: La vida y los logros del genio matemático que desafió problemas sin resolver
