Heathens' corner
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
https://arxiv.org/abs/1308.4526?context=csFormalization, 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.

-
- Posts: 28889
- Joined: Wed Mar 19, 2008 5:45 am
- Location: Yokohama/Tokyo, Japan
Re: Heathens' corner

A fool thinks himself to be wise, but a wise man knows himself to be a fool.
William Shakespeare
William Shakespeare
-
- Posts: 73464
- Joined: Fri Jun 04, 2004 8:09 pm
- Title: Collective Messiah
- Location: Your Mom
Re: Heathens' corner
Well, you cannot fake Easter.
What?
--J.D.
What?
--J.D.
Mob of the Mean: Free beanie, cattle-prod and Charley Fan Club!
"Doctor X is just treating you the way he treats everyone--as subhuman crap too dumb to breathe in after you breathe out." – Don
DocX: FTW. – sparks
"Doctor X wins again." – Pyrrho
"Never sorry to make a racist Fucktard cry." – His Humble MagNIfIcence
"It was the criticisms of Doc X, actually, that let me see more clearly how far the hypocrisy had gone." – clarsct
"I'd leave it up to Doctor X who has been a benevolent tyrant so far." – Grammatron
"Indeed you are a river to your people.
Shit. That's going to end up in your sig." – Pyrrho
"Try a twelve step program and accept Doctor X as your High Power." – asthmatic camel
"just like Doc X said." – gnome
WS CHAMPIONS X4!!!!
NBA CHAMPIONS!! Stanley Cup!
SB CHAMPIONS X6!!!!!! 
"Doctor X is just treating you the way he treats everyone--as subhuman crap too dumb to breathe in after you breathe out." – Don
DocX: FTW. – sparks
"Doctor X wins again." – Pyrrho
"Never sorry to make a racist Fucktard cry." – His Humble MagNIfIcence
"It was the criticisms of Doc X, actually, that let me see more clearly how far the hypocrisy had gone." – clarsct
"I'd leave it up to Doctor X who has been a benevolent tyrant so far." – Grammatron
"Indeed you are a river to your people.
Shit. That's going to end up in your sig." – Pyrrho
"Try a twelve step program and accept Doctor X as your High Power." – asthmatic camel
"just like Doc X said." – gnome




-
- Posts: 17022
- Joined: Fri Oct 26, 2007 4:13 pm
- Location: Friar McWallclocks Bar -- Where time stands still while you lean over!
Re: Heathens' corner
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.
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.
You can lead them to knowledge, but you can't make them think.
-
- Posts: 17022
- Joined: Fri Oct 26, 2007 4:13 pm
- Location: Friar McWallclocks Bar -- Where time stands still while you lean over!
Re: Heathens' corner
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!
Get a grip you fucking losers!
You can lead them to knowledge, but you can't make them think.
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
https://www.atlasobscura.com/foods/beav ... lent-cheatBeaver
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.
-
- Posts: 28889
- Joined: Wed Mar 19, 2008 5:45 am
- Location: Yokohama/Tokyo, Japan
Re: Heathens' corner
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.
A fool thinks himself to be wise, but a wise man knows himself to be a fool.
William Shakespeare
William Shakespeare
-
- Posts: 28889
- Joined: Wed Mar 19, 2008 5:45 am
- Location: Yokohama/Tokyo, Japan
Re: Heathens' corner
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?

A fool thinks himself to be wise, but a wise man knows himself to be a fool.
William Shakespeare
William Shakespeare
-
- Posts: 17022
- Joined: Fri Oct 26, 2007 4:13 pm
- Location: Friar McWallclocks Bar -- Where time stands still while you lean over!
Re: Heathens' corner
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.
Batch of gawddamned fucking idiots.
You can lead them to knowledge, but you can't make them think.
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
https://www.boston25news.com/news/the-s ... /943434601The 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.

-
- Posts: 28889
- Joined: Wed Mar 19, 2008 5:45 am
- Location: Yokohama/Tokyo, Japan
Re: Heathens' corner
Yeah, but good luck with that. Should, but won't.
A fool thinks himself to be wise, but a wise man knows himself to be a fool.
William Shakespeare
William Shakespeare
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
https://news.yahoo.com/conservatives-wa ... 22663.htmlConservatives 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.
Impeach the Pope!

-
- Posts: 17022
- Joined: Fri Oct 26, 2007 4:13 pm
- Location: Friar McWallclocks Bar -- Where time stands still while you lean over!
Re: Heathens' corner
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.
Fucking baby raping creeps! Put all of 'em to the cross and call it a good start.
You can lead them to knowledge, but you can't make them think.
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
https://www.boredpanda.com/church-leade ... nsneakers/ (many pics)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.
Excerpt: John Gray (whoever that is):

Tyler's Instagram: https://www.instagram.com/preachersnsneakers/
-
- Posts: 28889
- Joined: Wed Mar 19, 2008 5:45 am
- Location: Yokohama/Tokyo, Japan
Re: Heathens' corner

A fool thinks himself to be wise, but a wise man knows himself to be a fool.
William Shakespeare
William Shakespeare
-
- Posts: 28889
- Joined: Wed Mar 19, 2008 5:45 am
- Location: Yokohama/Tokyo, Japan
Re: Heathens' corner
Jesus was an American? Someone is taking the piss.
A fool thinks himself to be wise, but a wise man knows himself to be a fool.
William Shakespeare
William Shakespeare
-
- Posts: 28889
- Joined: Wed Mar 19, 2008 5:45 am
- Location: Yokohama/Tokyo, Japan
Re: Heathens' corner

A fool thinks himself to be wise, but a wise man knows himself to be a fool.
William Shakespeare
William Shakespeare
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
https://thehill.com/homenews/campaign/4 ... gainst-theTrump 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.
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
Only way to counter the evil witches, you heathen!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.

-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
Re: Heathens' corner
↑ 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!
Science really spoils everything!

-
- Posts: 23317
- Joined: Sun Jul 18, 2004 7:15 pm
- Title: Incipient toppler
- Location: Swimming in Lake Ed
Re: Heathens' corner
I think that might be somebody else. I doubt Asimov came across such bread too often.
-
- Posts: 32996
- Joined: Thu Sep 19, 2013 5:50 pm
-
- Posts: 23317
- Joined: Sun Jul 18, 2004 7:15 pm
- Title: Incipient toppler
- Location: Swimming in Lake Ed