Could they use a crawler with visual inspection? It’s not as good as ultrasound because it will only see surface breaking stuff if it’s big enough… But it’s still better than no inspection at all, right?
Well that’s interesting: in order to define unmeasurable sets, you relied on the axiom of choice… I suppose it might be possible to define unmeasurable sets without AC, but maybe not!
Every time I encounter the axiom of choice implying a bunch of crazy stuff, it always loop back to requiring AC. It’s like a bunch of evidence against AC!
I find it interesting that the basic description of AC sounds very plausible, but I’m still convinced mathematicians might have made the wrong choice… (See what i did there? 😄)
Yeah, I’m really out of my element talking about these abstract mathematical topics… I’m too much of an empirical scientist it seems!
Give me a set and I’ll find a way to measure it! …actually I’d like to know what’s the mathematical definition of measurement, there’s probably a trick there… 🤔