El Theodorus de Cyrene era matemático griego del siglo V A. que fue admirado por el Platón (quién lo menciona en varios de sus trabajos, especialmente '' Theatetus '' ). Poco se sabe sobre él; sin embargo, cualidades de Platón a él la primera prueba de la irracionalidad de las raíces cuadradas 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15 y 17. El método que él utilizó no se indica, sino que puesto que él paró en 17, parece posible que él utilizó el método pitagórico tradicional de probabilidades y lo iguala, puesto que 17 es el primer número este método analiza.

Una conjetura implica un espiral integrado por los triángulos correctos contiguo con las longitudes de la hipotenusa iguales a la raíz cuadrada de 2, raíz cuadrada de 3, raíz cuadrada de 4,…, hasta la raíz cuadrada de 17 (donde él paró - posiblemente porque los triángulos adicionales harían el diagrama traslaparse, aunque un matemático sugiriera chistoso ese " el rang" de la campana;). Esto ahora se llama el espiral del de Theodorus . No hay evidencia histórica para indicar porqué él paró.

Su Theaetetus de la pupila hizo la generalización que el lado de cualquier cuadrado, representado por un irracional, era inconmensurable con la unidad linear. Davis interpoló las cimas del espiral para conseguir una curva continua que él nombrara el espiral de Theodorus. Él discute la historia de tentativas de determinar el método de Theodorus en sus espirales del del libro: De Theodorus al caos, y hace breves referencias a la materia en su serie gris de Thomas del ficticio.