Давид (david_2) wrote,
Давид
david_2

Categories:

Математики не хватает :)

Короче, надо найти ошибку, если есть. Доказывается, что Бога нет, короче. :)

"В качестве в дополнение к предположению, что Бог создал все, что существует, кроме себя, возьмем утверждение, что существует хотя бы один объект созданный Богом (это гарантирует существование бесконечно большого числа объектов -- см. построение ординальных чисел в теории множеств)

Сначала покажем, что какова бы ни было совокупность существующих объектов, существуют два объекта, которые в это множество не входят. Доказательство совпадает с доказательством теоремы теории множеств, которая заключается в том, что каково бы ни было множество, не существует взаимно однозначного отображения множества его подмножеств на исходное множество, а значит во множестве подмножеств есть объекты, которые не содержатся в исходном множестве (а иначе бы мы имели взаимно-однозначное отображение). Причем в бесконечном множестве таких объектов бесконечно много (а иначе бы мы имели взаимно-однозначное отображение).

Далее, рассмотрим совокупность всех объектов, созданных Богом, в силу леммы существуют два неких объекта который в эту совокупность не входит: хотя бы один из этих обхектов не является Богом, а значит противоречит исходному предположению".

Во-первых, применимо ли тут "Доказательство совпадает с доказательством теоремы теории множеств"? Во-вторых, разница между конечными и бесконечными множествами, в плане невозможности взаимно-однозначного соответствия с собственным подмножеством, было там что-то такое скользкое, нет? Это то, что мне вообще в голову пришло, может, вообще не с того конца надо.
Subscribe

  • Эльад Пелед

    Эльад Пелед (Райсфельд) родился в 1927 в Иерусалиме. 1945 - вступил в ПАЛЬМАХ. 1946 - командир отделения. 1947 - командир взвода. Война за…

  • "Дембеля все уважают"

    Главный прапорщик Ицхак Таито по достижении возраста 80 лет уходит в отставку. Он призвался в 1959, и с 1968 до сих пор был дисциплинарным…

  • "Угар нэпа, нет того энтузиазма"

    В прошлом году мы говорили о том, что 646-я резервная десантная бригада в связи с переходом из 252-й дивизии ЮВО в новую "много-театровую" 99-ю…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 13 comments

  • Эльад Пелед

    Эльад Пелед (Райсфельд) родился в 1927 в Иерусалиме. 1945 - вступил в ПАЛЬМАХ. 1946 - командир отделения. 1947 - командир взвода. Война за…

  • "Дембеля все уважают"

    Главный прапорщик Ицхак Таито по достижении возраста 80 лет уходит в отставку. Он призвался в 1959, и с 1968 до сих пор был дисциплинарным…

  • "Угар нэпа, нет того энтузиазма"

    В прошлом году мы говорили о том, что 646-я резервная десантная бригада в связи с переходом из 252-й дивизии ЮВО в новую "много-театровую" 99-ю…