В сеть выложили черновики Брауэра (
http://www.cs.ru.nl/~freek/brouwer/), который известен топологам как автор теоремы о неподвижной точке, а логикам - как основатель интуиционизма.
На странице по ссылке содержатся отсканированные черновики Брауэра, а также набранная на компьютере расшифровка этих черновиков - правда и то, и другое, на нидерландском языке
. Также на этой странице можно скачать диссертацию Иоганнеса Кайпера на английском языке "Ideas And Explorations. Brouwer’s Road to Intuitionism", посвященную анализу этих черновиков, - рекомендуется для прочтения историкам математики и апологетам интуиционизма, ну, и, в целом, специалистам по математической логике и основаниям математики.
14.06.2017, 14:04 