ABC Book
R: Reasoning
       
Q-R pdf (1.2MB): click pic
Preface A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Pics

 
Teaching OO using Java
Calculational
logic
festive occasions
ABC book
CS Faculty over the years
CS@Cornell
The Triple-I Administration
How Bush Operated

 

 

R is for Reasoning —I got all your votes
For (instead of long poem) some reasoning quotes.

Tired mothers find that spanking takes less time than reasoning and penetrates sooner to the seat of the memory.
~ Will Durant

Man is a reasoning rather than a reasonable animal.
~ Alexander Hamilton

The difference between science and the fuzzy subjects is that science requires reasoning while those other subjects merely require scholarship.
~ Robert A. Heinlein

CS at Cornell is a leader in various aspects of reasoning.

First, there is the automated kind, exemplified by Bob Constable’s 30 years of work on the mathematical reasoning system NuPrl, aided by Christoph Kreitz, which helped establish that computers can automate many intellectual processes. Because of Bob’s and other’s work, proofs of over 50,000 theorem are accessible on the Web, many of them in NuPrl. His thirty-five PhD students will tell you that Bob’s a great PhD advisor.

Then there’s the work on reasoning about the development of programs (see the letter M) and the development of calculational logic as a formalization of how mathematicians express many proofs. Gries and Schneider show in their text A Logical Approach to Discrete Math that various proof-development principles and strategies can actually be taught to freshmen.

Finally, Joe Halpern reasons about knowledge. Joe and his former student Yoram Moses received the 1997 Gödel Prize for their paper that showed that common knowledge is a necessary and sufficient condition for coordination among people. Cornell is at the forefront of AI work on reasoning about knowledge because of Joe.