Был такой прикол в 2013. Два математика (Кристоф Бенцмюллер и Бруно Волтценлогель Паллео) взяли онтологическое доказательство бытия бога Геделя и верифицировали его на компьютере.

Гедель построил формальную систему с аксиомами и вывел существование бога как теорему. Компьютер подтвердил что доказательство корректно в рамках заданных аксиом.

Но фишка в том что можно задать другие аксиомы и вывести противоположное. Это не доказательство существования или несуществования. Это демонстрация того что в формальной логике можно доказать что угодно если правильно подобрать аксиомы.

Невозможно доказать отсутствие чего либо. Это называется бремя доказательства.

Нельзя доказать что единорогов не существует. Можно только констатировать отсутствие доказательств их существования. То же с богом.

Поэтому атеизм в строгом смысле это не утверждение "бога нет", а отсутствие веры в бога из за отсутствия достаточных доказательств.

Парадокс камня это детский сад. Теологи разбирали его еще в средневековье.

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

Если хотите серьезных аргументов, читайте аналитическую философию религии. Плантинга, Суинберн, Маки. Там реальные дискуссии, а не популярные мемы.

Математика вообще не про реальность. Она про абстрактные структуры и отношения между ними.

Можно доказать теорему Пифагора. Нельзя математически доказать существование или несуществование конкретного объекта в реальном мире.

Вопрос "существует ли бог" это вопрос онтологии и эпистемологии, а не математики.

а зачем доказывать отсутствие? пусть верующие доказывают присутствие. бремя доказательства на том кто утверждает существование.

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

Самый честный ответ: мы не знаем и скорее всего никогда не узнаем.

Вопрос существования бога выходит за рамки того что можно проверить эмпирически или доказать формально. Это предмет веры, а не знания.

Агностицизм единственная интеллектуально честная позиция. Атеизм это тоже вера, только с обратным знаком.

Теорема Геделя о неполноте показывает что в любой достаточно мощной формальной системе есть истинные утверждения которые нельзя доказать внутри этой системы.

Если бог существует как трансцендентная сущность вне нашей системы познания, то его существование принципиально недоказуемо и неопровержимо средствами этой системы.

Это не доказательство существования бога. Это доказательство границ нашего познания.

лол какие доказательства, просто посмотри на мир вокруг. войны, болезни, дети с раком. если бог есть то он либо садист либо бессилен. в обоих случаях нафиг он нужен