This is the #Lean 4 #proof of the nonexistence of #God, based on "§2.4 Modeling English Propositions" p.37 of "A Logical Approach to Discrete Mathematics" by Gries and Schneider (1993):

• If God were able and willing to prevent evil, He would do so:
Able ∧ Willing → Prevents
• If God were unable to prevent evil, He would be impotent:
¬Able → Impotent
• If God were unwilling to prevent evil, He would be malevolent:
¬Willing → Malevolent
• God does not prevent evil:
¬Prevents
• If God exists, He is neither impotent nor malevolent:
GodExists → ¬Impotent ∧ ¬Malevolent
• Therefore, God does not exist:
¬GodExists

Shed no tears for me, were I to end up in #Hell. That my code type checks in Lean 4 at all is a little bit of #Heaven for me.

#DependentTypes #ProofAssistants

https://shorturl.at/wbp1V

This is the #Lean 4 #proof of the nonexistence of #God, based on "§2.4 Modeling English Propositions" p.37 of "A Logical Approach to Discrete Mathematics" by Gries and Schneider (1993):

• If God were able and willing to prevent evil, He would do so:
Able ∧ Willing → Prevents
• If God were unable to prevent evil, He would be impotent:
¬Able → Impotent
• If God were unwilling to prevent evil, He would be malevolent:
¬Willing → Malevolent
• God does not prevent evil:
¬Prevents
• If God exists, He is neither impotent nor malevolent:
GodExists → ¬Impotent ∧ ¬Malevolent
• Therefore, God does not exist:
¬GodExists

Shed no tears for me, were I to end up in #Hell. That my code type checks in Lean 4 at all is a little bit of #Heaven for me.

#DependentTypes #ProofAssistants

https://shorturl.at/wbp1V

I'll tell you what you did with Atheists for about 1500 years. You outlawed them from the universities or any teaching careers, besmirched their reputations, banned or burned their books or their writings of any kind, drove them into exile, humiliated them, seized their properties, arrested them for blasphemy. You dehumanised them with beatings and exquisite torture, gouged out their eyes, slit their tongues, stretched, crushed, or broke their limbs, tore off their breasts if they were women, crushed their scrotums if they were men, imprisoned them, stabbed them, disembowelled them, hanged them, burnt them alive.

And you have nerve enough to complain to me that I laugh at you.
― Dr Madalyn Murray O'Hair

______________________
#atheism #faith #god

I'll tell you what you did with Atheists for about 1500 years. You outlawed them from the universities or any teaching careers, besmirched their reputations, banned or burned their books or their writings of any kind, drove them into exile, humiliated them, seized their properties, arrested them for blasphemy. You dehumanised them with beatings and exquisite torture, gouged out their eyes, slit their tongues, stretched, crushed, or broke their limbs, tore off their breasts if they were women, crushed their scrotums if they were men, imprisoned them, stabbed them, disembowelled them, hanged them, burnt them alive.

And you have nerve enough to complain to me that I laugh at you.
― Dr Madalyn Murray O'Hair

______________________
#atheism #faith #god

Theists:
Gods were invented to advance the agendas of their inventors.

______________________
#atheism #faith #god

Theists:
Gods were invented to advance the agendas of their inventors.

______________________
#atheism #faith #god

Many #religions now come before us with ingratiating smirks and outspread hands, like an unctuous merchant in a bazaar. They offer consolation and solidarity and uplift, competing as they do in a marketplace. But we have a right to remember how barbarically they behaved when they were strong and were making an offer that people could not refuse.
―Christopher Hitchens

______________________
#atheism #faith #god

Many #religions now come before us with ingratiating smirks and outspread hands, like an unctuous merchant in a bazaar. They offer consolation and solidarity and uplift, competing as they do in a marketplace. But we have a right to remember how barbarically they behaved when they were strong and were making an offer that people could not refuse.
―Christopher Hitchens

______________________
#atheism #faith #god

Live a good life. If there are gods and they are just, then they will not care how devout you have been, but will welcome you based on the virtues you have lived by. If there are gods, but unjust, then you should not want to worship them. If there are no gods, then you will be gone, but will have lived a noble life that will live on in the memories of your loved ones.
—Marcus Aurelius

______________________
#atheism #faith #god

Live a good life. If there are gods and they are just, then they will not care how devout you have been, but will welcome you based on the virtues you have lived by. If there are gods, but unjust, then you should not want to worship them. If there are no gods, then you will be gone, but will have lived a noble life that will live on in the memories of your loved ones.
—Marcus Aurelius

______________________
#atheism #faith #god

Christians:
The #Lord is not my shepherd.
I am not a sheep.
Sheep get fleeced or screwed by the shepherd, or eaten by wolves.

______________________
#atheism #faith #god

Christians:
The #Lord is not my shepherd.
I am not a sheep.
Sheep get fleeced or screwed by the shepherd, or eaten by wolves.

______________________
#atheism #faith #god

Theists:
What happens when two equally faithful people #pray for opposing results? What’s a god to do?

______________________
#atheism #faith #god

Happy Þūnresdæg (Thor’s Day), everyone!

______________________
#atheism #faith #god

Happy Þūnresdæg (Thor’s Day), everyone!

______________________
#atheism #faith #god

Basado en un meme que vi por ahí de autor desconocido.

Based on a unknow author meme.

#ra #egiptiangod #god #egypt #egipto #diosegipcio #bird #pajaro #cartoon #caricatura #mastoart

Basado en un meme que vi por ahí de autor desconocido.

Based on a unknow author meme.

#ra #egiptiangod #god #egypt #egipto #diosegipcio #bird #pajaro #cartoon #caricatura #mastoart

Seen elsewhere as an unattributed screenshot with no alt-text, and transcribed:

And God created Cat

• On the first day of creation, #God created the #cat.
• On the second day, God created man to serve the cat.
• On the third day, God created tuna, mice, and all the animals of the earth to serve as potential food for the cat.
• On the fourth day, God created honest toil so that man could labor for the good of the cat.
• On the fifth day, God created the ball of yarn, the feather thingie on a string, and the catnip mouse so that the cat might or might not be amused.
• On the sixth day, God created veterinary science to keep the cat healthy and the man broke.
• On the seventh day, God tried to rest, but the cat woke him up at 5 AM.

Seen elsewhere as an unattributed screenshot with no alt-text, and transcribed:

And God created Cat

• On the first day of creation, #God created the #cat.
• On the second day, God created man to serve the cat.
• On the third day, God created tuna, mice, and all the animals of the earth to serve as potential food for the cat.
• On the fourth day, God created honest toil so that man could labor for the good of the cat.
• On the fifth day, God created the ball of yarn, the feather thingie on a string, and the catnip mouse so that the cat might or might not be amused.
• On the sixth day, God created veterinary science to keep the cat healthy and the man broke.
• On the seventh day, God tried to rest, but the cat woke him up at 5 AM.

“Beyond our zealous faith, the other Great American preoccupation—the one we're most famous for, the one that makes our streets proverbially paved with gold unless proverbially paved with strip malls—is money.

It would be a great mistake to think that money and faith live in separate realms. Faith can be the biggest cash cow of them all.”

~ Ibid., p. 33

#Trump #CharlieKirk #FreeSpeech #evangelicals #WhiteChristianNationalism #capitalism #money #God
/11