Filosofía de la Matemática
El Programa de Hilbert
El Programa de Hilbert fue la respuesta ofrecida por el alemán David Hilbert al debate acerca de los fundamentos de la Matemática.
septiembre 15, 2022
Categoría: Matemáticas
Filosofía de la Matemática
El logicismo y la lógica moderna
El logicismo asume que la lógica es una disciplina general que acoge a las matemáticas como una rama subordinada.
junio 29, 2022
Filosofía de la Matemática
Brouwer y la crítica intuicionista
Brouwer dio inicio a una nueva perspectiva matemática conocida como Intuicionismo, destinada a replantear sus más elementales fundamentos.
mayo 25, 2022
Lógica
Paradojas y la Teoría de Tipos
La Teoría de Tipos fue la respuesta ofrecida por Russell a los retos que supusieron las paradojas para el desarrollo de la lógica moderna.
abril 26, 2022
Filosofía de la Matemática
La aritmética de Frege
La revisión realizada por Frege de la aritmética y el concepto de número supone el primero de los logros de la doctrina logicista.
febrero 24, 2022
Metamatemática
Los Axiomas de Zermelo-Fraenkel
Los Axiomas de Zermelo-Fraenkel suponen el primer intento exitoso de formalizar y axiomatizar la Teoría de Conjuntos iniciada por Cantor.
febrero 3, 2022
Lógica
El Axioma de Elección
El Axioma de Elección fue necesario para salvaguardar la Teoría de Conjuntos cantoriana muy a pesar de la polémica que suscitó.
enero 4, 2022
Lógica
La Paradoja de Russell
La Paradoja de Russell amenazó a gran parte de los proyectos llevados a cabo en el siglo XIX por fundamentar la matemática de forma rigurosa.
diciembre 1, 2021
Lógica
Paradojas del Infinito
El infinito matemático ha dado lugar a paradojas y resultados insólitos que han desconcertado a los matemáticos desde hace miles de años.
noviembre 17, 2021
Teoría de Conjuntos
El Continuo matemático
El continuo matemático había esquivado toda definición precisa durante siglos resultando en constantes paradojas; hasta que llegó Cantor…
octubre 25, 2021
Artículos Populares
Transferencia Neuronal de Estilo
diciembre 7, 2021
El problema de la parada
febrero 16, 2021
Segmentación de Instancia I: Mask R-CNN
febrero 14, 2022
AlexNet y clasificación de imágenes
julio 10, 2021
Detección de objetos I: YOLO
enero 29, 2022
Retropropagación del gradiente
octubre 7, 2021
