19 ноября 2013, 00:53

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

В математике существует так называемая Теорема Геделя о неполноте. Попробую в двух словах объяснить ее суть.

Любое утверждение базируется на неких непроверяемых утверждениях, которые берутся за основу, и определенных правилах вывода. Исходя из базовых утверждений и правил вывода выводятся все существующие утверждения (не входящие в список базовых). Теорема говорит о том, что невозможно выбрать такую систему аксиом, из которых можно вывести все непротиворечивые утверждения. Либо список утверждений будет содержать противоречия, либо утверждение, доказывающее непротиворечивость этих утверждений, не выводится из этой системы аксиом.
11 марта 2012, 17:24

неЗнакомец в метро

Когда я еду в метро и стою напротив двери, я всегда вижу Его. Он всегда безмолвен и спокоен. Лишь иногда Он улыбается краешком губ или огоньком бездонных глаз. Находясь «там», Он настолько безмятежен и Велколепен, что волей-неволей я задаюсь к нему вопросом: Кто Ты? Почему исчезаешь, когда мы заезжаем на светлую станцию? Почему вдруг исчезаешь, когда двери навстречу тебе, открываются? И почему потом появляешься вновь и вновь, среди мелькающих проводов в темном тоннеле, будто маня в Свою Пустоту и Безмолвие.
Порой кажется Он издевается надо мной, когда я начинаю приближаться ближе. В это момент я чувствую что начинаю растворяться в Его бесформенном изображении. Но что-то мешает соединиться с Этим не-Реальным не-Знакомцем. Может удерживает мой страх шагнуть навстречу этой Пустоте и Самораствориться в ней, может все-таки мне еще комфортно ехать в этом подЗемном вагоне и не готов еще оказаться Там в Неизведанности, а может это просто есть все Иллюзия?...)