1,698 karma · joined March 27, 2012
To be honest that has always had a smell to me akin to dumping.
I don't think that this was the formalization that was used when the term was coined, given how late set and measure theory were formalized.
If in the WW2 Japan also had nukes (and delivery systems for them) they'd probably have retaliated in kind and US wouldn't let that slide too and it would have continued for some time.
That used to be true, but I don't think that the case anymore. UA is now striking logistics ~150KM behind the contact line with drones. Regular artillery can't do that. Guided rockets maybe could, but they'd be more expensive and come in smaller quantities.
> US is currently able to wage a war 6000 miles away from its shores
For a rather restricted use of "wage a war". They did not stop Iranians from doing their thing. Bombing alone does not have a history of winning wars.
I draw my line at 'U'.
That's theorem provers and they're awful for anything of any reasonable complexity.