AH

Arend Heyting

neerlandés

Arend Heyting fue un matemático y lógico neerlandés conocido por sus contribuciones a la teoría de la intuición y la lógica matemática. Es famoso por desarrollar el enfoque de la lógica intuicionista, que desafió las concepciones clásicas de la lógica y las matemáticas.

Obras en el archivo

1 título

La crisis de los fundamentos en la matemática moderna

1934·no ficcion

Un texto clásico de la filosofía de las matemáticas, escrito por uno de los principales defensores del intuicionismo. Explora las tensiones y debates filosóficos en la matemática de principios del siglo XX, especialmente en relación con los fundamentos de la lógica y la teoría de conjuntos, cuestionando la validez del principio del tercero excluido.

Autores relacionados

Aparecen junto a Arend Heyting en búsquedas del archivo