Ниже приведена формулировка теоремы Гёделя о неполноте, из которых следует, что доказать непротеворечивость логики в рамках самой логики невозможно. То есть все-таки ВЕРИМ!!!! Теорема была доказана Куртом Гёделем в 1931 году. Вторая теорема Гёделя о неполноте Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула, утверждающая непротиворечивость этой...
100% он не был христианином. Однако здесь некоторые авторы утверждали что Эйнштейн ВООБЩЕ не верил в Бога. Цитаты "за": «Знать, что на свете есть вещи непостижимые, но которые тем не менее познаются нами и скрывают в себе высшую мудрость и высшую красоту, вот, что, по-моему, означает верить в бога». Эйнштейн. Цитируется по Википедии. Например, он писал: "Я не могу найти выражения лучше, чем "религиозная" для характеристики веры в...