My main server is named Postulate (an idea that you assume for the sake of argument), my desktop is named Axiom (a proved postulate), and my backup server is named Corollary (an idea that follows from an axiom).
My machines are named after physicists and mathematicians because that's what I aspire to be.
I don't remember the first three, but the most recent ones were Descartes, Euclid, Fourier, Gauss, Hilbert, Ivakhnenko, Jacobi, Kepler, Lovelace, Mandelbrot, Newton, Oppenheimer, Penrose, Quillen, Russell, Silverman[1]. Next will be Turing.