| |
| |
NationMaster - Encyclopedia: Paul Benacerraf |
 | | Baruj Benacerraf, M.D. Baruj Benacerraf (born 29 October 1920) is a Venezuelan-American immunologist who shared the 1980 Nobel Prize in Physiology or Medicine for the discovery of the Major histocompatibility complex genes which encode cell surface molecules important for the immune systems distinction between self and non... |
 | | Benacerraf is therefore precluded from using Gödel's first theorem, and turns instead to its corollary, Gödel's second theorem, that in any formal system rich enough for elementary arithmetic, the consistency of that system cannot be proved-in-that-system, unless the system is in fact inconsistent. |
 | | Benacerraf's mechanism, which avoids contradiction only by never specifying what sort of machine a human being is alleged to be, is, from a common sense point of view, a position too empty to be worth holding. |
| www.nationmaster.com /encyclopedia/Paul-Benacerraf (811 words) |
|