понеділок, травня 29, 2017

алгоритм потужнійший за рівняння

Пропоную вашій увазі огляд книжки New Kind Of Science від Стівена Вольфрама


про що книжка

Про те що математика, як ми її знаємо, зручна для опису природніх процесів поведінка яких є повторювальною. Подібні моделі дозволяють ввести вхідні дані і отримати результат минаючи проміжні обчислення.

На противагу описаному підходу, Вольфрам знайомить нас з класами процесів які традиційна математика вважає "нецікавими" і показує що найуспішніше їх моделювати за допомогою простих програм. Не обмежень, як в традиційній математиці, а простих програм які емулюють досліджувану систему.

як вона була написана

1280 сторінок; головний текст розбитий на 12 глав, 227 тисяч слів, нотатки 283 тисячі слів. Вольфрам писав її більше 10 років - з 1992 по 2002 роки. Без перерв. На цей час він усамітнився, перейшов на нічний графік, працював з обіду і до 8 ранку.

як про неї відгукуються люди

Доречно нагадати що Стівен Вольфрам не пройдисвіт, а вундеркінд і успішний бізнесмен: зарахований з 12 років на степендію в Ітон, з 17 в Оксфорд, в 20 років PhD від Caltech, в 21 рік стипедіат Мак Артура, в 29 років заснував компанію Wolfram Research.

Він ставить чимало прямих запитань і не соромиться відповідати на них (або припускати їхній розв'язок) простою мовою. Це контрастує з класичною наукою, де просте ознайомлення з публікаціями вимагає вільного володіння термінологією, а рецензію можуть дати лічені сотні людей у світі. А ще, Вольфрам не соромиться займенника Я і доволі часто вживає його на перших ста сторінках.

Очікувано, книжку шпетять за її простолюдний стиль і за марнославство. Видана за власний кошт, без проміжних публікацій в журналах, вона охоплює значну частину природознавства, ставить чимало запитань і вводить такі поняття як обчислювальна спрощувальність, обчислювальна неспрощувальність, принцип обчислювальної еквівалентності.

Ця книга в значній мірі є викликом існуючому стану речей. Доведення представлені у формі комп'ютерних програм, а віддак є відтворюваними. Це контрастує з класичною наукою, де більше 70% експериментів не відтворюються, а через брак прогресу в 2014 році обвогорювалась пропозиція "узаконити" Теорію Струн.

глава 12

В заключній главі Стівен Вольфрам мандрує в філософію, теологію, космологію. Він пропонує нам світ в якому прості правила породжують складні системи, а ті в свою чергу швидко переходять межу універсальності і здатні вести себе як наш з вами інтелект.

В підсумку я щиросердечно рекомендую цю книгу. Для мене особисто 9 і 11 глави видались стомлюючими: нерідко за день я осилював не більше 1-2 параграфів. Одак я справді щасливий що добрався до 12 глави.

Читаймо якісне!
Щастя нам!


[1] NKS on Wikipedia
https://en.wikipedia.org/wiki/A_New_Kind_of_Science

[2] The Man Who Cracked The Code to Everything...
https://www.wired.com/wired/archive/10.06/wolfram.html

[3] 1,500 scientists lift the lid on reproducibilityhttp://www.nature.com/news/1-500-scientists-lift-the-lid-on-reproducibility-1.19970

[4] Scientific method: Defend the integrity of physics
http://www.nature.com/news/scientific-method-defend-the-integrity-of-physics-1.16535

четвер, грудня 08, 2016

Стівен Вольфрам: NKS

Допис [1] про Аду Ловлейс - перший текст Стівена Вольфрама який я прочитав. Стиль - зверхній, відвертий, однак - навіть якщо це історичне дослідження неісторика - глибинний. З кожним новим текстом мені все більше імпонувала думка прочитати якусь з його книжок і нарешті я насмілився на New Kind of Science - 12 глав, 1200 сторінок.

Стівен Вольфрам - вундеркінд. PhD в 20 років; Річард Фейнман входив у його дисертаційну комісію і рекомендував його на стипедію МакАртура; автор пакету Mathematica, рушійна постать wolframalpha.com i комп'ютерної мови Wolfram Language.

Якщо у вас видасться хвилина вільного часу... а краще п'ятнадцять - раджу його допис про дизайн корабля прибульців з фільму Arrival - який також підготував Стівен Вольфрам [2].

Щодо книжки... сподіваюсь осилити її протягом наступних 12-18 місяців.


Читаймо якісне!
Щастя нам!

[1] http://blog.stephenwolfram.com/2015/12/untangling-the-tale-of-ada-lovelace/

[2] http://blog.stephenwolfram.com/2016/11/quick-how-might-the-alien-spacecraft-work/

[3] https://en.wikipedia.org/wiki/Stephen_Wolfram

[4] https://en.wikipedia.org/wiki/A_New_Kind_of_Science

середа, листопада 02, 2016

парниковий грабіж

The level of disrespect shown by the prime minister
 and his government today is stunning
Brad Wall

В жовтні 2016 року канадці радо довідались про новий податок. З фінансовими переводами, як і з будь-яким товаром, важливий не стільки зміст, скільки обгортка. Для прикладу: в 2015 році консерватори здійснили виплату сім'ям з дітьми, але ЗМІ зобразили це як підкуп виборців [2] і люмпен, попри отримані $2500 на сім'ю, вибрав лібералів на чолі з Трудо. Сьогодні, в того ж люмпена відбирають $1250 на рік у формі нового податку [1], але він щасливий, бо ЗМІ повідомили що цей податок "планетоугодний" і якщо ти проти, то відповідно ти проти Землі. Не більше і не менше.


Somebody recently said to me, ‘Mr. President, you are so yesterday. 
Justin Trudeau has completely replaced you. 
He's so handsome, he's so charming. He's the future‘
Barack Obama

Сучасна еліта "західного світу" є доволі мізерним явищем. Заледве 174 см на зріст [3] вони анемічні і старі, а їхнє вбрання віддає нафталіном. Саме тому Трудо має такий позитивний образ - молодий, фотогенічний, красномовний. Він вирішить всі проблеми людства, та й взагалі - хіба можуть бути проблеми, якщо чоловік роздає $2.6 мільярди на допомогу островам тихого океану в перші два тижні свого прем'єрства [4]?

А проблеми таки є. По-перше це світова економіка, яка де-факто скорочується [5], це бульбашка ринку нерухомості Канади [6] і дірявий бюджет [7]. У Ванкувері - місті в яке їдуть багатії з цілого світу - через брак коштів закривають 11 шкіл [8], а в провінції Нью Фаундленд - 54 бібліотеки [9]. При цьому команді Трудо дуже хочеться залишитись при владі, а тому вони обіцяють і роздають все більше, все глибше занурюючи казну в борги.

Моє розуміння економіки таке: сильна казна опирається на сильних, платоспроможних громадян, слаба казна культивує люмпен; в здоровій економіці інфляція є похідною від об'ємів виробництва і торгівлі, у слабій - інфляція диктується центральним банком через ставку фінансування і державних запозичень. Про те в яку категорію попадає Канада, та й решта західного світу, красномовно говорить виступ голови банку Канади [10]:

I recognize that even after years of very low interest rates, 
the economic recovery in many economies remains weak. 
But to date, we have not seen convincing evidence that there is an 
alternative approach that is better than our inflation targets
Stephen Poloz 

Іншими словами - ми спровокували неплотоспроможних людей позичити величезні суми, однак немає переконливого доказу що ми не наймудріші.
І тут я мушу з ним погодитись - бо коли, здавалося б, настав слушний час для зміни курсу, ліберальні еліти світу витягли з рукава джокер - глобальне потепління!

We felt that with steady improvements to today’s renewable energy technologies, our society could stave off catastrophic climate change. 
We now know that to be a false hope...
Google RE < C: Ross Koningstein, David Fork

Важливо розставити крапки над "і" - я щиросердечно вірю що ми на катастрофічному курсі, що наше споживання є бракон'єрським, і що популяція людей вже 50 років як в переборі (overshoot). Я дійсно раджу прочитати post mortem проекту RE < C [11], тому що він написаний людьми схожими на нас - інженерами - які змалку читали фантастику і які перед тим як здійняти руки догори і сказати "це марні надії" роками шукали теоретичного вирішення кризи в найпрогресивнішій компанії сьогодення.

Тверезо мислячи, факт глобального потепління мав би мати негативний вплив на економіку: адже треба скорочувати викиди парникових газів, а це значить зупиняти вугільні ТЕЦ, впроваджувати жорстке планування народжувальності, переводити енергетику на відновлювальні рельси. Доречі, ви знали що відновлювальна енергетика неконкурентна? Для прикладу - в Південній Австралії, попри вітрові станції, уряд відновлює ТЕЦ бо $1000+ за мегават-годину банкротить бізнес [14].

Однак ви не чули нічого подібного від недавнього з'їзду в Парижі, правда? Ви мабуть не помітили щоб китайська делегація зобов'язалась не будувати нових вугільних ТЕЦ (яких до речі вона будує по 4 в тиждень [12]), або щоб Індія зменшила народжуваність (на даний момент це +16.7 мільйонів на рік [13]). Так з якого ж приводу всі ті ріки шампанського на парижському екологічному саміті?

Головним досягненням саміту є легітимізація нового податку під приводом обмеження росту парникових викидів. Щоб підкреслити масштабність цієї профанації, дозвольте повторитись - підписи світових лідерів стоять не під обмеженням викидів парникових газів (скажімо 100 тон сьогодні, 75 тон через 5 років), а зменшення росту викидів газів (скажімо 100 тон сьогодні, 110 тон через 5 років) [15].

Сьогодні пересічна канадська сім'я 42% доходу віддає податковій [16], а середня заборгованість норвежця чи австралійця 225% (тобто на кожен долар принесений додому, він має віддати 2 долари 25 центів на погашення боргів) [17]. Економіка в комі, а значить не буде інфляції і відповідно - не буде росту грошової маси, яка так потрібна лібералам для виконання своїх обіцянок. Єдиний вихід - дооподаткувати, відібрати останнє і таким чином збільшити бюджетні надходження.
Весь саспенс парижського саміту (ой, Японія відмовляється, ой, Китай невдоволений, ті, тд) це вистава для громадян - бо якщо люди не згідні на новий податок - значить його треба видурити.

Лівацтво, народжене на Європейському континенті, ніколи не вражало своєю винахідливістю. Для них, за Оруелом, головне влада. А якість життя чи здоров'я соціуму - це питання пропаганди. Ми живемо в час проїдання, але дуже скоро запаси будуть вичерпані і перед нами відкриється горизонт справжніх викликів, для яких сподіваюсь знайдуться гідні лідери. Поки що ж, як сказав Барак "Джастін, відчепись".

I said, ‘Justin, just give it a rest’ 
Barack Obama 

Щастя нам!

[1] http://www.macleans.ca/politics/wall-trudeau-carbon-tax-disrespectful/ 

[2] http://www.nationalobserver.com/2015/07/24/opinion/harper-wants-your-vote-badly-enough-bribe-you-it-%E2%80%93-your-own-money 

[3] https://www.theguardian.com/news/datablog/2011/oct/18/world-leader-heights-tall 

[4] http://news.nationalpost.com/news/canada/canadian-politics/trudeau-pledges-2-65b-to-help-poor-countries-fight-climate-change 

[5] http://www.cnbc.com/2016/06/21/the-next-recession-is-already-here-and-there-isnt-much-the-fed-can-do-commentary.html 

[6] http://www.macleans.ca/economy/economicanalysis/canadas-housing-market-looks-a-lot-like-the-u-s-did-in-2006/

[7] http://globalnews.ca/news/3038932/finance-minister-bill-morneau-releases-economic-outlook/ 

[8] http://globalnews.ca/news/2967084/vancouver-school-board-votes-to-keep-11-schools-on-closure-list/

[9] http://www.cbc.ca/news/canada/newfoundland-labrador/newfoundland-labrador-library-closures-1.3555133

[10] http://www.theglobeandmail.com/report-on-business/economy/no-good-alternative-to-bank-of-canadas-inflation-target-poloz/article32612752/?cmpid=rss1 

[11] http://spectrum.ieee.org/energy/renewables/what-it-would-really-take-to-reverse-climate-change 

[12] http://energydesk.greenpeace.org/2015/11/11/chinas-coal-bubble-155-new-overcapacity/ 

[13] https://en.wikipedia.org/wiki/Demographics_of_India

[14] http://www.afr.com/business/energy/south-australia-intervenes-in-electricity-market-as-prices-hit-14000mwh-20160714-gq5sac

[15] http://thearchdruidreport.blogspot.ca/2016/07/climate-change-activism-post-mortem.html

[16] http://news.nationalpost.com/news/canada/canadians-pay-42-of-income-in-tax-more-than-they-spend-on-food-shelter-clothing-combined

[17] https://data.oecd.org/hha/household-debt.htm