Did you know that Stephan Körner's major philosophical work was in the philosophy of mathematics and the study of "exact" and "inexact" concepts ?