The story
Named in honour of the medieval philosopher Jean Buridan.
Etymology from Wiktionary, CC BY-SA 4.0.
Buridan formula
Today it means: In quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F". Full definition →