To help people get the right comparison, here's a quick list:

• Godwin's Law: Cobol
• Murphy's Law: C
• Ship of Theseus: Java
• Olber's Paradox: Perl
• Godel's Incompleteness Theorum: Ada
• Cars/Libraries of Congress: Fortran
• Russel's Paradox: LISP
• Fermat's Last Theorum: Assembly
• The Peter Principle: C++
• Clarke's First Law: Python
• Clarke's Third Law: Smalltalk
• Sturgeon's Law: Visual Basic
• Okrent's Law: Prolog

From a Slashdot comment.