The Chalk and the Airplane
Comments
fwlr
criddell
> The present proof relies in effect on an Oracle, and I say down with Oracles! They are not mathematics
Wasn’t reliance on oracles always going to be the endgame for mathematics (and probably physics as well)? Surely there are things we will never understand just like a dog will never understand calculus.
jagged-chisel
“… no first-rate mathematician would now work any more on it, because he would not be the first one to do it.”
That’s just a lame excuse. Once anyone does it first, no one else can. Perhaps we should ban publication, everyone can be first!
sandworm101
Lol. I read that title as "Cholk and the Airplane". Cholks are the little wedges of wood/plastic, or bits of rope, put at the wheels of parked aircraft to stop them rolling away.
(Rope cholks are more cool because you can throw them as a wheel from a distance rather than climb under a wing.)
childofhedgehog
I always thought they were “chocks”?
sandworm101
Maybe it was a local accent thing, but i learned cholk, with an L sound. Was in UK back then.
perilunar
'Cholk' is not a word in either US or UK English:
https://dictionary.cambridge.org/spellcheck/english/?q=cholk
https://www.merriam-webster.com/dictionary/cholk
Then again, 'sodder' isn't a word either, despite the US pronunciation:
jagged-chisel
I suppose bolth of you could be correct.
ErroneousBosh
"Chocks", not "cholks".
robotresearcher
> There is no emperor distributing boons for the mathematicians of today.
This is a very weird take for an enterprise that depends almost entirely on grant money from either the taxpayer or charitable foundations.
There is also a subtle fatalistic fallacy at play in the author’s claims: “Progress is inevitable. This is progress. Therefore this is inevitable.”
But this doesn’t follow. We may reject this instance of progress, and allow the inevitability of progress to furnish us with another option.