> They are practically obsessed with Bayesian reasoning and probability of truth.
Which is still math, not the real world. Bayesian reasoning is useful, but it's not a drop-in replacement for your brain. "Rationalists" often seem to talk as though they think it is--just follow this recipe and your thinking will automatically give the right answer. And anyone who tries to talk about limitations of this is obviously a crackpot.
> Is your impression otherwise?
Not with respect to obsession with Bayesian reasoning, no. But I seem to have a different take on that than you do. See above.
> We can evaluate if it is true that smoking increases lung cancer, or that aspirin increases autism.
We can use real-world data to see if there are correlations. We can sometimes run controlled studies to get a better understanding of causal mechanisms. But we can't prove by logical argument based on "fundamental axioms of reasoning" that these things are "true".
Perhaps not, but I have found his popular books like The Selfish Gene and The Ancestor's Tale very informative.
Unfortunately, when he ventures outside the domain of his professional expertise, he doesn't do as well. For example, in The God Delusion, which is basically a book-length diatribe against orthodox religious belief, he comes out at one point with this:
Let me sum up Einsteinian religion in one more quotation from Einstein himself: “To sense that behind anything that can be experienced there is a something that our mind cannot grasp and whose beauty and sublimity reaches us only indirectly and as a feeble reflection, this is religiousness. In this sense I am religious.”
If we grant for the sake of argument that typical orthodox religious cant is BS, this is just as much BS. The phrase "let him who is without sin cast the first stone" comes to mind.
> The entire point of the exercise is to establish that certain things are true
And any domain where you can do that is not the real world. The real world is messy and you can't prove things the way you can in nice, tidy, theoretical domains like math. And the kind of logic where you have fundamental axioms of reasoning and you can prove theorems is just a subset of math. In the real world, things don't exactly satisfy the axioms, and boundaries are fuzzy, not sharp. Trying to pretend otherwise, while it might not strictly be "dogma" in the usual religious sense, is just as counterproductive.
> n any system of mathematics with enough complexity to be interesting, there are statements that cannot be proven true or false.
Note that the article itself is not as careful as you are here about correctly stating what Godel's Incompleteness Theorem actually says. The article states it this way: "any set of rules powerful enough to handle basic arithmetic will contain true statements it cannot prove". But that's wrong, because, when you take into account Godel's Completeness Theorem, you realize that, for any formal system complex enough for the proof of Godel's Incompleteness Theorem to go through, there must be a semantic model of that system in which the Godel sentence for that system is false! The article's misstatement is unfortunately very common, but it's still a misstatement.
Lewis Black once said that swearing has a point--it is how we express a sufficient level of rage and anger against something extremely dysfunctional. What should we say, he asked: Oh, pussyfeathers?
I'm no fan of the government trying to regulate such things, but I won't shed any tears if infinite scroll is forced to go away. It's one of the things I hate the most about the so-called "modern" web.
"Earth is moving beyond the range within which modern human civilisation developed."
Way, way, way, way overstated. The graph shows a comparison to an average over a few decades. Human civilization is thousands of years old. Does anyone have a graph of what all the El Ninos since the last Ice Age ended have looked like? Of course not. Nobody has that kind of temperature data.
> I thought neutron stars generally had a shell or crust of iron, which generates a magnetic field (as metals do) if the neutron star is spinning.
They do, but the neutrons themselves also have magnetic properties. (The simplest heuristic way to think of it is that neutrons are made of three quarks, and the magnetic moment is due to the quarks moving around inside the neutron. But that's a highly heuristic picture and leaves out a lot of complications.)
I'm not so sure. The concept of 24 hours in a day originates in civil timekeeping, yes, but not minutes and seconds. Those originally came from astronomy, and corresponded to angles, not times, and those angles are constants; they don't change as the Earth's rotation slows down or as its speed in orbit around the Sun changes over the course of a year. I don't think people's intuitive concept of minutes and seconds is that they vary according to the time of year or the tidal effects on the Earth.
> The intuitive meaning is that a day is 24 hours and you can divide that by 60 twice.
And that's exactly why the SI second has the length that it has--to be as close as possible in terms of how atomic clocks work to 1/86400 of an Earth mean solar day at a chosen epoch. (Note that the actual definition before the atomic clock one was adopted was in terms of the Earth's tropical year at that epoch--but the fraction of the tropical year that was chosen was to line up the second with 1/86400 of an epoch day.) If we didn't care about "relatability", nobody would have gone to all the trouble of trying to determine how many cesium clock oscillations there were in 1/86400 of an epoch day.
> we nailed down the second to make the technical side easier at the expense of relatability.
Would you also say that getting rid of leap seconds and allowing UTC to gradually drift away from the sun is making the technical side easier at the expense of relatability?
> The definitions of hours minutes and seconds have changed before, and in recent history.
In terms of what physical process we use to set the standard, yes. But those very changes were made to try to preserve the same time periods that were important to humans. In other words, to not change what hours, minutes, and seconds mean intuitively to us humans as we go about our daily lives.
> If you think about it, they must have a lot of protons to generate a field so strong
Not necessarily. Neutrons have a magnetic moment. As I understand it, there is a magnetohydrodynamic model of how a magnetar's field gets generated, which would require protons, but it's not the only model and we don't have enough data to be able to rule out other models.
> the 10-15 seconds I mentioned is the daily variation in solar noon.
Yes, but averaged over an entire year, it still comes out to zero. The difference between mean solar and atomic time does not. It accumulates over the years.
> we just reversed that decision
We paused it for 100 years after 2035. That doesn't change the physical fact that the Earth's rotation will continue to slow over the long term. We might eventually decide to just not care about that when it comes to civil timekeeping, but that's not what the decision you're referring to did. It just said we can afford to let the difference between UTC and TAI accumulate from 2035 to 2135 (by which time it is predicted to be about a minute) while we figure out what we want to do over the longer term.
Um, because it's the prime meridian and that's how UTC is defined?
> It's nearly impossible to have your local time match your local solar noon.
Which is why I specified on the prime meridian, which is the particular local meridian that UTC is defined as corresponding to.
> solar noon varies from day to day by 10-20 seconds.
Which is why I was careful to specify mean solar noon.
I'm not quite sure what your issue is. Yes, we have time zones tied to specific meridians, and the actual sun's speed in the sky varies (which I mentioned in my post, so I'm not sure why you seem to think I'm unaware of it) so in most places local time by the clock doesn't match local time by the sun. Yes, a leap second adjustment to UTC is quite a bit smaller, taken in isolation, than the annual variation in actual solar time vs. mean solar time.
But over time, if we didn't have leap seconds, the difference would accumulate. The accumulated difference now between UTC and TAI is 37 seconds--which is almost twice the maximum variation in actual solar noon from mean solar noon that you refer to. We humans have collectively decided that we don't want that, and that it's better to do the adjustments a little at a time rather than in bigger lumps.
> This means the atomic clock is behind the solar clock by 37 seconds?
If anything, it's the other way around.
A UTC day is defined as exactly 86400 SI seconds. But an actual mean solar day is a few milliseconds longer (although the difference is not constant due to irregularities in the Earth's rotation--but the average difference is expected to slowly increase over time). SI seconds are counted by atomic clocks, so UTC advances its day by one every 86400 atomic clock seconds.
But a solar clock that advances its day by one every time the mean sun reaches noon (it has to be the mean sun because the rate at which the actual sun moves across the sky varies over the course of a year, we need to look at the average) will advance its day a few milliseconds later than UTC does. Or, to put it another way, each time period that the solar clock says is exactly 86400 seconds, is a few milliseconds longer according to the atomic clock.
As this happens day after day, the difference accumulates, and when it gets close to being a full second, a leap second gets inserted into UTC, so that one of its days is 86401 seconds long instead of 86400. The reason for this is that UTC is not just counting atomic clock time; it also has to stay in sync with where the sun is in the sky since so many human activities are tied to that. And we humans have defined "in sync with the sun" to be "within a second of the average sun". In other words, we want UTC noon to be within a second of mean solar noon on the prime meridian.
So the 37 seconds is how far mean solar noon would be behind UTC noon, if we didn't use leap seconds--at UTC noon, the mean sun would be 37 seconds short of actually crossing the prime meridian in the sky.