Теорема Геделя о неполноценности наталкивают на мысли о реальном существовании бога. И тем более натянутые исламоверами утверждения о математической точности Корана в таком случае и вправду кажутся верными. Что вы думаете?Конечно зависит от первоисточников ибо на заборе тоже много написано, но ваши мнения , Аноны, интересно узнать!Короткое введение для вхождения в обсуждение:https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8F_%D0%BE_%D0%BD%D0%B5%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B5http://www.gorodtaraz.kz/forum/index.php?showtopic=575
О неполноте. Сам ты неполноценный.
>>338473 (OP)Веруны, пожалуйста, отъебитесь от этой теоремы Гёделя. Чего вы так к ней прицепились? Теорема Левенгейма-Сколема и то интереснее.
>>338480>утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной сигнатуры имеет счётную элементарную подмодельЧо.Ты это понимаешь?
>>338481>Если формальная система S непротиворечива, то формула A невыводима в S; если система S ω-непротиворечива, то формула ¬A невыводима в S. Таким образом, если система S ω-непротиворечива, то она неполна и A служит примером неразрешимой формулы.Хуясе. То есть вот это ты понимаешь???
>>338473 (OP)Кек.Гуманитарный мусор услышал о ТИАРЕМА КАРОЧ НИПАЛНАТА ВООТ. Просвещайся:https://en.wikipedia.org/wiki/G%C3%B6del's_ontological_proof
>>338481Разумеется. Ведь я читал учебники логики.
>>338493У меня был курс дискретной математики, курс теории алгоритмов - всё равно не понимаю.
>>338483ну тут в стиле человека, который всегда врёт.
>>338496Кейслер, "Теория моделей". За вечер можно прочитать.
>>338473 (OP)>Теорема Геделя о неполноценности наталкивают на мысли о реальном существовании богаНет.Вторая ссылка никак с ней не связана, там стандартнейшая бездарная демагогия.
>>338501двачую этого господина
>>338501>Вторая ссылка никак с ней не связанаЭто твоё личное мнение. Ты слышал доказательство бытия божего Ойлёром? После которого Вольтер роняя кал бежал до самого Парижу?
>>338579a+bn/n=x?
>>338579>Это твоё личное мнение.И ты можешь его опровергнуть, показав, где именно она упомянуто, и насколько обоснованно и грамотно это сделано. >Ты слышал доказательство бытия божего Ойлёром?Нет, но и его ты можешь привести. Не думаю, что опровергнуть его займет у меня времени больше, чем ушло на Аквинского.
>>338637*упомянута
Ойлер?>>338579скиньте ка аноны труды по просвещению от ученых.Хочувтему войти
>>338473 (OP)>Теорема Геделя о неполноценности наталкивают на мысли о реальном существовании бога.Каким образом наталкивает? Поясни.
