URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Гейтинг А. Интуиционизм: Введение. Пер. с англ.
Id: 5234
 
499 руб.

Интуиционизм: Введение. Пер. с англ.

1965. 200 с. Мягкая обложка. Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Аннотация

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


 Об авторе

Гейтинг Аренд
Известный голландский математик и логик. Родился в Амстердаме, в семье школьного учителя. Окончил в 1922 г. Амстердамский университет. Ученик и последователь известного голландского математика, основоположника интуиционизма Л. Э. Я. Брауэра, под руководством которого в 1925 г. успешно защитил докторскую диссертацию. Работал учителем математики в средней школе, одновременно занимаясь математическими исследованиями (в 1928 г. был удостоен премии Голландской математической ассоциации). С 1936 г. работал в Амстердамском университете; с 1948 г. до выхода на пенсию в 1968 г. — профессор этого университета. Член Нидерландской академии наук.

Исследования А. Гейтинга были посвящены основаниям математики. Он стал одним из виднейших после Брауэра представителей интуиционизма — системы философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. Продолжая развивать это направление в математике, А. Гейтинг изложил формальные правила интуиционистской логики высказываний, построил двузначную символическую логику. Во многом благодаря его работам интуиционистская логика стала частью математической логики.

 
© URSS 2016.

Информация о Продавце