#10. "RE: Доказывали, но не настойчиво." Ответ на Ответ на 2
>Публика действительно неглупая, я надеюсь. > > ..... >Для справки: >В 1931 году австрийский математик Курт Гёдель, специалист >по теории множеств, доказал свою знаменитую теорему о >неполноте формальных систем. Согласно этой теореме, любая >процедура доказательства истинности утверждений средствами >формальной математики обречена на неполноту. Это означает, >что "неопровержимое" математическое обоснование любой >гипотезы не может являться гарантией ее истинности. >Оказывается, одной математики недостаточно для >формулировки каких-либо окончательных выводов – до тех пор >пока факты не подтвердят или не опровергнут >гипотезу. >Кого интересует, тот может изучить этот вопрос >самостоятельно. Это доказанная теория о математике от >математика и признанная математиками.
Вот и изучайте, поскольку Вы смысл теоремы не поняли абсолютно. В контексе данного разговора она совершенно не к месту.
При использовании материалов форума ссылка на источник обязательна.
Участники форума вправе высказывать любую точку зрения, не противоречащую законодательству РФ, этическим нормам и правилам форума.
Администрация форума не несет ответственность за достоверность фактов и обоснованность высказываний.