19 ноября 2013, 00:53
Теорема Геделя о неполноте. К вопросу о невозможности логического постижения.
В математике существует так называемая Теорема Геделя о неполноте. Попробую в двух словах объяснить ее суть.
Любое утверждение базируется на неких непроверяемых утверждениях, которые берутся за основу, и определенных правилах вывода. Исходя из базовых утверждений и правил вывода выводятся все существующие утверждения (не входящие в список базовых). Теорема говорит о том, что невозможно выбрать такую систему аксиом, из которых можно вывести все непротиворечивые утверждения. Либо список утверждений будет содержать противоречия, либо утверждение, доказывающее непротиворечивость этих утверждений, не выводится из этой системы аксиом.
Любое утверждение базируется на неких непроверяемых утверждениях, которые берутся за основу, и определенных правилах вывода. Исходя из базовых утверждений и правил вывода выводятся все существующие утверждения (не входящие в список базовых). Теорема говорит о том, что невозможно выбрать такую систему аксиом, из которых можно вывести все непротиворечивые утверждения. Либо список утверждений будет содержать противоречия, либо утверждение, доказывающее непротиворечивость этих утверждений, не выводится из этой системы аксиом.