Tell me more ×  Does anyone know of any good resources for the
proof of the number of Archimedean solids (also known as
semiregular polyhedra)?  I have seen a couple of algebraic
discussions but no true proof. Also, I am looking more at trying
to prove it topologically, but for now, any resource will help.*
*I worked on this project a bit as an undergraduate and am just
now getting back into it.  share|improve this question I don't
think 'proof assistant' means what you think it means. –  HJRW
Nov 18 '10 at 17:32 Having just spent an hour lecturing about
the $p$-adic numbers, this question instantly makes me wonder
about the classification of non-Archimedean solids :-/ –  Kevin
Buzzard Nov 18 '10 at 18:00 add comment  5 Answers  up vote 10
down vote accepted  A proof of the enumeration theorem for the
Archimedean solids (which basically dates back to Kepler) can be
found in the beautiful book "Polyhedra" by P.R. Cromwell
(Cambridge University Press 1997, pp. 162-167).  share|improve
this answer This is indee