66george: (киса)


В музее города Найроби обнаружили челюсть доисторического хищного зверя огромного размера (сверху для сравнения череп льва). Она бог знает сколько там лежала, пока не заехал американский специалист, способный её определить.
66george: (киса)


В Канаде нашли мумию волчонка возрастом 50 тыс. лет.

https://news.mail.ru/society/34761768/?frommail=1
66george: (киса)


В бирманском янтаре нашли ископаемого паука с хвостом

https://news.mail.ru/society/32472880/?frommail=1
66george: (киса)


Китайцы нашли 215 яиц птерозавров

http://www.sci-news.com/paleontology/pterosaur-eggs-china-05491.html

До сих пор было известно всего восемь, из них пять тоже нашли китайцы. Китайцы молодцы.
66george: (киса)


Прекрасную мезозойскую птичку, влипшую в янтарь, обнаружили в Бирме

http://elementy.ru/novosti_nauki/433029/Ptenets_iz_birmanskogo_yantarya_pomog_utochnit_osobennosti_razvitiya_mezozoyskikh_ptits

Недавно там же в янтаре нашли хвостик динозавра с пёрышками

http://66george.livejournal.com/374291.html

а ещё раньше крылышко. Мезозойские птички от динозавров ещё мало отличались.
66george: (киса)


С некоторым усилием читаю книгу про ископаемых Антарктиды. Это позволяет мне с чистою душой временно не читать мрачных математических и программистских книг (потому что занят делом). На картинке ископаемое дерево, которое так и стоит с мелового периода. В Антарктиде, оказывается, нашли несколько окаменевших лесов. На горе на высоте четыре километра найден большой динозавр, было трудно там его долбить и вывозить на базу вертолётом. Вот интересная у людей жизнь, в Антарктиде на горе долбить динозавра. А что же мы всё сидим, не долбим, не едем никуда.
66george: (киса)


Хвостик динозавра с пёрышками, найденный в янтаре. Динозавр был крохотный. Это не первый раз, когда в бирманском янтаре находят интересное, какую-то птичку мелового периода там уже находили.

http://www.sci-news.com/paleontology/feathered-dinosaur-tail-burmese-amber-04437.html
66george: (киса)


И вот ещё доисторическая хищная белочка, утонувшая в болоте 50 миллионов лет назад. Виден пушистый хвостик.
66george: (киса)


Вот ещё птички из доисторического болота Мессель, которое существовало в Германии 50 миллионов лет назад. Утонувшие в болоте зверюшки и птички сохранялись так, что видна даже окраска перьев. Внизу справа доисторический удод размером меньше воробья. Настоящих воробьиных птиц тогда в Европе ещё не было и вместо них летало чёрт знает что.
66george: (киса)


Прочитал книгу "The Jehol fossils" с красивыми картинками. А потому что я высококультурный человек. Jehol -- это место в Китае, недалеко от нашей границы на Дальнем Востоке. Там в былые времена периодически извергался вулкан, засыпая пеплом окрестные леса и озёра. В результате местные животные запекались целиком в этом пепле и в таком виде отлично сохранялись. Динозавры с пёрышками и пухом, зубастые птички и т.п. в большом количестве там найдены, причём копать хватит ещё на несколько столетий.
66george: (киса)
Вчера читал статью Эдварда Нельсона, где он вопиёт, что математика скоро рухнет, потому что опора шаткая у ней

https://web.math.princeton.edu/~nelson/papers/warn.pdf

Но Нельсон умер, а математика стоит, это чудо. Затем читал книгу его же, где он выводит квантовую механику (не всю, но уравнение Шредингера) из броуновского движения частиц эфира

http://www.dfi.uchile.cl/~paurruti/bmotion.pdf

Вот таких фриков допускают в науку, ни субординации у них, ни дисциплины, хи-хи, шучу.

Граждане, у меня странное состояние, когда я прочитал и понял всё, что хотел прочитать и понять. Последняя книга была такая

http://golibgen.io/view.php?id=109898

никогда бы её не понял, если бы уже не знал, что там написано.
И что мне теперь делать?
66george: (киса)
В этих двух архивах почти все книжки по математической логике, изданные в Советском Союзе. Я выкладывал эти ссылки, но давно и они "утонули". Собирал Станислав Баров ещё до появления libgen, сейчас кое-что можно найти в лучшем качестве на libgen

http://www.mediafire.com/download/cn7hskh3t3w1uto/djvu.rar
http://www.mediafire.com/download/4g54uiij5yvezu8/pdf.rar

К учебнику рано или поздно допишу главу про string diagrams, но сейчас лень и голова занята другим, читайте пока Константина Крылова "Золотой ключ".
66george: (киса)
Вот для примера ругань математиков

https://plus.google.com/+CodyRoux/posts/6TiKLxjSCnu

Есть форум FOM (Foundations of Mathematics)

http://www.cs.nyu.edu/pipermail/fom/

там собираются старички и обсуждают основания математики, как они себе их представляют. Я туда иногда захожу, чтобы узнать, кто умер из великих. За последние два года умерли Ламбек (91 год), Крайзель (91 год), Крейг (97 лет), Хартли Роджерс (89 лет) и Вопенка (79 лет, молодой совсем). И вот молодёжь ругается, не выбирая выражений, что FOM превратился в "ядовитую помойку", потому что старички не знают, что сделано в науке за последние 40 лет (это, в общем, правда) и не ценят великого Воеводского. Дальше переходят на личности и говорят, что виноват Харви Фридман, который очень много пишет в FOM и модерирует всех остальных. Тут приходит Харви Фридман и возражает по существу, что модератор не он, а Мартин Девис (уважаемый человек, 88 лет). Молодёжь культурно извиняется, спор заканчивается. И вот я думаю: с одной стороны, на FOMе действительно нечего читать, кроме некрологов. Но там жизнь кипит, старички пишут вовсю! С другой стороны, любой форум, куда приходит великий Воеводский, скоро умирает. Вот был форум по теории типов

2015 год
http://lists.seas.upenn.edu/pipermail/types-list/2015/thread.html

2016 год, пришёл великий Воеводский
http://lists.seas.upenn.edu/pipermail/types-list/2016/thread.html

Воеводский - пассионарный лидер, увлекает людей за собой, ведёт в болото, там съедает (образ заимствован у писателя Крылова-Харитонова). И теперь мне нечего читать по специальности. До FOMа я ещё не дозрел по возрасту. Кому мешала теория типов?

Вообще, странное впечатление: количество плюшек (книжек, фильмов и т.д.), доступных в интернете, растёт экспоненциально (то есть, каждый год в несколько раз), а поговорить становится не с кем.
66george: (киса)
Ещё картинка, изображает траекторию движения точки по бублику, когда бублик выворачивается прямым и извращённым способом с разными скоростями (скорости можно регулировать нижними ползунками)

http://ggbm.at/EcwwUHNV

и в стереоочках

http://ggbm.at/dfTTACUW

Это всё называется "вращение трёхмерной сферы" и некоторым образом изображает повороты четырёхмерного пространства. Давно хотел представить это наглядно, но не мог, а теперь есть программа.
66george: (киса)


Осваиваю программу Geogebra. Картинка выше не моя, а вот эти мои

http://www.geogebra.org/m/hmjvu38Z
http://www.geogebra.org/m/VcV6h2ws
http://www.geogebra.org/m/YDnYbunA

Можно и нужно двигать ползунки. И то же самое в стереоочках

http://www.geogebra.org/m/mBr6zFGg
http://www.geogebra.org/m/RdN5jTye
http://www.geogebra.org/m/VvMdgScZ
66george: (киса)


Visual Studio спрашивает "Готовы к переходу в облако?" Нет, спасибо, хочу ещё пожить.

Осваиваю психоделический пруфчекер Globular (на картинке). Теоремы (из теории категорий) изображаются психоделическими картинками, доказательство устроено по принципу "раскрась сам". Вот и для теории типов надо тоже так придумать. Вот Globular

https://golem.ph.utexas.edu/category/2015/12/globular.html

и статья про психоделические картинки, без которой ничего понять не удастся (не обещаю, что с ней удастся)

http://arxiv.org/pdf/1401.7220v2.pdf
66george: (киса)



Свежая книга про ископаемых китов с красивыми картинками. Зубастого кашалота назвали "левиафан Мелвилла"

https://app.box.com/s/6r98x6zu7r8sy9sm2xrjuw95iwx80sk4
66george: (киса)


В Якутии в вечной мерзлоте нашли тушки двух доисторических пещерных львят замученных большевиками. На самом деле нашли их ещё в августе и на зоологическом форуме обсуждают уже месяц.

Profile

66george: (Default)
66george

May 2019

S M T W T F S
    1234
5678 9 1011
12 13 14 15161718
19202122232425
262728293031 

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 22nd, 2025 11:23 pm
Powered by Dreamwidth Studios