Ленивая индукция
May. 17th, 2019 11:03 pmЕсли кто-то просит такого доказательства, чтобы оно непременно было строгим, предложите ему следующее упражнение:
Дано:
Высоченная колокольня;
гора, упасть на которую с колокольни - гарантированное самоубийство;
подушка под горой, упав на которую с колокольни, можно избежать смерти;
гору над подушкой можно отодвинуть обладая верой даже с горчичное зерно*.
Найти:
Минимальное количество попов, которых нужно сбросить с колокольни, чтобы строго доказать или опровергнуть утверждение "попы не имеют веры даже с горчичное зерно".**
*видимо, веру измеряют в горчичных зернах т.к. это атом веры, т.е. неделимая сущность, минимально возможная частичка веры.
** В случае, если вместо ответа начнутся оправдания "вы неправильно понели Иисуса!" и прочее наведение тени на плетень, задачку можно подправить: "Сколько попов требуется сбросить с колокольни, чтобы строго доказать, что попы летать не умеют!" и предъявлять в случаях, когда говорят, что эволюция же не доказана строго! Строго не доказано что бога нет и т.п.
Дано:
Высоченная колокольня;
гора, упасть на которую с колокольни - гарантированное самоубийство;
подушка под горой, упав на которую с колокольни, можно избежать смерти;
гору над подушкой можно отодвинуть обладая верой даже с горчичное зерно*.
Найти:
Минимальное количество попов, которых нужно сбросить с колокольни, чтобы строго доказать или опровергнуть утверждение "попы не имеют веры даже с горчичное зерно".**
*видимо, веру измеряют в горчичных зернах т.к. это атом веры, т.е. неделимая сущность, минимально возможная частичка веры.
** В случае, если вместо ответа начнутся оправдания "вы неправильно понели Иисуса!" и прочее наведение тени на плетень, задачку можно подправить: "Сколько попов требуется сбросить с колокольни, чтобы строго доказать, что попы летать не умеют!" и предъявлять в случаях, когда говорят, что эволюция же не доказана строго! Строго не доказано что бога нет и т.п.