December 20, 2025
Platonic smackdown
Mathematicians don't care about foundations
Are math nerds just winging it? Internet melts down over vibes vs rules
TLDR: A blog argues most mathematicians work by intuition and aren’t married to strict foundations like set theory. Comments explode into a three-way fight: meaning-first purists, pragmatic “don’t sweat the internals” dev analogists, and secret Platonists—debating whether math is truth, rules, or vibes—and why that shapes how we learn and build
A spicy blog post from General abstract nonsense claims most mathematicians don’t really care about “foundations” (the official rulebook of math), preferring informal vibes and shared intuition. Cue the comments: is math just vibes? One camp screams, “Meaning matters!” while the other shrugs, “Someone else handled the scary rules already.”
The article insists math’s formal systems (like ZFC, the standard set rules) are more quality assurance than sacred scripture, and that the real action is social: what counts as “formal enough” depends on who you’re working with. That set off a three-way brawl. Black_knight blasted the vibe-first approach as turning math into a game where consistency just prevents cheating. SoVeryTired rolled in with a developer analogy: most coders don’t think about CPU internals; math folks can ignore deep logic the same way—just watch your “black magic.” Meanwhile Tazerenix dropped a philosophical grenade: most mathematicians are secret Platonists, believing math exists out there like a hidden world, even if they retreat to paperwork when challenged.
Jokes flew fast: readers quipped about an “Axiom of Choice speedrun,” a big red “ZFC button,” and “foundations DLC.” The meme mood: math is either a cathedral of eternal truth, a workplace with safety rules, or a group project powered by vibes—pick your fighter. The drama? Plato vs paperwork vs pragmatism, and nobody’s backing down.
Key Points
- •The article claims most mathematicians work informally and do not focus on detailed foundational systems.
- •It states that formal foundations are relatively recent (mainly 19th century) and the early 20th-century crisis minimally affected mainstream mathematics.
- •Mathematics is portrayed as relying on shared social norms and intuitions, with formal definitions serving as tools rather than complete embodiments of ideas.
- •The piece says mathematicians commonly reference ZFC to justify naive set theory but are not deeply committed to or aware of its limits.
- •It suggests this foundational agnosticism enables openness to alternative or structural foundational approaches.