Sunday, January 30, 2005

New Method of Proof Discovered

In addition to these proof techniques, I have devised one of my own: Proof by Divination. I used it to show one of my algorithms would work correctly in my latest CS 381 homework; the proof went like this:

"Yea, and the Lord God spaketh unto Jeremiah; and He looked unto the method and saw that it was good."

No comments: