а вот еще претензии к математике

Она не верифицируется в физике, чисто по Попперу. Дедекиндово сечение обламывается на мелких расстояниях; да и прямые таки пересекутся, учитывая, что наша вселенная круглая (примерно).

Бесконечно малых нету. Бесконечно больших нету. Не, даже аксиомы Евклида (и не только пятая) ни хрена не работают в физике. Примерно только.

Кризис, конечно - но, может быть, э, физики, вы не будете опираться на математику 18-го века уже, а? Возьмите себе получше теории. Их есть.

Кстати, я, конечно, физику не знаю и не понимаю. Я даже не знаю разницы между физической теорией и физической моделью. В математике в этом смысле все просто. 

сяу

Что Десятинную церковь Орда два раза разрушала, в 1240-м и в 1928-м.

Да блин. 

Это я читаю книжку по истории русской архитектуры; Москва там, похоже, вообще не поминается.

in Palo Alto

шо за фигня с Амстердамом

Задумали мы было сгонять туда в конце декабря. Там такие нафиг цены!!! В Вене в несколько раз дешевле. Что это такое там специфическое? Мариванну мы и здесь можем приобрести, было бы время употреблять оную. 

дыбр

 Ну опять жара.

Не, сначала ночью. Т.к. я заснул еще десяти не было, то в полчетвертого мне спать хотелось ненамного больше чем гостям нашего двора, енотке с тремя детьми. Двоих, наверно, уже койоты сожрали; койоты у нас свирепствуют.

Шваброй их гонял, а то они там в пруду как в бассейне. Енотка на меня рычала, я на нее орал, короче, развлекались. Не, так-то она понимает, что я как Исландия в этом смысле. Мы, млекопитающие, по глазам видим.

Вот, а утром что, надо было рано-рано выезжать, и на короткий маршрут. Да надоел мне короткий маршрут. Конечно, можно, как Джо, выезжать в 6 утра, но я не фанат что-то.

Ну и засел, валялся до 11, шестую главу долбил. Там кванторы, и логика не всегда булева, и надо так на пальцах скорее убедить, чем что-то доказывать через пределы.

Но в 12 совесть замучила, и пошел взял сквиджи (скребок резиновый, то есть), и вымыл на втором этаже дверь балкона и эркерное окно. Все, больше ничего в этом году мыть не буду. Остались еще три окна второго этажа, но они пофиг, в них никто не смотрит.

Опять главу долбил, потом пытался присобачить контроллер к вентиляции (обогреву), но не работает. Открыл хитер, почитал инструкцию. Там написано: если не работает, вызывайте специалистов. Ну окей. Сейчас-то спешки нет; в октябре, например.

Пошел постриг траву, по жаре.

Додолбил таки шестую главу; чуть поформатировал еще седьмую, начал было, но там надо думать, думать. Меня уже критиковали, что морфизмы в категориях я лихо называю функциями. Похоже, публика не готова признать, что то, что они называют функциями - это всего лишь графики функций в теоретико-множественной модели. Я сам долго не понимал. Ладно, назову стрелками. Не морфизмами же. От морфизмов у программиста голова вспухает. Дикие термины нам не нужны.

Вот, и сходили погуляли. От вчерашних находок уже мало что осталось на дорожке, но есть. Уже темно почти. Но хотя б не так жарко. Встретили обычных встречных, в частности, индийскую семью с ретривером, который уже вырос в порядочную псину. Этот ретривер, когда нас видит, он не знает как реагировать. Садится на асфальт и молча смотрит на нас. Потом вскакивает на задние лапы, начинает гавкать (типа где вы были, я так по вам соскучился!) Потом его успокоят, я его по мокрому носу поглажу, вроде все хорошо теперь, все хорошо.

Дома я еще 40 минут посмотрел Black Robe, канадское кино про католического священника, который с группой гуронов (1643-й год на дворе) отправляется из Квебека (две избушки на берегу) по Великим Озерам хз куда-то. Разговаривают по большей части на алгонкинском (но с субтитрами); белых называют собаками, потому что у них на морде шерсть, разве это люди? Но Анютка дала французскому пацану (не попу; поп видел, как они трахаются, и потом крапивой себя бил по жопе, чтобы снять эрекцию).

Все, спать пора. В коробку на бочок.

Сейчас в новостях показывают репортаж из оклендской полиции. Похоже, что там среди черных полицейских где-то окопались тайные белые супрематисты, и угнетают негров.

foundations of math

"Curry’s use of combinators was connected very closely to his philosophy of mathematics: for him, a formal system was not a description of some pre-existing objects, but simply a structure built by induction from some primitives using certain rules, and he did not demand that a semantics for such a system be a total function."

src