view wisdom/per martin-löf @ 11290:3ac88fbad74b

<oerjan> le/rn bimonthly//The word "bimonthly" has at least two meanings, although this wisdom only gives about half of one. No matter which expert you follow, you\'re 50% likely to misinterpret it, or doubly so, depending on the phase of the moon.
author HackBot
date Sun, 31 Dec 2017 03:48:42 +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.