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 thirtyfive 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 proofdevelopment
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.
