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

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