Crutchfield. A company that has been around a bit longer than some of the other ones on this list, but one that has stayed relevant in electronics since the 1970s despite its lack of initial capital investments. Grew by leveraging direct sales to customers through mailed catalogs, even claims to be the first company to sell consumer electronics online circa 1995. https://en.wikipedia.org/wiki/Crutchfield_Corporation
That's the way things work in the health care profession. If you're a nurse and you mess up (e.g. give medication to the wrong patient), you can potentially end up in jail and lose your license. It doesn't matter if it was an honest mistake or done in cold blood, your mental state doesn't factor in because it's a matter of life and death. Wouldn't be too far fetched to argue that speculative investing at too-big-to-fail scales poses a similar existential threat and should be treated accordingly by the law.
I studied in the department of one of the authors at Carnegie Mellon. I guarantee you that "mathematical logic" is the proper term to use here. The focus of such an effort is to teach the logical foundations of formal mathematics. The authors are more interested in teaching the structure and limits of mathematical proofs, and not, for example, group theory (Though I can tell you that having a strong background in traditional mathematics is most helpful. Without it, one tends to lack the intuition to understand the motivation behind the definitions and examples).