In Memoriam: Joseph R. Shoenfield 1927–2000
نویسندگان
چکیده
منابع مشابه
In memoriam: Joseph Michael Foley, MD (1916-2012).
J oseph Michael Foley, MD (March 9, 1916–June 13, 2012) was an outstanding clinical neurologist and geriatrician, educator, academic leader, and professional statesman. His charisma, unending enthusiasm, joie de vivre, warmth, kindness, compassion, dedication, and genuine interest in people earned him friends and devotees among colleagues, trainees, nurses, and countless patients. An unequaled ...
متن کاملIn Memoriam: Joseph Ka Hoi Wong, MD, FRCSC (1954-2014).
Joseph Ka Hoi Wong was born in Guangzhou, China, to 2 loving parents, Hsi Huang and Ching Lam. He came to Canadaat age 17 years.He completedhismedical degree at the University of Toronto, his residency in otolaryngology at the University of West Ontario, and spent a year in Tokyo, Japan, on a fellowship with the renowned cleft lip and palate surgeonTakuyaOnizuka,MD. Joe later establishedabusy a...
متن کاملIn Memoriam : J . C . R . Licklider 1915 - 1990
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support Digital's business objectives , Our current work includes exploring distributed personal computing on multiple platforms, networking, programming technology, system modelling and management techniques, ...
متن کاملShoenfield is Gödel after Krivine
We show that Shoenfield’s functional interpretation of Peano arithmetic can be factorized as a negative translation due to J. L. Krivine followed by Gödel’s Dialectica interpretation. Mathematics Subject Classification: 03F03, 03F10.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of Symbolic Logic
سال: 2001
ISSN: 1079-8986,1943-5894
DOI: 10.1017/s1079898600005746