Lifeform Category Archives
по дорогам
27 July 2008 | Lifeform, Hardware, Software | 1 Comment
помните локативное искусство, да? так вот, компания Sony заявила о том, что в будущем игровые консоли PSP будут оснащаться GPS-модулем, каковое обстоятельство можно будет использовать при создании игр. что-нибудь навроде Grand Theft Auto по улицам родного города, ага.
чем не аugmented reality в действии? перекресток вымысла и реальности, зацепки для будущих форм жизни.
контакт
2 July 2008 | Lifeform, Science | No Comments
мы постоянно кричим, что поделать. и тут же вспоминается лемовский “Глас Господа” — так оно все и есть, именно так.
синтетика
16 June 2008 | Lifeform, Music, Software | No Comments
Миша 
tiphareth Вербицкий, кстати, рассказывает про электропоп. и Fad Gadget умопомрачительный, это уж точно.
хотя в будущем наши плееры будут писать музыку сами.
создавать
6 June 2008 | Lifeform, Music | No Comments
по-моему, замечательно:
James Houston synchronized a bunch of obsolete gadget noises to recreate Radiohead’s “Nude.” A Sinclair ZX Spectrum 8-bit PC was used for rhythm and lead guitars, an HP Scanjet 3c was used for bass guitar, an Epson LX-81 Dot Matrix Printer was used for drums, and an array of hard drives were used as bad speakers to distort and reproduce vocals and effects.
напоминает былое. да и вообще — определенно, давно уже пора создать некий механизм, анализирующий звуковые созвучия в лентах новостей, и трансформирующий их затем в унылые музыки современности.
poste restante
1 May 2008 | Lifeform | No Comments
впрочем, что там романы великих — все куда проще, оказывается, и в обычной жизни — так биты информации, что мы оставляем, начинают жить сами по себе, требуя к себе и внимания, и защиты.
практическое задание
25 April 2008 | Robots, Lifeform | No Comments
кстати, если вспомнить кошмар Норберта Винера, то в чем-то он, конечно, похож на эту коробочку.
именно так, leave me alone.
новая должность
21 April 2008 | Metaphysics, Lifeform | No Comments
где-то в мире, полагаю, существуют люди, максимально точно разбирающиеся в искусстве подделки документов страны Аруба. их можно сосчитать по пальцам, этих хранителей тайного знания, и вместе они, наверняка, ходят в какой-нибудь престижный и закрытый клуб.
про задачи
19 April 2008 | Metaphysics, Lifeform, Science | No Comments
с самого утра меня постоянно волнует один и тот же вопрос: является ли постоянно развязывающийся шнурок неотъемлимой частью моего туалета?
иными словами, можно ли доказать истинность или ложность этого шнурка в непротиворечивой теории одежды?
иначе говоря, я опять возвращаюсь к восхитительной первой теореме Гёделя о неполноте, доказанной им в 1931 году:
в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть.
а поэтому, если говорить о шнурке, то руководствоваться необходимо дополнительными теориями — как то, например, удобством, этикетом, или, наконец, хотя бы просто модой.
однако, нельзя так же забывать, что и в расширенном подобным образом языке будет так же существовать другое недоказуемое и неопровержимое утверждение.
по-моему, завораживает. или неинтересно про шнурки? тогда можно по-другому: любой элемент Вселенной не в состоянии познать ее, так как всегда найдется другой элемент той же Вселенной, который нельзя будет ни доказать ни опровергнуть.
а сопутствующее чтение такое:
- Успенский В. А., “Теорема Гёделя о неполноте”. М.: Наука, 1982 г., 110 стр.
- Gibson W., Sterling B., “The Difference Engine”. Victor Gollancz Ltd, 1990, 256 pp
- Stephenson, N. T., “Cryptonomicon”. Avon, 1999, 918 pp
мы пришли сегодня в порт
5 March 2008 | Lifeform, Hardware | No Comments
по ссылке находится удивительное жизнеописание местности под названием Читтагонг, где люди, осколки кораблей и моря продолжают сосуществовать вместе.
via.
einkreisung
24 February 2008 | Metaphysics, Lifeform, Science | 1 Comment
последнее время меня сплошь и рядом окружают немецкие слова: бесконечная зима навевает weltschemrz (и правда, ведь хорошее название для комикса?), а навсегда застывшее время отрицает хоть какое-то движение, полностью утратив главное, zeitgeist — да, мы так часто проживаем в эпоху безвременья, робко выглядывая наружу сквозь пелену тумана, спотыкаясь о вечную entscheidungsproblem собственной жизни.
нет, определенно немецкий язык удивительно подходит для площадных философствований, смутной брани и порнофильмов.
однако, как бы там ни было, первым Entscheidungsproblem упомянул еще Лейбниц, желавший построить машину для определения верности математических выражений, и записавший с этой целью некий набор символов.
потом, значительно позже, в 1928 г. Дэвид Гильберт окончательно сформулировал проблему разрешимости и задал главный вопрос: можно ли в принципе доказать истинность или ложность любого высказывания?
однако, уже в 1936 г. Алан Матисон Тьюринг опубликовал свою знаменитую статью “On Computable Numbers with an Application to the Entscheidungsproblem”. и в ней, опираясь на теорему Гёделя о неполноте, и доказывая невозможность поднятой Гильбертом проблемы останова, он впервые определил логическую конструкциию, названную впоследствии машиной Тьюринга. машиной, которая навсегда изменила реальность.