Lista de teoremas nombrada de animales no humanos

Question

Creo que sería entretenido si nos podría venir para arriba con una lista de teoremas nombrado después de que los animales no humanos (por lo excluyendo nombres como "de Gauss lema" y similares). Hasta ahora, sólo he visto dos, o si hay más no recuerdo:

$1.$ La Mariposa Lema (aka el Zassenhaus Lema en teoría de grupos)

$2.$ La Serpiente Lema de álgebra homológica

Es alguien consciente de cualquiera de los teoremas más el nombre de los animales? Y si es así, ¿por qué tiene el nombre que tiene?

(Tampoco estoy seguro de si estoy o no debe etiquetar esta pregunta como un suave pregunta, como parece que si es o no un teorema tiene un nombre tiene una respuesta objetiva, pero estoy feliz de editar si es necesario.)

Answer 1

Si estás dispuesto a estirar un poco más lejos de la filosofía, paradoja de ASNO de Buridan es buena, sobre todo si el culo es matemáticamente inclinado.

En probabilidad, se encuentra el Teorema del mono infinito, porque al parecer monos no sabe leer ni escribir pero pueden existir infinitamente muchos de ellos.

Answer 2

El principio del casillero (los rusos lo siento, sé tú nombre Dirichlet y no habla de las palomas) es bastante clásico:

Si hay palomas de #% distribuidas entre los agujeros de $n$ %#%, por lo menos dos palomas deben ocupar el mismo agujero cuando $m$.

Ahora, esto es ciertamente abierto a debate: el teorema realmente lleva los agujeros y no las palomas. Pero, si cuenta con el puente de los asnos...

Answer 3

El puente de los asnos (Latín: Pons Asinorum) en Euclid. Aquí, culo hace referencia a los animales, no reconocido por su inteligencia. El significado es que un culo no puede cruzar el puente (por entender el teorema). El matiz es lo contrario: Si usted no puede entender el teorema eres un asno y pueden ir no más lejos en la geometría.

Answer 4

Aquí están algunos teoremas matemáticos o resolver problemas nombrado después de que los animales de la granja:

El rey del pollo y teorema de otros teoremas acerca de la jerarquía de órdenes (con pollo comics!)

Arquímedes ganado problema

Cabra problema

Luego están los objetos matemáticos (o algoritmos relacionados) el nombre de los animales:

Caterpillar árbol, su primo ciempiés gráfico, y las más alejadas de la langosta gráfico

Cocodrilo dilema

Hydra juego (técnicamente Hydra es mítico por lo que este no cuenta, pero es un juego interesante.)

La optimización de colonias de hormigas

Answer 5

Aquí están algunas de las cuales, como las otras respuestas, no son todos estrictamente teoremas:

• El busy beaver función, un ejemplo clásico de uncomputability

• Dragón fractales, que la he visto aparecer en la teoría de wavelets

• La mariposa teorema de geometría. Nota esto es distinto de la butterly lema que OP mencionado.

• La categoría de Baire teorema de análisis (es broma).