«Интуиционизм. Введение»

Описание

Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма — течения в математике, видным представителем которого является автор. Книга написана в форме живой беседы между представителями различных точек зрения на основания математики. К этой живой беседе присоединяется и редактор книги А. А. Марков, представитель не затронутого автором направления. В своих комментариях редактор не только вводит нового собеседника, но также стремится устранить неточности, допущенные автором. Книга рассчитана на очень широкий круг читателей, начиная от математиков всех специальностей и кончая всеми интересующимися математической логикой и философскими проблемами естествознания.