El teorema de Bishop-Cannings es un teorema de la teoría de juegos evolutivos . Afirma que (i) todos los miembros de una estrategia evolutivamente estable mixta (ESS) tienen el mismo resultado (Teorema 2), y (ii) que ninguno de ellos puede ser también una ESS pura [1] (de su Teorema 3). La utilidad de los resultados proviene del hecho de que pueden usarse para encontrar directamente las ESS de forma algebraica , en lugar de simular el juego y resolverlo mediante iteración .
El teorema fue formulado por Tim Bishop y Chris Cannings en la Universidad de Sheffield , quienes lo publicaron en 1978.
John Maynard Smith ofrece una revisión en Evolution and the Theory of Games , con prueba en el apéndice. [2]