timelets | (no subject)

Снились принципы математики Брауэара, особенно, где он пишет про разделение элементов во времени. Вдруг до меня дошло, что это очевидное влияния французского философа Бергсона. Идея так понравилась, что я проснулся во сне и полетел к своему приятелю в Швецию. Мы сидели в кафе, рисовали какие-то диаграммы на моем айпаде, как вдруг пришел посыльный от короля Швеции. Сказал, что нас срочно требуют во дворец. Ну, мы пошли. Сидим, ждем. Тут мне говорят, что к королю в футболке и джинсах нельзя. Кроссовки тоже надо переодеть. А у меня ни денег, ни кредитки. Ладно, говорят, давай размеры, мы тебе все купим - и через час приносят какой-зеленоватый костюм и бежевые в крапинку носки. У меня такие в школе были. Иду в туалет переодеваться и встречаю там Берни Сандерса. Оне меня спрашивает, хорошо тебе при социализме? А говорю, какой социализм, если тут король? Пока мы спорили, может ли быть социализм в королевстве, мой приятель опубликовал книжку по философии математики. Принес нам в туалет почитать. Сидим, читаем.

Flat | Top-Level Comments Only

Отлично!

Брауэр, значит, задвинул применение интуиционизма в темпоральной логике. Классно!

У него сразу время фигурирует в принципах математике. Я вчера вечером прочитал и впечатлился, потому что раньше видел похожую идею у Бергсона: Тем более, что Бергсон называл свой философский метод интуицией.

This perception of a move of time may be described as the falling apart of a life moment into two distinct things, one of which gives way to the other, but is retained by memory. If the twoity thus born is divested of all quality, it passes into the empty form of the common substratum of all twoities. And it is this common substratum, this empty form, which is the basic intuition of mathematics. (Brouwer 1981, 4–5)

https://plato.stanford.edu/entries/intuitionism/