2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки





Начать новую тему Ответить на тему
 
 Черновики Брауэра
Сообщение14.06.2017, 14:04 


14/06/17
42
В сеть выложили черновики Брауэра (http://www.cs.ru.nl/~freek/brouwer/), который известен топологам как автор теоремы о неподвижной точке, а логикам - как основатель интуиционизма.

На странице по ссылке содержатся отсканированные черновики Брауэра, а также набранная на компьютере расшифровка этих черновиков - правда и то, и другое, на нидерландском языке :-) . Также на этой странице можно скачать диссертацию Иоганнеса Кайпера на английском языке "Ideas And Explorations. Brouwer’s Road to Intuitionism", посвященную анализу этих черновиков, - рекомендуется для прочтения историкам математики и апологетам интуиционизма, ну, и, в целом, специалистам по математической логике и основаниям математики.

 Профиль  
                  
 
 Re: Черновики Брауэра
Сообщение14.06.2017, 18:21 
Заслуженный участник
Аватара пользователя


27/04/09
20037
Уфа
mathematics_fan в сообщении #1225372 писал(а):
и апологетам интуиционизма, ну, и, в целом, специалистам по математической логике и основаниям математики
Ой, зачем? Давно уже всё сказано лучше Брауэра, тем более что он был, говорят, против формализации.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group