Skip to content

Tag Archives: proofs

Probabilities in Proofreading

Monday, September 14, 2009

Suppose you write a program and you send the source code to two of your friends, and . Your two friends read the code and when they finish, A errors are detected by , B errors are detected by , and C errors are detected by both. So, in total, A+B-C errors are detected [...]

Filed in Algorithms, Computing Science, Education, Mathematics, Programming, Science | Also tagged , , , , , , , , , , | Comments (2)

Calculational proofs are usually direct

Monday, February 11, 2008

jd2718 asked in his blog if anyone knew a direct proof of the irrationality of   . 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: direct proof and [...]

Filed in Education, Mathematics | Also tagged , , , | Comments (14)