>> Большинство из нас живут с верой не в какого-то описанного в Библии книжного Бога (подавляющее большинство христиан Библию разве что в руках держали). Верят скорее в Бога Интуитивного. Так как каждый сам себе представляет. А это Любовь, это Справедливость, это Надежда... quoted2
>Опять оставьте. Большинство из нас атеисты! quoted1
>Споры между верующими и атеистами исчисляются веками, и я не буду приводить здесь все популярные атеистические доводы пытаясь выставить верующих дураками, я лишь приведу один единственный довод, который мне кажется самым значительным.
> Пытаясь объективно оценить тот, или иной вопрос я всегда в первую очередь ищу мотив, интересы, так вот каковы интересы людей утверждающих, что бог есть? Они очевидны - это справедливость, мораль, умеренность (аскетичность), и еще это, кончено, рабское мышление - бога никто и никогда не видел, доказательств его бытия не существует, но большинство людей верят в него, поскольку у них есть возможность взвалить на всю ответственность на бога. Пытаться уйти от ответственности это в порядке вещей, человечество придумало не мало уловок пытаясь ответственности избежать, религия не единственная такая уловка, но она слишком очевидна - царственная сущность бога отражена чуть ли не во всех мировых религиях! > Бог намного упрощает жизнь человека - он царь, судья и помощник, и именно поэтому я в него никогда не поверю, от него просто разит искусственностью, поскольку он отражает скрытые желания человечества. Существование бога в интересах человечества, а его отсутствие пугающе, именно это дает мне право предположить, что его не существует, легче придумать бога и облегчить себе жизнь, чем быть во всем неуверенным. Религия устраивает всех, атеизм никого, отсюда и вывод религия выдумана. quoted1
Бог существует согласно второй теореме Курта Гёделя "о неполноте" (1932г.). Это математика - точная наука.
> Бог существует согласно второй теореме Курта Гёделя "о неполноте" (1932г.). Это математика - точная наука. quoted1
Вторая теорема Гёделя
В формальной арифметике S можно построить такую формулу, которая в стандартной интерпретации[~ 3] является истинной в том и только в том случае, когда теория S непротиворечива. Для этой формулы справедливо утверждение второй теоремы Гёделя:
Если формальная арифметика S непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость S.
Иными словами, непротиворечивость формальной арифметики не может быть доказана средствами этой теории. Однако, могут существовать доказательства непротиворечивости формальной арифметики, использующие средства, невыразимые в ней.
>> Бог существует согласно второй теореме Курта Гёделя "о неполноте" (1932г.). Это математика - точная наука. > Вторая теорема Гёделя > > В формальной арифметике S можно построить такую формулу, которая в стандартной интерпретации[~ 3] является истинной в том и только в том случае, когда теория S непротиворечива. Для этой формулы справедливо утверждение второй теоремы Гёделя: > Если формальная арифметика S непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость S. > > Иными словами, непротиворечивость формальной арифметики не может быть доказана средствами этой теории. Однако, могут существовать доказательства непротиворечивости формальной арифметики, использующие средства, невыразимые в ней.
-Дети, скажите: "Бога нет!" Все кричат: "Бога нет!" -А теперь сверните кулачки в фиги и поверните их в небо. Все свернули и показали, кроме Вовочки. -Вовочка, почему ты не показал в небо фигу? -Мария Ивановна, если Бога нет, то кому показывать, а если он есть, зачем портить отношения?
Курт Гёдель доказал, что не возможно доказательно отвергнуть Бога, т.к. он находится за пределами той системы, в которой находимся мы.
Арифметика определяется набором действий. Теоремы доказываются с помощью импликации или критериев (импликация в две стороны). Само по себе сложение или умножение не является логической операцией. В арифметике есть только операции с числами. Импликация - вовне.