А что это за теорема ?
Знаменитая теорема о неполноте формальных систем. Конечный её вывод в беллетризованной форме обычно излагается так: ни одна замкнутая система не может быть объяснена из самой себя.
Ставит ли это предел самопознанию? Смотря что мы под ним подразумеваем.
Есть мнение, что доскональное знание собственной психики не является необходимым условием для практически полного контроля над ней.
Если Вы поищите в инете теорему Гёделя, Вы найдёте их 2. Первая, суть которой выражается проще следующим образом: Достаточно богатая формальная система не может быть (или точней может не быть?) одновременно непротиворечивой и полной - доказана в Гёделем в 1931 г.
For any formal theory in which basic arithmetical facts are provable, it is possible to construct an arithmetical statement which, if the theory is consistent, is true but not provable or refutable in the theory
Про вторую вообще, почему-то, не написано, что она была кем-то когда-то доказана. И текста её в оригинале не могу нигде найти. А в вольном пересказе она говорит о том, что непротиворечивость ( а по другим сведениям полнота) системы не может быть доказана её собственными средствами.
http://scmai.miem.edu.ru/M/TEZ/28.doc[/url]"]На фрегевском пути широко известны теоремы Гёделя 1931 г. о неполноте богатых по выразительным возможностям теорий первого порядка. Из них, в частности, следует, что доказательство непротиворечивости каждой такой теории К должно использовать невыразимые в К идеи или методы. Д. Гильберт, все авторы и исследователи этих теорий уверены в их непротиворечивости. Но её доказательство для многих известных теорий пока не найдено, а для таких, как исчисление FA арифметики Пеано, доказательства весьма громоздки, используют теоретико-множественную индукцию. Теоремы Гёделя и следствие из них полностью обоснованы. Никаких сомнений, казалось, нет.
Однако А.Н. Колмогоров относил себя к сомневающимся в теоремах Гёделя о неполноте. Нет, он не оспаривал результаты Гёделя, относящиеся к конкретным исследуемым теориям, но он не верил в распространение этих теорем без доказательства на все известные теории при любых их построениях. Он так и говорил мне: “А где доказательство?”
Так что, как видите, формулировки, приводимые в интернете - это не т. Гёделя, а следствия полученные непонятно кем и непонятно как, и проинтерпретированные непонятно кем и непонятно как.
И после всего сказанного хочу спросить, каким образом т. Гёделя "С одной стороны, относясь к внутреннему миру человека" и к "познать себя"?
