birdwatcher: (Dore: Ogre)
[personal profile] birdwatcher
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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