[I][COLOR=darkblue]Чистая математика - это такой предмет, где мы не знаем,
о чем мы говорим, и не знаем, истинно ли то, что мы говорим.
Б.Рассел.[/COLOR][/I]
[COLOR=brown]Как то раз французский математик, один из величайших учёных XX века, Андре Вейль (6 мая 1906, Париж — 6 августа 1998, Принстон) заявил:
«Бог существует потому, что математика непротиворечива, а дьявол существует потому, что мы не можем доказать это».
За этими словами лежит глубочайшая проблема - проблема ограниченности пределов познания как такового, познания умом, поскольку любой вывод всегда ограничен по определению, что строго доказано и показано.
Пример невозможности точного умозаключения можно проиллюстрировать приписываемым Евбулиду из Милета «парадоксом (апорией) лжеца», в котором человек произносит «Я лгу» или «То что я сейчас говорю, является ложью».
Если предположить, что этот человек сказал правду, то из смысла фразы получается, что он солгал. Если он солгал, то из того, что фраза ложна, получаем, что он сказал правду. Любое предположение об истинности данного утверждения неизменно приводит к противоречию.
Утверждение, составляющее парадокс лжеца в формальной логике не доказуемо и не опровержимо. [/COLOR]