Обзор прессы
Jun. 11th, 2007 05:00 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
green_frДавно уже существуют сайты, на которых можно подключиться к какой-нибудь веб-камере и покрутить её в разные стороны. Сейчас идёт эксперимент в Версале (пока что только для ограниченной публики, если всё пройдёт хорошо - откроют всем): по залам катается робот, которым можно управлять, подъезжать к интересующим тебя экспонатам, зумить, рассматривать.
Работает как обычно: регистрируешься, встаёшь в очередь на управление, тебе дают сколько-то там минут, ты балуешься. Всё остальное время можно смотреть, как балуются другие люди.
Надеюсь, скоро напишут настоящий симулятор, в котором физическое присутствие робота будет заменено программкой.
Читаю купленный журнал про логику. Поскольку предмета "логики" у меня никогда не было, многое кажется откровением. Например, не абсолютность принципа "от противного".
Предположим, нам нужно доказать справедливость "а или б". Определение операции "или" говорит, что утверждение будет доказано, если мы докажем а или докажем б. Считается ли доказательством "а или б" доказательство от противного (т.е. что "не а и не б" ведёт к противоречию)?
Вопрос для меня чисто теоретический, но примеры красивые:
Доказать, что существуют такие иррациональные a и b, что a^b - рационально.
Доказательство. Положим a = b = sqrt(2) (корень квадратный от 2) - известно, что это число иррационально.
a^b = sqrt(2)^sqrt(2) либо рациональное, либо нет. В первом случае теорема уже доказана, во втором случае возьмём a = sqrt(2)^sqrt(2) (в этом предположении оно иррационально), b = sqrt(2). Легко показать, что a^b = 2.
Т.е. мы показали две пары чисел a и b, одна из них точно доказывает теорему, но мы не в состоянии сказать, какая. Считать это доказательством?
Ну и дальше автор рассуждает, во что превращается привычная логика, если мы отбросим вот такие нестрогости.
В Германии (институт Фраунгофера) сделали программулину, которая собирает паззлы. Для того, чтобы восстановить уничтоженные не до конца (разорванные, но не сожжённые) архивы Штази. Не успели сжечь 16250 мешков документов, с 1989 года вручную обработали порядка 300. Решили процесс автоматизировать. А жаль, я знаю множество людей, которые бы с превеликим удовольствием поработали бы в архиве, складывая порванные бумажки.
Работает как обычно: регистрируешься, встаёшь в очередь на управление, тебе дают сколько-то там минут, ты балуешься. Всё остальное время можно смотреть, как балуются другие люди.
Надеюсь, скоро напишут настоящий симулятор, в котором физическое присутствие робота будет заменено программкой.
Читаю купленный журнал про логику. Поскольку предмета "логики" у меня никогда не было, многое кажется откровением. Например, не абсолютность принципа "от противного".
Предположим, нам нужно доказать справедливость "а или б". Определение операции "или" говорит, что утверждение будет доказано, если мы докажем а или докажем б. Считается ли доказательством "а или б" доказательство от противного (т.е. что "не а и не б" ведёт к противоречию)?
Вопрос для меня чисто теоретический, но примеры красивые:
Доказать, что существуют такие иррациональные a и b, что a^b - рационально.
Доказательство. Положим a = b = sqrt(2) (корень квадратный от 2) - известно, что это число иррационально.
a^b = sqrt(2)^sqrt(2) либо рациональное, либо нет. В первом случае теорема уже доказана, во втором случае возьмём a = sqrt(2)^sqrt(2) (в этом предположении оно иррационально), b = sqrt(2). Легко показать, что a^b = 2.
Т.е. мы показали две пары чисел a и b, одна из них точно доказывает теорему, но мы не в состоянии сказать, какая. Считать это доказательством?
Ну и дальше автор рассуждает, во что превращается привычная логика, если мы отбросим вот такие нестрогости.
В Германии (институт Фраунгофера) сделали программулину, которая собирает паззлы. Для того, чтобы восстановить уничтоженные не до конца (разорванные, но не сожжённые) архивы Штази. Не успели сжечь 16250 мешков документов, с 1989 года вручную обработали порядка 300. Решили процесс автоматизировать. А жаль, я знаю множество людей, которые бы с превеликим удовольствием поработали бы в архиве, складывая порванные бумажки.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2007-06-12 06:07 am (UTC)no subject
Date: 2007-06-12 07:24 am (UTC)no subject
Date: 2007-06-12 08:16 am (UTC)После твоего поста начала сомневаться - а настоящая ли новость? :о))
no subject
Date: 2007-06-12 01:06 pm (UTC)Угу, я с одной такой живу. :)))
no subject
Date: 2007-06-12 01:43 pm (UTC)no subject
Date: 2007-06-12 01:54 pm (UTC)я, конечно, маньяк, но не до такой же степени
интересный пост - спасибо!
Date: 2007-06-13 09:22 am (UTC)Ancient Rome Is Rebuilt Digitally!