In reply to @JDHamkins
@JDHamkins @pkrautz I have a feeling @howie_hua has tweeted something about this in the past and I sort of agreed with it but couldn't quite be bothered to actually follow through and do it
In reply to @christianp
@JDHamkins @pkrautz @howie_hua Here's Florian Cajori on the subject. I endorse none of these solutions!
archive.org/details/histor…
