I'll take up that challenge for just about any proposition you could name! Science yes. But "science," or scientism, no. We've been told for a year to...
The multiverse is a purely speculative idea, as one of its leading proponents Alan Guth admits. Especially eternal inflation, which posits that time n...
LOL There's a famous off-color joke with a very similar punchline, but nevermind. I would use the word "abstract" rather than "remove." The point is t...
Immediately before JFK was assassinated on November 22, 1963, Nellie Connolly, wife of Texas governor John Connolly, sitting in the seat in front of J...
I'm taking this from the end of your post and addressing it first to get it out of the way. As I mentioned, I didn't read any posts in this thread tha...
After a little lighthearted back-and-forth (/s) over on the Israel/Palestine thread it's nice to return here to the things that really matter! I have ...
American liberals signed off on the invasion of Iraq, which killed 1 million Iraqis who had absolutely nothing to do with 9/11. You opposed the invasi...
I've referred you to Turing degree, complexity theory, and proof systems like Agda and Coq. I'm all out of ideas. A good resource for complexity theor...
It's defined in CS, you can Google around. It's a fairly technical subject, nothing I know much about. Of course it's possible to define, the definiti...
I'm not an authority on CS theory. The idea seems to be that we write A < B for sets of natural numbers if A can be decided with an oracle for B. What...
Perhaps Turing degree is what you're looking for. I'm not sure what you mean by quantifiable. Complexity theory puts computational problems into equiv...
In context, your remark served to amplify the OP's confusion rather than correct it. I straightened the situation out. You're welcome. I myself am sin...
That last sentence makes all the difference, especially in the context of @"Shawn" referencing the set of all sets, my telling him that there is no su...
I do not believe there is a set of all sets either in Russell's type theory or in any version of modern type theory. I'd be grateful if you could supp...
What do you mean by the complexity of a proof? I've already suggested that it could be defined as the length of a proof in some formal proof system. W...
What else are civilians for then? Surely a glance at 20th and 21st century war should disabuse one of the notion that civilians are to be protected. W...
This sentence repeats the same misunderstanding. Individual theorems do not have the consistency or completeness attributes, in the same sense that au...
A theorem can neither be consistent nor complete not by virtue of Gödel, but rather by virtue of the fact that the terms consistency and completeness ...
Your OP and subsequent posts are a mishmash of several things and I can't figure out what you're saying. You could be talking about an extension of Tu...
For sake of discussion inviting people to throw rocks at me, I'll toss out a counterargument that I already mentioned a little earlier. There's a lot ...
Quite possibly I didn't. I only read the posts that generated my mentions. I did not read anything else in the thread. And as I believe I admitted, my...
Wait, NOW you believe in ordinals? I'm going to skip responding to your points. Earlier you said numbers were for quantity and I pointed out that ther...
Thanks, you probably know more about the case than most. I probably shouldn't have name-checked Chauvin if I didn't want to get into a back-and-forth ...
If I did, I'd become embroiled in an endless political argument about the case. I have no interest in that. If you don't know, for example, that Floyd...
Not the place to discuss this case, but I see you didn't actually follow the details of the trial. I suggest you do so. And by the way, Chauvin did no...
LOL. First of all, I did actually scroll back to read your last post, and it totally failed to address the question I asked you, which was whether you...
I don't think I understand what you mean by a limit. For example the sequence 1/2, 1/3,, 1/4, 1/5, ... has the limit 0, but a mathematical sequence is...
Yes true. And actually a lot of physics is irreproducible these days, being entirely mathematical and not subject to any experimental verification at ...
I'm unmoved by your argument. I can't respond at all. I don't think you've said anything meaningful here. You can't count the harpooneers on the Pequo...
I don't impugn characters. They're rational people responding to incentives. You're a young postdoc. You've busted your butt for years to get your Ph....
Charlie got railroaded by a country hysterical about the crimes of his followers. Not unlike Derek Chauvin. When the mob bays for blood they usually g...
That's silly. I can count the captains of the starship Enterprise even though they're imaginary. https://screenrant.com/star-trek-movies-shows-enterpr...
Yes, in fact it was Turing who made the observation that numbers such as 1/3 and pi are computable; that is, their digits can be cranked out by a comp...
If Sabine says it, I believe it. Of course the original spooky action at a distance was Newtonian gravity. When Newton explained the observed motions ...
Of course there is, it's the grade school division algorithm. Perhaps they no longer teach this. If you divide 3 into 1 using the procedure they used ...
Also see the replication crisis, in which it turns out that nobody can replicate most of the so-called studies that come out. Or as the longshoreman p...
Comments