Hmmm... I think that the functional determinants (as in http://en.wikipedia.org/wiki/Functional_determinant) of Quantum Mechanics and Quantum Field Theory appear rather naturally. These CAN be defined rigorously, insofar as the defining Feynman path integrals are, in this case, defined rigorously. The most readable introduction to rigorous path integration I've read is "A Modern Approach to Functional Integration" by John R. Klauder.