history_monk: (Me)
As is common with English words, it's engaged in splitting into two separate meanings. One is the sense used in "scientific theory" and the like: a chunk of knowledge that explains something and is demonstrably true to some degree, possibly with known limits. The other is the looser meaning, of "an idea that might explain something, but isn't well-developed". The mixing of these two meanings is helpful to those who oppose science they find inconvenient, with slogans such as "evolution is only a theory".

I find myself reluctant to use "theory" in writing these days, and prefer "hypothesis" for ideas that are close to the second meaning. Maybe learning Greek would help, but it seems a bit late for that now.
history_monk: (Default)
There are several words I find myself reluctant to use these days, because they get used beyond their meanings. One of them is “proof”, which gets used for situations where “demonstrate” would be a lot more accurate. Lots of fields of study don’t really use the concept, but that’s lost on politicians and many journalists, who demand, for example, “scientific proof.” That’s not available.

One can disprove things easily in science, since all you need is to demonstrate a counter-example. But no matter how sure you are of something, and it’s possible to have a great deal of confidence in e.g., the second law of thermodynamics, you can’t “prove” it in the way you can with mathematics.
Mathematical proof is solid, within its limits. Those are broad enough to be useful, but they aren’t absolute. Gödel demonstrated that.

Legal proof is something else again. It seems a bit like money, something that we collectively treat as being real, because it’s useful. But it has a lot to do with what you can convince a court about, and courts are made up of humans. My sole experience with legal proof is acting as a juror, in a case where all the evidence was from an accomplice. English law allows a conviction on that, but “proof beyond reasonable doubt” has to be applied very strictly. And when the prosecution are reminding the jury of that, you take it seriously.

I make my living in a specialised field of computer programming, where the hard jobs come down to trying to decide if the bug is in the program, the compiler, or the hardware. Any of those types can do a good job of masquerading as another type, even without edge cases. Those have included the hardware working as designed, but the discovery of a general misunderstanding as to the effects of that design, the revelation of which means that the hardware is a lot less useful than the manufacturer thinks. In time off from that I try to help keep a network of several hundred computers running. It is complex enough that while everything in it is deterministic, the emergent behaviour has “elements of randomness tantamount to wilful perversity”. I make sure to tell new people the story of N-rays, as a cautionary tale.


history_monk: (Default)

July 2017

161718 19202122


RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 08:03 am
Powered by Dreamwidth Studios