Proof by Contradiction (Visit Days '09)

Click on "more info" for lyrics!

The UW CSE Band is a computer science parody rock band composed of grad students (and a postdoc!) from the Department of Computer Science and Engineering at the University of Washington, Seattle. We perform mostly at department events, and our music makes fun of anything and everything relating to computer science, programming, and life as a grad student. This performance took place during the 2009 Visit Days for prospective students. As of spring 2009, the band consists of:

Alex Colburn (lead guitar)
Laura Effinger-Dean (vocals)
Andrew Guillory (bass guitar and vocals)
Chloé Kiddon (sax)
Natalie Linnell (keyboard)
Kristi Morton (drums)
Pradeep Shenoy (vocals)

Huge thanks go to Jon Hsieh for recording this video and to Peter Henry for being our sound guy.

This performance features a special guest guitarist: Anna Karlin, theory professor at UW!

Proof By Contradiction (to the tune of "Fire" by Jimi Hendrix):

You say that p is true
You gotta prove it to me
Assume not p and reach a fallacy.
Then come to me and you can state with conviction
It's a proof by contradiction

All right, let's get a little bit more formal
The contrapositive of not p implies false
Is true implies p, ha, and p falls out
Show p and you can state with conviction
It's a proof by contradiction

All right, let's prove there's no largest prime
Assume finite primes and take their product
Just add one, that can't be composite
You got a larger prime and can state with conviction
It's a proof by contradiction

Category:

Entertainment

Tags:

• computer
• science
• rock
• proof
• by
• contradiction
• math
• euclid
• jimi
• hendrix
• fire
• anna
• karlin
• parody

[fritz4104]

fuck you guys....

[cpbm727]

Boo! Proof by contradiction is overrated!

Proof: Assume that it is not overrated ...

[ohthissucks]

Awesome!