Великая теорема Ферма, как и догадка Гольдбаха — это предположение относительно чисел, исключение из которого никто не нашел.
Для математиков ее доказательство было святым Граалем с 1637 года, когда Пьер Ферма написал на полях сочинения Диофанта: «Я нашел этому поистине чудесное доказательство,
но поля книги слишком узки для него.»
Ее, наконец, доказал английский математик Эндрю Уайлс в 1995.
До того математики считали ее предположением.
Принимая во внимание всю сложность доказательства Уайлса, и использование продвинутых методов и знаний математики двадцатого века, многие математики думают, что Ферма (искренне) ошибался, когда написал, что смог доказать ее.
Я рассказываю историю только, чтобы проиллюстрировать различие между гипотезой и теоремой.
Как я уже говорил, я собираюсь заимствовать термин математиков «теорема», но я произношу «теорума», чтобы отличить его от математической теоремы.
Научные теоремы, такие, как эволюция или гелиоцентризм, являются теориями, которые соответствуют в Оксфордском словаре «Смыслу 1».
Научная теорума не была — не может быть — доказана в том смысле, в котором доказывается математическая теорема.
Но здравый смысл воспринимает это как факт, в том же смысле, как «Теория» что Земля круглая, а не плоская, является фактом, и теория, что зеленые растения получают энергию от солнца является фактом.
Все научные теорумы: подтверждаются огромными количествами доказательств, принимаемыми всеми информированными наблюдателями, бесспорными фактами в обычном смысле этого слова.
Как со всеми фактами, если мы собираемся быть педантичными, бесспорно возможно, что наши измерительные приборы и органы восприятия, которыми мы считываем с них, являются жертвами массового обмана.
Как сказал Бертран Рассел: «Мы, возможно, все появились пять минут назад, обеспеченные готовыми воспоминаниями, с дырами в наших носках и волосами, которые нуждаются в стрижке».
При доступных сейчас свидетельствах, чтобы эволюция не была фактом, потребовалось бы от Творца такое мошенничество, в какое немногие теисты захотели бы поверить.
Пришло время исследовать словарное определение «факт».
Вот то, что говорит Оксфордский словарь (опять же существует несколько определений, но это — соответствующее):
Заметьте, что, как и у теоремы, у факта в этом смысле нет того строгого статуса доказанной математической теоремы, которая неизбежно следует из ряда принятых аксиом.
Кроме того «фактическое наблюдение или заслуживающее доверия свидетельство» могут быть ужасно склонными ошибаться, и переоценены в судах, действующих по нормам общего права.
Психологические эксперименты дали нам некоторые ошеломляющие демонстрации, которые должны беспокоить любого юриста, склонного придавать больший вес свидетельствам «очевидцев».