Although I describe myself merely as a software developer and an independent researcher, my business name strikes some as pretentious. It's actually an obscure pun on “bounded theories.” The thrust is that mathematical results regarding bounded theories apply to scientific analysis of human theorizing. No one, taken as a physical entity, utilizes unbounded resources in formulating a theory.
In a similar vein, the formalist in me would love to prove correct every single line of software. But time is a limited and costly resource, so there is a bound on formal analysis in development.