5 ms·
There's a short article from Dijkstra on this reasoning: http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD83
by BoppreH 13y ago
There's a short article from Dijkstra on this reasoning:
http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF
He enumerates the four possible ways one could use, and goes on the pros and cos of each.
- oftenwrong 13y agoHis handwriting should be a font
- ginko 13y agohttp://www.fonts101.com/fonts/view/Uncategorized/34398/Dijkstra.aspx http://www.fonts101.com/fonts/view/Uncategorized/34398/Dijks...
- memracom 13y agoI don't trust sites that ask you to download an .EXE downloader. If you go here you can download it as a .TTF file http://www.fontpalace.com/font-download/Dijkstra/ http://www.fontpalace.com/font-download/Dijkstra/
- dllu 13y agoThe '1' in that font clearly differs from the one in http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD831.PDF
- StavrosK 13y agoThe "w" as well.
- anonymoushn 13y agoOn OSX it just gives me a zip file with the font in it.
- agumonkey 13y agoWikipedia mentioned his handwrighting but that's the first time I see it. It really is beautiful. Reminds me of monaco.
- skrebbel 13y agoI studied at Eindhoven University of Technology, where Dijkstra walked around for quite some time. His students stayed with him and became teachers. They all copied his handwriting. No kidding - my first two years in college consisted, for a large part, of watching elderly men with beards write on blackboards in exactly that handwriting. I can't help wonder whether they all drove the same car as Dijkstra too.
- ibejoeb 13y agoWow, that's a great little read. I'm surprised I haven't come across that before. I've always had that intuition, as I'm sure most experienced folks have, but it's the first time I've seen it articulated. I love things like this, i.e., demonstrations that these mathematical primitives are naturally elegant. It's often so hard to talk about, or even realize why, when given 2 or more viable choices, one is naturally better.
- danbruc 13y agoWhen I read the headline I immediately thought of a short article by Knuth doing the same reasoning; now I think I may just have remembered the wrong name. Is somebody aware of a similar article or lecture notes by Knuth - I failed googling it?
- Goladus 13y agoI am not following his language, partially the grammar and partially his lexicon-- specifically what he means by "natural number". There is a smallest natural number. Exclusion of the lower bound --as in b) and d)-- forces for a subsequence starting at the smallest natural number the lower bound as mentioned into the realm of unnatural numbers. Would someone be able to parse that out for me?
- zeroonetwothree 13y agoThe natural numbers are defined as either the positive integers (1, 2, 3, ...) or the nonnegative integers (0, 1, 2, ...). In either case there is a smallest one (either 0 or 1). And so if you use a notation that excludes the lower bound then to include the smallest natural number (either 0 or 1) you have to define your sequence in terms of a number outside the set, which is awkward. A more practical example is that you are using unsigned integers, so the smallest number is 0. If you use an exclusive lower bound, you can't actually represent any range containing 0, because -1 is not a valid number you can store.