Цитата:
|
Сообщение от pavlo77
наука...что доказывать кому то что то про нее -
|
Самая, пожалуй строгая наука - математическая логика. И то в ней есть такое забавное положение (Теорема Гёделя о неполноте, извините за излишний профессионализм, но эта теорема похоронила надежды математиков на полную строгую формализацию её основ): если формальная система логической арифметики (определений объектов рассмотрения, совокупности аксиом и простейших правил действий с ними) непротиворечива, то в ней найдется формально неразрешимое высказывание. Т.е. утверждение, которое нельзя ни доказать, ни опровергнуть. Эта теорема показала неосуществимость многих надежд (в том числе выдающегося математика Гильберта) и мне кажется самой удивительной в математике.