Intuitionism: An introduction

by Arend Heyting

Intuitionistic mathematics involves discerning the truth of a given statement. This high-level introductory treatment assumes a strong mathematical background, bringing readers directly to the center of several different branches of intuitionistic mathematics. The author, a leader in the field of intuitionistic mathematics, employs condensed proofs and presumes a familiarity with classical theories. 1971 edition.

Genres: Philosophy, Logic, Mathematics

147 pages, Hardcover

First published January 1, 1956

About the author

Arend Heyting was a Dutch mathematician and logician.

Reviews

[Kantor · Rating 5 out of 5]

disclaimer: NO me he leído la parte de análisis y teoría de la medida (no estoy tan loco, aunque a lo mejor vuelvo a ello en el futuro). creo que con haber visto un poco sobre spreads y species es suficiente para darse cuenta de que el intuicionismo no es una mera restricción de las matemáticas clásicas. hay algo de kantiano, algo de fenomenológico y algo de místico en todo ello. lo curioso es que, partiendo de unos principios filosóficos que Heyting presenta muy brevemente, surgen unas matemáticas con un grado de 'justificación intuitiva' considerables (y complejas: la 'demostración' del principio de 'bar-induction' es bastante sorprendente). el estilo del libro (un diálogo!) hace que siempre haya explicaciones críticas de cada paso, como si los personajes aprendieran con nosotros a pensar de manera intuicionista.