Filosofía de la Matemática
La Teoría de la Prueba
La Teoría de la Prueba ofrecida por Hilbert tenía por objetivo demostrar la ausencia de contradicciones en los fundamentos de la Matemática.
septiembre 21, 2022
Categoría: Matemáticas
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
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
Artículos Populares
La aritmética de Frege
febrero 24, 2022
Segmentación de Instancia II: YOLACT
marzo 31, 2022
Redes Neuronales Recurrentes
mayo 7, 2021
Redes Residuales: ResNet
enero 15, 2022
El problema de la parada
febrero 16, 2021
Detección de objetos I: YOLO
enero 29, 2022
