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: (киса)


В Якутии в вечной мерзлоте нашли тушки двух доисторических пещерных львят замученных большевиками. На самом деле нашли их ещё в августе и на зоологическом форуме обсуждают уже месяц.
66george: (киса)
Есть австралийская кампания NICTA, которая пишет кусочек операционной системы и всё, что напишет, проверяет с помощью пруфчекера. На 7500 строк программного кода им пришлось написать ещё 200 тысяч строк доказательств для пруфчекера, что заняло 11 человеко-лет работы. Общий объём писанины, таким образом, вырос в 28 раз, если я правильно посчитал. Пруфчекер нашёл 144 ошибки.

http://www.ertos.nicta.com/research/l4.verified/numbers.pml

http://ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf

Скоро всех заставят так писать.
66george: (киса)
Безымянный

Интересная книга про доисторических китов с лапками. От палеонтолога, который их открыл

http://avaxhm.com/ebooks/science_books/biology_genetics/0520277066.html

Киты, как выяснилось, происходят от парнокопытных, первый кит имел вид "плавающей свиньи с хвостом".

P.S. Файл плохо читается Adobe reader, но без проблем программой Sumatra
P.P.S. Сделали pdf, который читается Adobe reader

http://libgen.org/get.php?md5=19aae79256df7d504ceda36de3c9cfeb
66george: (киса)
359002_hlwn

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

"Вообще, современную эволюционную биологию я представляю себе как суп из гвоздя: да, без гвоздя, конечно, никакого супа бы не было, но в основном там другое."

Согласно Кунину, жизнь возникла в результате чуда, а потом постепенно деградировала. Там ещё много чего, книга серьёзная. С Дарвиным и дарвинизмом ситуация сложная. Самое знаменитое, что сделал Дарвин -- сказал громко и для всех, что человек происходит от животных. Но он это не придумал, в научных кругах вопрос обсуждался раньше. Кроме того, для этого не надо никакого "дарвинизма", мог бы и Ламарк сказать, что человек произошёл от обезьяны (это не отменяет личной смелости Дарвина, потому что Ламарк не сказал). Что касается "эволюционной теории", то никакой теории там не было и нет до сих пор. Года три назад приезжал Кондрашов (генетик с мировым именем) и делал доклад под названием "Зачем нужно половое размножение". Есть виды, состоящие из одних самок, которые родят новых самок без всякого секса, это называется "партеногенез". Такие виды размножаются быстрее обычных (у обычных видов половина особей никого не родят, потому что самцы). Тем не менее, они не вытесняют обычные виды -- значит, половое размножение даёт какие-то важные преимущества и даёт их быстро (не через сто поколений). В чём состоят эти преимущества, никто не знает, о чём и заявил Кондрашов в начале доклада. Дальше опровергал с цифрами разные гипотезы, включая свою собственную (довольно популярную, называется "топор Кондрашова"). Таким образом, никакой "эволюционной теории" пока нет, есть религия Дарвина и Александр Марков пророк её. Эволюция есть, одни виды происходят от других, человек произошёл от обезьяны, теории нет никакой. Дарвин -- добросовестный учёный (и хороший писатель, "Путешествие вокруг света на корабле Бигль" -- очень хорошая книга, "Автобиография" тоже очень интересная). Он не виноват, что из него сделали религиозный культ всякие Александры Марковы. Теперь Кунин есть у них, пусть вместо Дарвина стоит, хи-хи.
66george: (киса)
Безымянный

Замечательная книжка про доисторический Мадагаскар

http://avaxhm.com/ebooks/science_books/022614397X.html
66george: (киса)


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

Оказывается, пока мы спим, учёные много чего открыли. За Нептуном, где раньше был один Плутон, открыли планеты Макемаке и Хаумеа. А самая прекрасная планета Седна -- когда она ближе всего к нам (как сейчас), она вдвое дальше Плутона. А когда дальше всего, уходит на световой год. С периодом 11 тысяч лет. И ещё нашли ископаемого двухголового дракончика

tumblr_mj7fvyGMek1s5f2yxo1_500

Разве не приятно найти двухголового дракончика?

http://www.nbcnews.com/id/16710924/ns/technology_and_science-science/t/scientists-unearth-fossil-two-headed-reptile/#.UkHrfRA4RrA
66george: (киса)
Нашёл напольные весы и тут же измерил свой вес. Во мне 90 кг при росте 182-183 см. Это хорошо, я в меру упитанный.

Вышла вот такая книжка, написанная 40 человеками (по второй ссылке фотография со всей компанией, по центру Воеводский)

http://homotopytypetheory.org/book/
http://homotopytypetheory.org/2013/06/20/the-hott-book/
66george: (киса)


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

http://elementy.ru/lib/431865

А вот американец поймал миногу невероятной величины. Фотографии совершенно жуткие, напоминает червяка с планеты Дюна

Ужас
66george: (киса)
pic_39

«Здесь изображены два лебедя со своими длинными, похожими на косу передними конечностями, которые они, должно быть, использовали, чтобы накалывать на них мелкую добычу. Один из них только что поймал головастика, одну из загадочных рыб прошлого.»

Палеонтологи весело стебутся над реконструкциями динозавров, фантазируя, как бы изображали нынешних животных учёные будущего.

http://www.sivatherium.narod.ru/library/Naish_al/part_03.htm

Там ещё две части со всякой всячиной

http://www.sivatherium.narod.ru/library/Naish_al/part_01.htm
http://www.sivatherium.narod.ru/library/Naish_al/part_02.htm

Profile

66george: (Default)
66george

August 2016

S M T W T F S
 1 23456
7 891011 12 13
1415161718 19 20
21 222324252627
28 293031   

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 03:21 pm
Powered by Dreamwidth Studios