Главная страница «Первого сентября»Главная страница журнала «Информатика»Содержание №2/2009


В мир информатики
Задачник

Может ли быть, что a = a + 1?

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

Логика — достаточно сложная наука, а человеческий мозг — не компьютер. Ошибиться очень просто, особенно в запутанных логических формулах. Очень часто люди допускают преднамеренные ошибки в своих рассуждениях с целью запутать или ввести в заблуждение собеседника. Такие ошибки называют софизмами (от греч. sophisma — уловка, ухищрение, выдумка, головоломка). В статьях [1–2] был приведен ряд софизмов. Вот еще один:

а = а + 1

“Доказательство”

Возьмем тождество: а2 – (2а + 1) · а = (а + 1)2
– (а + 1)(2а + 1).

откуда а = а + 1, что и требовалось доказать (?).

В чем ошибка?

Литература

1. Заславская О.Ю. Логические парадоксы и софизмы. “В мир информатики” № 20 (“Информатика” № 8/2004).

2. Софизмы. / “В мир информатики” № 54 (“Информатика” № 7/2005).

TopList