Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2022-04-26 18:12:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Pink Floyd - Roland Petit Dans Pink Floyd Ballet
Entry tags:prog, smeshnoe, youtube

"Pink Floyd Ballet"
Вот, кстати, хорошее
https://www.youtube.com/watch?v=Zi8jpomxBdM
Пинк Флойд с балетом Ролана Пети
https://en.wikipedia.org/wiki/Ballet_National_de_Marseille

The Ballet National de Marseille was founded by the dancer
and choreographer Roland Petit in 1972.[1] The company's
first production was the Pink Floyd Ballet. Roland Petit's
young daughter had given him a Pink Floyd album and told
him he should make a ballet from it. The idea matured, and
the ballet eventually debuted in Marseille at the Palais
des Sports. The band itself performed at the first
show. Since then the Pink Floyd Ballet has been staged
several times in cities around the world.

Перформанс пинкфлойда на записи отсутствует,
года тоже не указано. Саундтрек - One Of These Days,
Careful With That Axe, Eugene, две малоизвестные
песни с Obscured by Clouds, и Echoes, в аккурат 35 минут.

Нажористо донельзя, особенно жизнерадостное пионерское
размахивание ручками под текст "one of these days, I'm
going to cut you into little pieces."


Привет

Update
нашел версию на полтора часа и немного лучше качеством
https://www.youtube.com/watch?v=qL381Qzg4g8
в исполнении японцев
Asami Maki Ballet, Tokyo, NHK Hall 2004



(Читать комментарии) - (Добавить комментарий)


[info]sometimes
2022-05-03 15:53 (ссылка)
Ну как ненужной, аккуратность же соблюдают с тех пор, когда с большими объектами работают.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2022-05-03 20:56 (ссылка)
Аккуратность соблюдают со времен парадокса Рассела, когда никаких формальных систем не было.

Формальные системы это наследие идеи Гильберта все так прописать, чтоб комар носа не подточил -- которая, по-видимому, основана на его травматическом опыте боданя с Кронекером в юности, а так-то, ни для чего не нужна. Поскольку она к счастью еще и доказуемо неосуществима, можно про нее просто забыть и не заморачиваться.

Лично я избегаю даже универсов (по факту, даже они ни для чего содержательного не нужны).

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-05-04 10:25 (ссылка)
> Аккуратность соблюдают со времен парадокса Рассела, когда никаких формальных систем не было.

парадокс Рассела же как раз накопали в попытках её построения, нет? Russel, Whitehead и т.п.

собственно, "аксиомой фундирования" (довольно искусственной - впрочем, они там все не красавицы, если начистоту - и другого смысла не имеющей, кроме как - ) эту дыру и закрыли, с запасом.

аксиомой выбора, опять же, постоянно пользуются, все хотят максимальных идеалов (подмодулей; любых максимальных подобъектов вообще) потому что, а без Геделя и Коэна как-то стремновато было (она и правда вроде бы и очев. а вроде бы и не оч.).

континуум-гипотезой стараются не пользоваться, правда, хотя казалось бы
ну и вообще стараются понимать, использовалась по дороге AC или нет

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2022-05-04 15:18 (ссылка)
>парадокс Рассела же как раз накопали в попытках её построения, нет?

Ровно наоборот.

Я б тебе процитировал вики, но там соотв. статьи все нахуй засраны философами и представляют собой идиотскую чушь ни о чем, процентов на 80. Но общая картинка понятна: парадоксы это примерно 1900, программа Гильберта это начало 1920х.

До 1900 таким занимался только Фреге, но он был идиотский идиот и фрик, это все знали.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-05-04 18:30 (ссылка)
> парадоксы это примерно 1900, программа Гильберта это начало 1920х

а principia mathematica это 1910

(Ответить) (Уровень выше)


(Читать комментарии) -