LCR: Alan Turing and Deductive Logic

This year is the centenary of the birth of Alan Turing, the British logician and cryptographer who cracked the Nazi "Enigma" code and almost certainly shortened WWII, perhaps by several years. Turing happened to be gay, and after the war was persecuted for it, which probably led to his death by accidental poisoning (or suicide, as some people think). Here is a short article on the role of deductive logic in his work, and its under-appreciated value for biomedical research.
http://www.the-scientist.com/?articles.view/articleNo/32942/title/Opinion--Think-Like-Turing/
An excerpt:
"Even though all deductive conclusions are logically implicit in the premises, they are not necessarily obvious, and they can require immense intellectual effort to generate. For example, in order to successfully decipher encrypted Nazi dispatches, Turing and his WWII colleagues had to make virtually every deductive inference permitted by the information in hand, what I call “maximum deduction.” As an ideal, maximum deduction is of potential relevance to today’s biomedical researchers, as deeper reasoning could help avoid fruitless lines of investigation while pointing to previously unrecognized but potentially valuable experiments. But as cognition expert Daniel Kahneman recently noted, rigorous reasoning is energy-intensive and the default choice for many individuals is to minimize cognitive effort.  Biomedical investigators frequently fail to make all of the inferences that are possible with the data available to them, whether derived from their own investigations or from studies by others."