Алън Кей отново

[cutthroat]

Няколко сравнително скорошни лекции на Алън Кей относно текущото състояние на информатиката.

2012 SCIx Keynote Presentation, http://www.youtube.com/watch?v=BbwOPzxuJ0s

SRII 2011 - Keynote Talk by Alan Kay, http://vimeo.com/22463791

SRII 2011 - Keynote Talk by Alan Kay - Q&A Session, http://vimeo.com/22477943

[Boyko Bantchev]

> Няколко сравнително скорошни лекции на Алън Кей относно текущото състояние
> на информатиката.

А пък тези са на Ал. Степанов (той, той) в Москва.
Трябва повечко време, но се гледа с удоволствие, заедно с обсъжданията:
http://video.yandex.ru/users/ya-events/tag/а.степанов

Към първата лекция са посочени и слайдове, но от тях няма да
добиете адекватно впечатление за лекцията.
Впрочем, ето нещо важно именно от слайдовете:

Conclusions
• Computer Science is Mathematics
• The Math which is important for CS is
what should be our high school math
– Algebra
– Geometry
• Finally, know your heroes
– Euclid and Euler, not Jobs and Gates

[Slavomir Kaslev]

Също Степанов, за не-руско говорящи http://www.youtube.com/watch?v=Ih9gpJga4Vc.

2013/8/30 Boyko Bantchev <boy...@gmail.com>

--
You received this message because you are subscribed to the Google Groups "Polyglot Quine" group.
To unsubscribe from this group and stop receiving emails from it, send an email to polyglot-quin...@googlegroups.com.
To post to this group, send email to polyglo...@googlegroups.com.
Visit this group at http://groups.google.com/group/polyglot-quine.
For more options, visit https://groups.google.com/groups/opt_out.

--
Slavomir Kaslev

[Nikola Yolov]

Алгебрата и геометрията са безспорно полезни дялове от математиката, но какво смятате за комбинаториката, по-конкретно теорията на графите?
Бих искал да изясня какво имам предвид. НЯМАМ предвид проект, в който решаването на даден проблем се свежда до прилагане на сложен комбинаторен алгоритъм. Имам предвид, че някои обекти и връзките между тях могат да се представят като граф/хиперграф от даден клас и такава абстракция би дала по-интуитивна представа за проблема. В този ред на мисли комбинаториката е един от най-естествените дялове от математикаката за програмирането.

[Slavomir Kaslev]

2013/9/14 Nikola Yolov <nikol...@gmail.com>

Алгебрата и геометрията са безспорно полезни дялове от математиката, но какво смятате за комбинаториката, по-конкретно теорията на графите?
Бих искал да изясня какво имам предвид. НЯМАМ предвид проект, в който решаването на даден проблем се свежда до прилагане на сложен комбинаторен алгоритъм. Имам предвид, че някои обекти и връзките между тях могат да се представят като граф/хиперграф от даден клас и такава абстракция би дала по-интуитивна представа за проблема. В този ред на мисли комбинаториката е един от най-естествените дялове от математикаката за програмирането.

Напълно съм съгласен. Според мен комбинаториката е не само полезна, но и фундаментална и свързана с останалата математика (по специално анализ, теория на вероятностите и топология) по много неочаквани начини. Обаче, ако ме питаш защо, ще ми е трудно да отговоря прецизно, само ще мога да ти дам интуитивна представа за връзката.

Например ако погледнеш книгата Analytic Combinatorics, показват връзката с анализ още в самото начало (стр. 2). Дават дефиниция за алтернираща пермутация и пресмятат колко алтерниращи пермутации има от n елемента. До тук добре. Ако развиеш фунцкията tan(x) в ред на Тейлър се оказва (изненада!), че получаваш същите числа. Защо? Какво общо имат Тейлъровите коефициенти на tan(x) = sin(x)/cos(x) с алтерниращи пермутации? 

Това не е странно съвпадение, тъй като има твърде много други математически "съвпадения" за други комбинаторни конструкции и съответни непрекъснати фунцкии. Аналитичната комбинаторика до голяма степен се състои в намирането на тези (генериращи) функцкии за различни комбинаторни конструкции. Също така, това е много полезно на практика например за анализа на алгоритми. Тъй като спомена графи (също много полезна и интересна комбинаторна структура), препоръчвам ти да погледнеш "Mappings and functional graphs" частта в Analytic Combinatorics за връзката между функции и графи =-)

От физична гледна точка, в квантовата механика стандартния модел може да се интерпретира като чисто комбинаторно изчисление. Тръгвайки от дадено изходно състояние на частици, прилагайки правилата за еволюция на системата във времето получаваш комбинаторна експолозия от възможни изходни състояния след време T и може да се пресметне каква е вероятността на всяко едно от тези изходни състояния. За големи N, дистрибуцията върху възможните изходни състояния започва да се "изглажда", става по "предвидима" и да отговаря на това което би очаквал като резултат от класическа физика. Това е (до някъде) по конструкция, защото искаш квантовате физика да е съвмесима с класическита физика за големи N, така наречения Classical limit. Това също дава малко интуиция защо комбинаториката (използвана за като модел за квантова физика) би била свързана с анализа и непрекъснати фунцкии (използвани като модел за класическа физика).

Като така, според мен връзката е много дълбока. Разбира се, приеми всичко, което казвам с известна доза сол, защото аз съм все още лаик в тази област и още уча през малка купчина книги и Analytic Combinatorics.