Heathens' corner

Witness · Post by **Witness** » Sat Apr 06, 2019 3:02 am

Formalization, Mechanization and Automation of Gödel's Proof of God's Existence

Christoph Benzmüller, Bruno Woltzenlogel Paleo
(Submitted on 21 Aug 2013 (v1), last revised 3 Sep 2017 (this version, v5))

Gödel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis.

https://arxiv.org/abs/1308.4526?context=cs

Witness · Post by **Witness** » Sat Apr 06, 2019 11:41 pm

Witness · Post by **Witness** » Wed Apr 10, 2019 2:22 am

Anaxagoras · Post by **Anaxagoras** » Fri Apr 12, 2019 3:43 am

Doctor X · Post by **Doctor X** » Fri Apr 12, 2019 5:56 am

Well, you cannot fake Easter.

What?

--J.D.

sparks · Post by **sparks** » Tue Apr 16, 2019 5:06 pm

Well, it's Kentucky after all. Second only to ol' Miss and the Bayou for inbreeding and new, spectacular heights of Teh Dumbth.

Take off and nuke the entire site from orbit. It's the only way to be sure.

We'll try to arrange it so the wind won't bring the fallout over your neck of the woods ed. But no guarantees. You might want to be ready to skeedaddle on a moments notice.

Witness · Post by **Witness** » Thu Apr 18, 2019 1:43 am

sparks · Post by **sparks** » Thu Apr 18, 2019 7:19 pm

Yep, along with diddling kids, paying no taxes and generally fucking up the world with their quaint notions of acceptable birth control, the bullshit artists want to tell us what we can and cannot eat and when.

Get a grip you fucking losers!

Witness · Post by **Witness** » Fri Apr 19, 2019 1:34 am

Abdul Alhazred wrote: ↑Thu Apr 18, 2019 6:53 pm In Detroit, Muskrat are fish ...

Beaver

Catholics once circumvented meatless fasts by claiming the semi-aquatic rodent was a fish.

When the Europeans arrived in North America, two of their primary objectives were to collect as many beaver pelts as possible, and to convert the native population to Catholicism.

The locals liked to eat the beaver meat, which was convenient for the Europeans, who cared only for the skin. The newcomers changed their tune, however, during the Catholic season of Lent. On Fridays throughout this stretch leading up to Easter, the faithful are forbidden from eating meat, specifically land-dwelling animals. To accommodate new converts (and probably meat-loving Europeans), they turned to the beaver.

In the 17th century, the Bishop of Quebec petitioned the Church to make beaver meat permissible during Friday fasts. The logic: Fish were permitted and the semi-aquatic rodent did spend much of its time in the water. The Church, which has a long history of creative cheats around meatless fasts (such as capybaras and muskrats), granted the request.

Beaver still serves as a Lenten meat substitute in some areas, particularly St. Louis, Missouri.

https://www.atlasobscura.com/foods/beav ... lent-cheat

Anaxagoras · Post by **Anaxagoras** » Fri Apr 19, 2019 10:30 pm

So half of adults are still "members", but declining. It could go lower still. Some other countries are even more secular than the US. Such as Japan. Japan seems to have many varieties of Christians though, just not in huge numbers. There's a catholic church not far from my house, although it doesn't much look like one from the outside, and a tiny protestant one. Down near the train station I see Jehovah's Witlesses handing out Japanese language versions of The Watchtower and other literature.

Witness · Post by **Witness** » Sat Apr 20, 2019 12:17 am

Anaxagoras · Post by **Anaxagoras** » Sat Apr 20, 2019 11:54 am

Abdul Alhazred wrote: ↑Fri Apr 19, 2019 11:20 pm What about historically Japanese religion?

They exist. There's temples and shrines.

https://en.wikipedia.org/wiki/Religion_in_Japan

Religion in Japan is dominated by Shinto (the ethnic religion of the Japanese people) and by Buddhism. According to surveys carried out in 2006[1] and 2008,[2] less than 40% of the population of Japan identifies with an organized religion: around 35% are Buddhists, 3% to 4% are members of Shinto sects and derived religions, and from fewer than 1%[3][4][5] to 2.3% are Christians.[note 2]

Most of the Japanese (50% to 80% considering degrees of syncretism with Buddhism, shinbutsu-shūgō[6]) pray and worship ancestors and gods (神, kami, shin or, archaically, jin) at Shinto shrines or at private altars, while not identifying as "Shinto" or "Shintoist" in surveys.[7] This is because these terms have little meaning for the majority of the Japanese,[7] or because they define membership in Shinto organizations or sects.[8][9] The term "religion" (宗教, shūkyō) itself in Japanese culture defines only organized religions (that is, religions with specific doctrines and required membership).[10] People who identify as "non-religious" (無宗教, mushūkyō) in surveys actually mean that they do not belong to any religious organization, even though they may take part in Shinto rituals and worship.[10]

Anyway, back to the heathenism:

Innocent mistake?

sparks · Post by **sparks** » Sat Apr 20, 2019 8:01 pm

Gawd works in mysterious ways (keep tithing you damned fools), and so does His opposite number. Regular price 9.99. On sale now for 6.66.

Batch of gawddamned fucking idiots.

Witness · Post by **Witness** » Sat Apr 20, 2019 8:29 pm

Witness · Post by **Witness** » Sat Apr 27, 2019 2:32 am

The Satanic Temple in Salem is now a tax-exempt church

SALEM, Mass. - The Satanic Temple says it's been designated a tax-exempt church by the Internal Revenue Service.

The Salem, Massachusetts-based organization said Wednesday it recently received notice from the federal agency of its new tax status.

The organization says the designation will help in its legal battles against religious discrimination, allow it to pursue faith-based government grants and guarantee the same access to public spaces as other religious organizations. The IRS didn't comment.

The Satanic Temple says it's a "non-theistic" group and members are not literal devil worshippers.

The group temporarily placed a statue of the goat-headed creature Baphomet at the Arkansas State Capitol last year after a Ten Commandments monument was installed. It also sued Scottsdale, Arizona after members weren't allowed to deliver the opening prayer at a City Council meeting.

https://www.boston25news.com/news/the-s ... /943434601

Anaxagoras · Post by **Anaxagoras** » Sat Apr 27, 2019 12:58 pm

Yeah, but good luck with that. Should, but won't.

Witness · Post by **Witness** » Mon Apr 29, 2019 2:55 am

Witness · Post by **Witness** » Mon Apr 29, 2019 11:53 pm

Witness · Post by **Witness** » Fri May 03, 2019 1:59 am

Conservatives want Catholic bishops to denounce pope as heretic

VATICAN CITY (Reuters) - A group of 19 Catholic priests and academics have urged bishops to denounce Pope Francis as a heretic, in the latest ultra-conservative broadside against the pontiff over a range of topics from communion for the divorced to religious diversity.

The most prominent of the group is Father Aidan Nichols, a 70-year-old British priest of the Dominican order who has written many books and is one of most recognized theologians in the English-speaking world. The others are less well known.

"We take this measure as a last resort to respond to the accumulating harm caused by Pope Francis's words and actions over several years, which have given rise to one of the worst crises in the history of the Catholic Church," they said in a 20-page open letter.

The letter attacks Francis for allegedly softening the Church's stance on a range of subjects. They say he has not been outspoken enough against abortion and has been too welcoming to homosexuals and too accommodating to Protestants and Muslims.

It was published on Tuesday by LifeSiteNews, a conservative Catholic website that often is a platform for attacks on the pope. Last year, it ran a document by the Vatican's former ambassador to Washington, Archbishop Carlo Maria Vigano, calling on the pope to resign.

https://news.yahoo.com/conservatives-wa ... 22663.html

Impeach the Pope!

sparks · Post by **sparks** » Fri May 03, 2019 5:49 am

Apparently, 'worst crises' doesn't include diddling children.

Fucking baby raping creeps! Put all of 'em to the cross and call it a good start.

Witness · Post by **Witness** » Sun May 05, 2019 3:27 pm

Witness · Post by **Witness** » Fri May 17, 2019 11:37 pm

↑ Made me laugh.

Witness · Post by **Witness** » Wed May 22, 2019 2:25 am

Someone Collects Pics Of Preachers Wearing Expensive Designer Items To Show The Other Side Of Church

About 37% of Americans attend the church at least once per week, a recent study has shown. However, would this number decrease if they knew their pastors wore sneakers that are worth thousands of dollars? A 29-year-old man name Tyler has set out to find an answer to this question. Tyler has created an Instagram account called PreachersNSneakers, calling out celebrity church leaders for their expensive footwear, and it has reached over 66K followers in just a few weeks.

https://www.boredpanda.com/church-leade ... nsneakers/ (many pics)

Excerpt: John Gray (whoever that is):

Tyler's Instagram: https://www.instagram.com/preachersnsneakers/

Witness · Post by **Witness** » Sat May 25, 2019 3:37 am

Anaxagoras · Post by **Anaxagoras** » Sun May 26, 2019 12:03 pm

Witness · Post by **Witness** » Sat Jun 01, 2019 3:38 am

Anaxagoras · Post by **Anaxagoras** » Sat Jun 01, 2019 9:36 pm

Jesus was an American? Someone is taking the piss.

Witness · Post by **Witness** » Sun Jun 02, 2019 2:26 am

Anaxagoras · Post by **Anaxagoras** » Tue Jun 11, 2019 11:07 pm

Witness · Post by **Witness** » Wed Jun 19, 2019 3:51 am

Witness · Post by **Witness** » Wed Jun 19, 2019 11:54 pm

Trump spiritual adviser says 'demonic networks' have aligned themselves against president

President Trump's spiritual adviser, Paula White, said in the opening prayer before his campaign kickoff rally in Orlando, Fla., on Tuesday that "demonic networks" have aligned themselves against the president.

"Let every demonic network that has aligned itself against the purpose, against the calling of President Trump, let it be broken, let it be torn down in the name of Jesus," she said to a crowd of Trump's supporters before his rally began Tuesday.

"I declare that President Trump will overcome every strategy from hell and every strategy from the enemy," she added, according to video of her remarks.

"I secure his calling, I secure his purpose, I secure his family, and we secure victory in the name which is above every name ... the name of Jesus Christ," she said ending her prayer.

https://thehill.com/homenews/campaign/4 ... gainst-the

Witness · Post by **Witness** » Thu Jun 20, 2019 12:21 am

Abdul Alhazred wrote: ↑Thu Jun 20, 2019 12:01 am I'm mighty skeptical that Trump ever pays attention to his so-called spiritual adviser.

Just a showpiece for the rubes.

It's not like he ever went in for that sort of stuff before.

Only way to counter the evil witches, you heathen!

Witness · Post by **Witness** » Tue Jun 25, 2019 3:01 am

↑ Somewhere in his autobiography Asimov tells he lost his juvenile faith when he put some "transmuted" bread under a microscope and had to admit it still looked like simple bread.

Science really spoils everything!

Rob Lister · Post by **Rob Lister** » Tue Jun 25, 2019 9:45 am

Witness wrote: ↑Tue Jun 25, 2019 3:01 am ↑ Somewhere in his autobiography Asimov tells he lost his juvenile faith when he put some "transmuted" bread under a microscope and had to admit it still looked like simple bread.

Science really spoils everything!

I think that might be somebody else. I doubt Asimov came across such bread too often.

Witness · Post by **Witness** » Wed Jun 26, 2019 11:41 pm

Oops, you're right. So who was it? Or did he conduct a transfaith experiment?

Witness · Post by **Witness** » Wed Jun 26, 2019 11:47 pm

Witness · Post by **Witness** » Fri Jun 28, 2019 2:05 am

Rob Lister · Post by **Rob Lister** » Fri Jun 28, 2019 9:42 am

Waterboarding Jesus.