The tools and systems designed to manipulate abstract symbols according to strict rules, enabling everything from simple arithmetic to complex computer programs. This includes calculators (slaves to the algorithm), programming languages (formal systems that are surprisingly forgiving of missing semicolons), and the humble spreadsheet, which has launched a thousand careers and caused a thousand nervous breakdowns when someone sorted the wrong column. Formal technologies give us power over abstraction, which we primarily use to make pretty charts about things that don't matter.
Example: "She used formal technologies to build a complex financial model that predicted market trends with 95% accuracy. Unfortunately, the model was based on historical data, and the market, not being a formal system, promptly did something unpredictable and made all her charts wrong. She blamed the model; the model blamed reality."
by Abzugal February 14, 2026
Get the Formal Technologies mug.The branch of knowledge that studies abstract structures and symbolic systems, unconcerned with whether they correspond to anything in the real world. Mathematics, logic, and theoretical computer science live here, in a pristine realm where 2+2 always equals 4 and arguments are either valid or invalid, not just "like, your opinion, man." Formal sciences are beautiful, consistent, and utterly indifferent to the messy reality of human existence, which is why mathematicians are so calm and everyone else is so confused.
Example: "He loved the formal sciences because in mathematics, unlike in relationships, things either worked or they didn't, and when they didn't, you could prove why. His girlfriend pointed out that this attitude might be why he had so much time for mathematics."
by Abzugal February 14, 2026
Get the Formal Sciences mug.