The creeper's formula

= (Man's age) + 14 - 2 * (Woman's age) is the creepers formula. It calculates the number of years a creep has to wait before a woman is within the socially acceptable age range to date, according to the "Half Plus Seven" rule.

Ordinarily say if a man is 36, the woman has to be at least "Half Plus Seven", meaning 25. That's fine, but what if the man is a 36 year old creeper and he meets a 20 year old he wants to date. He can't. He has to wait a certain number of years until she's within the "Half Plus Seven" range.

That's when you use the above formula.

So if the guy is 36, first you add 14. That gives you 50. Next you subtract twice her age (40) and subtract that from 50, you get i10. That means he have to wait 10 years.

Let's test this out.

The 36 year old creep, in 10 years will be 46
The 20 year old girl, in 10 years will be 30.

Validating with the Half Plus Seven rule: Half of 46 is 23, plus 7 is 30. Voila!

Alice: I'm only 20. You're 36. I'm too young for you.
Bob: Well, according to the creeper's formula we can date in ten years.
Alice: bet

by artist6000 December 18, 2024

Hard Problem of Formal Sciences

The paradox that formal systems like mathematics and logic, which are human creations of pure thought and symbol manipulation, describe and predict the physical universe with uncanny, often inexplicable accuracy. These sciences deal with abstract, necessary truths (2+2=4 is true in any possible universe). The hard problem is why these mind-born rule-sets, which require no empirical input, are so deeply "baked into" the fabric of our contingent, empirical reality. It's the question of whether we invent mathematics or discover it, and if we discover it, why is the universe inherently mathematical? The success of the formal sciences suggests a pre-established harmony between human reason and cosmic structure that borders on the mystical.

Example: A mathematician, working purely from axioms and logic, derives a strange, non-intuitive structure called a "Lie group." Decades later, a physicist finds that this exact mathematical structure perfectly describes the behavior of fundamental particles and forces in the Standard Model. The hard problem: How did a game of intellectual symbols, played out on notebooks, anticipate the operational code of the cosmos? It's as if the universe runs on software written in a programming language that the human brain, by sheer coincidence, independently invented for fun. This "unreasonable effectiveness" is the foundational shock of the formal sciences. Hard Problem of Formal Sciences.

by Enkigal January 24, 2026

Theory of Formal Social Control

The analysis of the organized, codified, and institutionalized systems that a society uses to enforce conformity and punish deviance. This includes laws, police, courts, prisons, military, regulatory agencies, and official sanctions. It is the visible, "hard" architecture of control, backed by the state's monopoly on legitimate violence.

Theory of Formal Social Control Example: A speed limit sign, a traffic camera, a ticket, a court date, and a fine are all components of Formal Social Control. They are explicit, written rules with defined penalties, administered by authorized agents of the state to control behavior (driving speed) for public order.

by Abzugal Nammugal Enkigal February 4, 2026

Critical Theory of Formal Sciences

The application of Critical Theory to the formal sciences—mathematics, logic, computer science, and related fields—examining how even these seemingly pure disciplines are shaped by social contexts and power relations. Critical Theory of Formal Sciences asks: How do mathematical concepts reflect cultural values? How has logic been used to exclude? Whose interests are served by treating formal sciences as neutral? Drawing on critical mathematics education, feminist critiques of logic, and philosophy of computer science, it insists that no knowledge is value-free—not even 2+2. Understanding formal sciences requires understanding the society that produces them.

"Math is universal, they say. Critical Theory of Formal Sciences asks: universal for whom? Developed where? Mathematics has history, culture, politics. It's been used to justify racism (intelligence testing), to enable surveillance (algorithms), to concentrate power. Formal sciences aren't neutral; they're human products. Critical theory insists on asking: what values are built into the equations?"

by Abzugal Nammugal Enkigal March 4, 2026

Contextualism of the Formal Sciences

A philosophical framework holding that formal systems—logic, mathematics, computer science, information theory—are context-dependent in their meaning and application. What a formal system means depends on the context of its interpretation; what counts as a valid derivation depends on the context of its rules; what a formalism is useful for depends on the context of its application. Contextualism in the formal sciences opposes the idea that formal systems have meaning independent of their use. It insists that formalisms are tools whose significance emerges in context.

Example: "His contextualism of the formal sciences meant he rejected the idea that formal logic alone determines meaning. The same logical formula means different things in a programming language, a philosophical argument, and a legal document—context determines interpretation."

by Dumu The Void March 20, 2026

Perspectivism of the Formal Sciences

A philosophical framework holding that formal systems are always from a perspective—that what a formalism reveals depends on the perspective from which it is developed and applied. Different logical systems reveal different aspects of reasoning; different programming paradigms reveal different aspects of computation; different formal frameworks make different phenomena visible. Perspectivism demands that formal scientists be explicit about their frameworks, recognizing that the formalisms they choose shape what they can express.

Example: "Her perspectivism of the formal sciences meant she saw functional programming, object-oriented programming, and logic programming not as competing for the one true way to compute, but as different perspectives on computation—each suited to different problems."

by Dumu The Void March 20, 2026

Multicontextualism of the Formal Sciences

A philosophical framework holding that formal sciences operate within multiple, irreducible contexts—mathematical, computational, linguistic, practical, cultural—that shape what formalisms are developed and how they are used. A formal system emerges from the context of mathematical tradition, the context of computing technology, the context of practical problems, the context of institutional training. Multicontextualism insists that understanding formal sciences requires attending to this contextual multiplicity.

Example: "His multicontextualism of the formal sciences meant he studied the development of programming languages not just through computer science, but through the context of military funding, the context of corporate research labs, the context of academic fashions, the context of hardware constraints—all of which shaped what languages were built."

by Dumu The Void March 20, 2026