Dore: Ogre

Я бы хотел пожать руку архитектору этого компьютера

TOYOTA REMOTE Programming instructions:

How to program or initialize the Toyota remote keyless entry system step by step instructions:

1 Get in the car leave the drivers door open and unlocked make sure no key in ignition.
2 Put the key in the ignition and take it out twice within 5 sec.
3 Open and close the drivers door twice ( leave it open )
4 Put the key in ignition once and pull it out.
5 Close and open drivers door twice. ( leave the door opened )
6 Put the key in ignition and leave it their and close the drivers door.
7 To program the key turn ignition on 2 times and take the key out.
8 The car will lock and unlock twice now the remote keyless entry system is ready for programing.
9 Push the lock and unlock buttons on the remote together for 2 sec and than push lock once.
10 The car will lock and unlock to confirm registration.
11 Open the drivers door and close it.
12 Test how your key less entry works.

Предыдущий выпуск: http://birdwatcher.livejournal.com/961049.html
А вот так сравнишь с какой-нибудь чернокнижной процедурой, где каждый шаг должен быть в нужную сторону и в нужном порядке - и призадумаешься.
Any technology distinguishable from magic is insufficiently advanced, конечно.
Точно? Я запутался.

А "some magic is indistinguishable from any sufficiently advanced technology" тогда что? :-)
Я же не про эквивалентное, а про обратное :-) Насколько помню, надо поменять кванторы и записать задом наперед - а для начала записать в кванторах исходное высказывание. Лень :-)
Обратное утверждение выглядит так: "неверно, что любая достаточно продвинутая технология неотличима от магии". Что означает: "существует достаточно продвинутая технология, отличимая от магии".
Либо я сошел с ума, либо обратное утверждение и отрицание - разные вещи.

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

Опять же если я не сошел с ума (что не исключено), к "все А обладают свойством Б" обратным будет "все [а не некоторые], обладающие свойством Б, суть А."
(А "некоторые, обладающие свойством Б, суть А" прямо следует из исходного утверждения.)

В нашем случае исходное утверждение - "все продвинутые технологии эквивалентны [в некотором смысле] магии". Обратное, видимо - "все виды магии эквивалентны [в том же смысле] продвинутым технологиям". (Облегченное "некоторые виды магии эквивалентны продвинутым технологиям" опять же прямо следует из исходного утверждения.)

Или я все-таки сошел с ума?
Понял, что вы имеете в виду. Обратное отверждение в вашем смысле определено для импликации (А => В) и, если верно, дополняет ее до эквивалентности (А <=> В). Но у нас исходное утверждение уже устанавливает экивалентность.
по моему, тут не хватает два важных шага
11.а обойти машину и постучать по каждому колесу два раза с промежутком в 5 сек
11.б протереть стекло в направлении против часовой стрелки. Затем протереть в направлении по часовой стрелке
"Add one clockwise stir after seven anti-clockwise stirs to obtain the clear colour faster"
J.K. Rowling, Harry Potter and Half-blood Prince.
Обалденно!
Сегодня же попробую отключить пищалку!
Такое ощущение, что ты морзянкой код на ассемблере вводишь...
О, да! Японцы :)
Mitsybishi - 6 лет езжу, до сих пор радуюсь, когда приходится с бубном вокруг машины прыгать.
Похоже, руку пожать не удастся, они же будут заняты ключами и дверями. Я летом программировал гаражную открывалку в бимере. Сумрачный германский гений конечно уступает восточному коварству, но полчаса ушло и потом долго болела шея.