June 11th, 2007

2017

Евро монетки

Я как-то рассказывал про коллегу, принёсшего мне коллекционную евро-монетку. На днях он принёс ещё одну - ту, что слева. А ещё через два дня - ту, что справа.

Вариант "ты их сам чеканишь" он отверг, как оскорбительный. Рассказал о каком-то мифическом кафе, в котором ему регулярно такие дают.
Самый правдоподобный теперь вариант это "хозяин кафе их сам чеканит".

А как бы вы объяснили эффект? Кто-то (кроме grave__digger с греческой монеткой) их хоть раз в жизни видел? Почему я, рассматривающий каждую проходящую через мои руки монетку в течении 4 лет, ни разу не встречал такого чуда?

Хотя... Однажды мне дали сдачу монеткой из Монако...
2017

Обзор прессы

Давно уже существуют сайты, на которых можно подключиться к какой-нибудь веб-камере и покрутить её в разные стороны. Сейчас идёт эксперимент в Версале (пока что только для ограниченной публики, если всё пройдёт хорошо - откроют всем): по залам катается робот, которым можно управлять, подъезжать к интересующим тебя экспонатам, зумить, рассматривать.
Работает как обычно: регистрируешься, встаёшь в очередь на управление, тебе дают сколько-то там минут, ты балуешься. Всё остальное время можно смотреть, как балуются другие люди.
Надеюсь, скоро напишут настоящий симулятор, в котором физическое присутствие робота будет заменено программкой.


Читаю купленный журнал про логику. Поскольку предмета "логики" у меня никогда не было, многое кажется откровением. Например, не абсолютность принципа "от противного".
Предположим, нам нужно доказать справедливость "а или б". Определение операции "или" говорит, что утверждение будет доказано, если мы докажем а или докажем б. Считается ли доказательством "а или б" доказательство от противного (т.е. что "не а и не б" ведёт к противоречию)?
Вопрос для меня чисто теоретический, но примеры красивые:
Доказать, что существуют такие иррациональные 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. Решили процесс автоматизировать. А жаль, я знаю множество людей, которые бы с превеликим удовольствием поработали бы в архиве, складывая порванные бумажки.