This is really just the constructive/classical argument but I want to be specific.
You just named a function and specified a property you want it to have. However no function with this property meaningfully exists. We can manipulate the symbol just fine, but we can never look inside it because it’s not real. Classical mathematics was developed before computation was relevant and the question of decidability arose fairly late, it makes more sense to consider it an early attempt at what is now called intuitionistic mathematics. The halting problem disproved excluded middle.
This document plays at least two shell games, declaring that “homosexuality” as its own concept is recent (within 200 years) but then smoothly omitting this when discussing scripture, instead of analyzing scripture and then inserting the modern concept. No wonder it doesn’t find any condemnation of a concept it excluded from consideration!
It then does a similar trick where the authors of the New Testament are acknowledged to have poor Greek in many cases but then using specific word choice to claim they meant an extremely forced reading, relying on the previous trick a bit too.
There’s even a discussion of how nitpicking word choice is bad practice earlier in the same document!
In theory yes but very few patterns can be made like this and the cost of such machines is not favorable. Often a linking machine or a cut and sew stage is needed and this is far more hand powered than anything else.
There's also Frama-C, but having used both Frama-C and SPARK I can say I'd pick SPARK any day. Having a rich type system and not having to work with pointers makes proving a program so much easier.
Papal infallibility is not invoked that often. Here’s an example, in section 4 (wherefore…) [0]
In particular papal infallibility was not involved in the Protestants’ complaints, and the response to their complaints (Trent) was a council and again has nothing to do with papal infallibility.
The pope was also an absolute monarch at the time, but protestants didn’t care about that aspect.
I must confess that my knowledge of christian history from 300AD to 1800AD is what you can get from a few paragraphs in middle school social studies.
I was trying to allude to the indulgences with my "bullshit" but I failed.
I tend to focus more on the great awakenings and all the horrible things they led to in how they influenced America.
I thought Protestants were also at some point very against the way the Catholic faith focused on "here's what god meant" rather than letting people interpret the bible themselves? Papal infallibility is just a part of that.
This is just a polite fiction and no one is ever punished for giving illegal orders or for following them. Bloody Sunday resulted in absolutely no consequences for 1 Para. Tiger Force had illegal orders as their priority, were investigated and found guilty, and then absolutely nothing happened. The My Lai massacre resulted in a slap on the wrist for one guy.
You're wrong. There are some high profile cases where the system breaks down, but there are thousands times more situations that you've never heard about because everything gets done by the book and it never becomes a public outrage.
Ah you see, it's all about how much your opponent values the marbles. Marbles might be pretty dead, but there have been a hundred other trading games, with more or less the same conceit of some contest for acquisition of the opponents item. Marbles didn't have strong enough marketing (by who, the British Marbles Board?) to beat out the more modern crazes that laser-focused on kid's psyches. I don't know when they started doing that, but at least by the 90s which were rife with branded crazes that absolutely short-circuited young brains, and it's continued to now.
I remember football stickers bring banned on day 1 of term, having blown up over summer because someone stole a huge stack from a locker. Presumably the 90s ish was when the Made in Taiwan plastic crap availability really started to make that stuff cheap and fast enough to churn out in huge volumes to start a craze in weeks. Compared to marbles where a collection might represent years of growth, overall marble-econony production being trickled in by kids buying or being gifted just a handful at a time.
Marbles is played sitting in the dirt around a circle. There are no runs involved, and nothing is elaborate. The objective is to take your opponent's mables, permanently, by knocking them out of the circle. Using steel balls to play would be completely pointless and it would ruin the entire game. I want to take your cool looking hazel cat's eye, not a random steel ball that looks just like all the other steel balls.
The actual games played with marbles is pretty varied. The local one that we had would have you put a marble a bit in front of your ankles, with your heels making a 90 degree angle. Then the other player would shoot at it from some distance away.
That variant was also a gambling type where you could win or lose. The shooting marble was often a metal ball, but the ones you wagered were the nice ones that everyone was after.
He was “just following orders”, which has been an airtight defense for the members of Tiger Force. If they’re going to be rounded up along with all the other Americans known to be guilty of war crimes, fine prosecute nazi soldiers. But if not their immunity should be equally as strong.
You just named a function and specified a property you want it to have. However no function with this property meaningfully exists. We can manipulate the symbol just fine, but we can never look inside it because it’s not real. Classical mathematics was developed before computation was relevant and the question of decidability arose fairly late, it makes more sense to consider it an early attempt at what is now called intuitionistic mathematics. The halting problem disproved excluded middle.