Richardson Arms Race Model
The Richardson arms race model, set out by Lewis Fry Richardson in Arms and Insecurity (1960), is a pair of coupled differential equations describing how two rival states adjust their armaments over time. Each state's rate of arming rises with the rival's level of arms (action–reaction fear), falls with the burden of its own existing arms (fatigue or economic constraint), and is shifted by underlying grievance or goodwill. Analyzing the system reveals whether an arms race converges to a stable equilibrium or spirals upward without bound, making it the foundational mathematical model of arms competition.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.