@matthew_d_green At the same time you learn that precision matters, and that a proof or counterexample cannot be ignored other than by changing the assumptions we operate under. One also learns that structuring things so that being precise is easy very often makes problems and possible approaches easier to notice. I would dearly wish that all infosec-adjacent people shifted a bit in this direction.
@matthew_d_green I started thinking recently that anyone in any sort of position of authority in infosec should take an academic introduction to cryptography course, as an easy way of at least realizing that the approach of "things are true or false, we might just not know", "modus ponens works", "vacuously satisfied implications are true, not some weird third state", ... exists (and, I'd hope, adopting it at least somewhat).