- The missile knows where it is at all times. It knows this because it knows where it isn’t.
- Inside the guidance system and computer of the Minuteman III nuclear missile (rightto.com)
The Minuteman missile was introduced in 1962 as a key part of America’s nuclear deterrent. The Minuteman III missile is currently the only US land-based intercontinental ballistic missile (ICBM), with 400 missiles ready for launch, spread across five central states.1 The missile contains a precision guidance system, capable of delivering a warhead to a target 13,000 km away (8000 miles) with an accuracy of 200 meters (660 feet).
- Mathematical induction (Wikipedia)
Mathematical induction is a method for proving that a statement P(n) is true for every natural number n, that is, that the infinitely many cases P(0), P(1), P(2), P(3),… all hold. This is done by first proving a simple case, then also showing that if we assume the claim is true for a given case, then the next case is also true.