Mercurial > repo
view wisdom/per martin-löf @ 11243:5c41fb3f6567
<oerjan> # Stolen from Roger9//`learn Bureaucracy (from French bureau, "burrow") is a political system in which squirrels rule the nation, and burrow their nuts.
author | HackBot |
---|---|
date | Wed, 22 Nov 2017 00:43:46 +0000 |
parents | e3afe2c4c1d4 |
children |
line wrap: on
line source
"per Martin-Löf" is a common citation lazy logicians use when they don't want to prove their theorems. It rarely gets past peer review.