Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма — течения в математике, видным представителем которого является автор. Книга написана в форме живой беседы между представителями различных точек зрения на основания математики. К этой живой беседе присоединяется и редактор книги А. А. Марков, представитель не затронутого автором направления. В своих комментариях редактор не только вводит нового собеседника, но также стремится устранить неточности, допущенные автором. Книга рассчитана на очень широкий круг читателей, начиная от математиков всех специальностей и кончая всеми интересующимися математической логикой и философскими проблемами естествознания.
Перевод: Янков Вадим Анатольевич
Год издания: 1965
Формат: djvu
Язык: ru
Размер: 1528 Kb
Скачиваний: 498

Статья опубликована в сборнике «Математическая логика и ее применения», Издательство «МИР», Москва, 1965. Перевод А.В. Гладкого. Оригинал, с которого сделан перевод: «Logic, metodology and philosophy of science», Proceedings of the 1960 International Congress, Stanford University Press, 1962.
Перевод: Гладкий Алексей Всеволодович
Год издания: 1965
Формат: pdf
Язык: ru
Размер: 78 Kb
Скачиваний: 428