С древних времен и по сей день люди непрестанно спорят о возможности или невозможности существования Бога-Творца, но что говорит про это наука наук математика? Еще в первой половине 20-ого века гениальный немецкий математик Курт Гёдель доказал две теоремы, которые по сути доказывают принципиальную ограниченность человеческого мышления. Мышление человека Математическая логика - это чистое воплощение того, как работает человеческий интеллект. И Гёдель доказал, что формальная арифметика (как впрочем и любой иной, формальный язык, каким также является наш "обычный", человеческий язык - например, русский) имеет принципиальные границы, за которые невозможно выйти в принципе. Существует всего два типа формальных систем В первом случае - это "неполная" система, система аксиом (изначально заданных понятий) при помощи средств которой можно сделать утверждение, которое средствами этой системы нельзя будет ни доказать, ни опровергнуть ("неполнота"). Во втором типе систем можно вывести утвержде