Arend Heyting

Heyting formaliza la lógica intuitionista de Brouwer, donde el principio del tercero excluido no es universalmente válido y la existencia matemática requiere una construcción explícita.

Heyting fue uno de los principales formuladores de la lógica intuicionista, presentando una axiomatización formal que busca justificar las matemáticas sobre la base de construcciones mentales intuitivas.

Una obra esencial que presenta un desarrollo formal de la lógica intuicionista, una alternativa a la lógica clásica que rechaza el principio del tercero excluido.

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.

Heyting, de la escuela intuicionista, desarrolla la lógica intuicionista como una alternativa a la lógica clásica, basándose en la idea de que la existencia de un objeto matemático debe estar ligada a su construibilidad. Su trabajo explora la justificación de las reglas lógicas.

Una introducción a la lógica constructiva, una alternativa a la lógica clásica que rechaza el principio del tercero excluido y solo acepta las demostraciones que construyen explícitamente los objetos matemáticos.

Una exposición clara y concisa de las bases del intuicionismo matemático, la lógica intuicionista y su relación con la teoría constructiva de la prueba.

Una exposición concisa y clara de los fundamentos del intuicionismo matemático, la filosofía fundada por L.E.J. Brouwer, que desafía los supuestos del formalismo clásico.

Un libro que presenta una de las exposiciones más claras y sistemáticas del intuicionismo matemático, incluyendo su lógica y análisis, escrita por uno de los principales discípulos de Brouwer.