Теорема Гёделя о неполноте аксиоматики в популярном изложении

26 августа 2014, 09:01
GT788
[Удален]
0
337

А вот коротенький рассказ всего на несколько минут о том чего такое доказал Гёдель в своей теореме о неполноте любой аксиоматики и что из неё следует в практическом смысле.

 

Если совсем кратко, то некий австриец Гёдель в тридцатых годах прошлого века доказал строгим математическим образом что любая теория неполна и вынуждена опираться на недоказуемые предположения. Доказано строго и давно признано всей академической математической.

В простонародном смысле это означает что любая без исключения научная теория вынуждено опирается на веру в истинность тех или иных аксиом которые доказать невозможно.

Так если очертить кругом всё о чём говорит например геометрия, то все необходимые постулаты из которых происходит всё что утверждает геометрия будут находиться за пределами очерченного круга. Если суметь расширить этот круг, доказав часть изначально принятых на веру базовых аксиом, то это лишь расширит круг и добавит ещё понятий которые опять оказываются вне круга.

Рассказчик проводит аналогию дальше. Он утверждает что если очертить в круг все базовые понятия определяющие всю нашу Вселенную, то в круге окажутся такие понятия как масса, энергия, пространство, время. А вот то чем эти понятия сами по себе определены вынуждено оказываются за пределами круга. То есть то чем возможно определить время, пространство, энергию и массу есть не время, не масса, не пространство и не энергия. Это нечто другое, внешнее по отношению к этим понятиям.

Так что наука никогда не уходила так уж далеко от слепой веры. Вопрос лишь в том во что каждый предпочитает верить и насколько это что-то соответствует наблюдаемой им реальности. 

Поделитесь с друзьями: