birdwatcher: (Dore: Ogre)
birdwatcher ([personal profile] birdwatcher) wrote2014-12-23 06:21 pm

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

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

[identity profile] filin.livejournal.com 2014-12-24 12:30 am (UTC)(link)
А-а-а-а-а-а-а!!!

[identity profile] birdwatcher.livejournal.com 2014-12-24 02:12 am (UTC)(link)
Тоже это подумал.

[identity profile] filin.livejournal.com 2014-12-24 02:18 am (UTC)(link)
А вот так сравнишь с какой-нибудь чернокнижной процедурой, где каждый шаг должен быть в нужную сторону и в нужном порядке - и призадумаешься.

[identity profile] birdwatcher.livejournal.com 2014-12-24 02:21 am (UTC)(link)
Any sufficiently advanced technology is indistinguishable from magic (http://en.wikipedia.org/wiki/Clarke%27s_three_laws)

[identity profile] filin.livejournal.com 2014-12-24 02:35 am (UTC)(link)
Верно ли обратное? ;-)

[identity profile] birdwatcher.livejournal.com 2014-12-24 02:40 am (UTC)(link)
Вопрос.

[identity profile] zhenyach.livejournal.com 2014-12-24 07:08 am (UTC)(link)
Any technology distinguishable from magic is insufficiently advanced, конечно.

[identity profile] filin.livejournal.com 2014-12-24 12:39 pm (UTC)(link)
Точно? Я запутался.

А "some magic is indistinguishable from any sufficiently advanced technology" тогда что? :-)

[identity profile] zhenyach.livejournal.com 2014-12-29 04:23 am (UTC)(link)
Формальная логика: (A=>B) => (^B=>^A)

[identity profile] filin.livejournal.com 2014-12-29 11:41 am (UTC)(link)
Я же не про эквивалентное, а про обратное :-) Насколько помню, надо поменять кванторы и записать задом наперед - а для начала записать в кванторах исходное высказывание. Лень :-)

[identity profile] birdwatcher.livejournal.com 2014-12-29 12:45 pm (UTC)(link)
Обратное утверждение выглядит так: "неверно, что любая достаточно продвинутая технология неотличима от магии". Что означает: "существует достаточно продвинутая технология, отличимая от магии".

[identity profile] filin.livejournal.com 2014-12-29 03:24 pm (UTC)(link)
Либо я сошел с ума, либо обратное утверждение и отрицание - разные вещи.

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

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

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

Или я все-таки сошел с ума?

[identity profile] birdwatcher.livejournal.com 2014-12-29 03:38 pm (UTC)(link)
Понял, что вы имеете в виду. Обратное отверждение в вашем смысле определено для импликации (А => В) и, если верно, дополняет ее до эквивалентности (А <=> В). Но у нас исходное утверждение уже устанавливает экивалентность.

[identity profile] stan podolski (from livejournal.com) 2014-12-24 01:51 am (UTC)(link)
по моему, тут не хватает два важных шага
11.а обойти машину и постучать по каждому колесу два раза с промежутком в 5 сек
11.б протереть стекло в направлении против часовой стрелки. Затем протереть в направлении по часовой стрелке

[identity profile] aa-kir.livejournal.com 2014-12-24 05:10 am (UTC)(link)
"Add one clockwise stir after seven anti-clockwise stirs to obtain the clear colour faster"
J.K. Rowling, Harry Potter and Half-blood Prince.

[identity profile] morfizm.livejournal.com 2014-12-24 02:14 am (UTC)(link)
Обалденно!
Сегодня же попробую отключить пищалку!

[identity profile] green-fr.livejournal.com 2014-12-24 10:30 am (UTC)(link)
Такое ощущение, что ты морзянкой код на ассемблере вводишь...

[identity profile] birdwatcher.livejournal.com 2014-12-24 11:39 am (UTC)(link)
Да, это оно

[identity profile] o-bake.livejournal.com 2014-12-24 11:13 am (UTC)(link)
О, да! Японцы :)
Mitsybishi - 6 лет езжу, до сих пор радуюсь, когда приходится с бубном вокруг машины прыгать.

[identity profile] starshoi.livejournal.com 2014-12-24 08:41 pm (UTC)(link)
Похоже, руку пожать не удастся, они же будут заняты ключами и дверями. Я летом программировал гаражную открывалку в бимере. Сумрачный германский гений конечно уступает восточному коварству, но полчаса ушло и потом долго болела шея.