knowyourknuth.blogspot.com
Know Your Knuth: July 2006
http://knowyourknuth.blogspot.com/2006_07_01_archive.html
Exploring the work of Donald E. Knuth from Concrete Mathematics to The Art of Computer Programming. Problem Proof 0 (1.2.1, 2). There must be something wrong with the following proof. What is it? Be any positive number. For all positive integers. If n=1, a. And by induction, assuming that the theorem is true for 1, 2, ., n. So the theorem is true for n 1. Posted by Eric at 9:20 AM. Not a Knuth exercise, I know, but no less important. Posted by Eric at 3:40 PM. Prove the summation formula, Eq. (10). Unfor...
cs.utexas.edu
E.W.Dijkstra Archive: Home page
http://www.cs.utexas.edu/users/EWD
E W Dijkstra Archive. Edsger W. Dijkstra. Edsger Wybe Dijkstra was one of the most influential members of computing science’s founding generation. Among the domains in which his scientific contributions are fundamental are. Formal specification and verification. Design of mathematical arguments. In addition, Dijkstra was intensely interested in teaching, and in the relationships between academic computing science and the software industry. Of The University of Texas at Austin. A growing number of the PDF...
joaoff.com
Calculational proofs are usually direct | João F. Ferreira
http://joaoff.com/2008/02/11/direct-proofs
João F. Ferreira. Programming, Algorithms, and Calculational Mathematics. Skip to primary content. Skip to secondary content. Calculational proofs are usually direct. February 11, 2008. Jd2718 asked in his blog. If anyone knew a direct proof of the irrationality of $ sqrt{2}$. In this post I present a proof that, even if some don’t consider it direct, is a nice example of the effectiveness of calculational proof. But first, there are two concepts that need to be clarified:. A direct poof [ sic. Or, alter...
joaoff.com
A Calculational Proof of the Handshaking Lemma | João F. Ferreira
http://joaoff.com/2009/04/07/calculational-proof-handshaking-lemma
João F. Ferreira. Programming, Algorithms, and Calculational Mathematics. Skip to primary content. Skip to secondary content. A Calculational Proof of the Handshaking Lemma. April 7, 2009. This post was superseded by An improved proof of the handshaking lemma. Graph 0: Example of an undirected graph with five nodes. A well-known property is that every undirected graph contains an even number of vertices with odd degree. The result first appeared in Euler’s 1736 paper. On the Seven Bridges of Königsberg.
apurvamehta.com
A Change in Focus (or who wants to be a millionaire?) | Apurva Mehta's Musings
http://www.apurvamehta.com/2011/06/change-in-focus-or-who-wants-to-be.html
Larr; Blog Home. I'm a programmer and entrepreneur, currently bootstrapping RecordBox. I use this space to write about entrepreneurship and technology. A Change in Focus (or who wants to be a millionaire? Written by Apurva Mehta on 20 June 2011. In the past week, I began questioning the purpose of the journey I have embarked upon. What did I really want from this period of freedom and exploration? Did I want to build a company that would change the world? Did I want the life of the rich and the famous?
digitalundivide.blogspot.com
The Digital Un-divide: May 2008
http://digitalundivide.blogspot.com/2008_05_01_archive.html
The Digital Divide isn't. The implications of this technology generation are greater accessibility, and lower infrastructure costs, and the developing world has been skipping past entire technology generations. It is still going on today. Mobile payments took off in the "developing" world long before the developed world, etc. Saturday, May 10, 2008. The Thomas Edison Effect. Links to this post. Subscribe to: Posts (Atom). Verzon/US Secret Service Threat Report 2011. The Discipline of Thought.
digitalundivide.blogspot.com
The Digital Un-divide: December 2007
http://digitalundivide.blogspot.com/2007_12_01_archive.html
The Digital Divide isn't. The implications of this technology generation are greater accessibility, and lower infrastructure costs, and the developing world has been skipping past entire technology generations. It is still going on today. Mobile payments took off in the "developing" world long before the developed world, etc. Monday, December 31, 2007. Going the other way. So are we bereft of common sense? Links to this post. Subscribe to: Posts (Atom). Verzon/US Secret Service Threat Report 2011.
digitalundivide.blogspot.com
The Digital Un-divide: April 2006
http://digitalundivide.blogspot.com/2006_04_01_archive.html
The Digital Divide isn't. The implications of this technology generation are greater accessibility, and lower infrastructure costs, and the developing world has been skipping past entire technology generations. It is still going on today. Mobile payments took off in the "developing" world long before the developed world, etc. Saturday, April 29, 2006. MSWin Integration: Scotch Tape and Bailing Wire. Of course this little reflection only serves as an intro to my favorite topic of late, Kanosis and the COI...
