“Joseph R. Shoenfield”的意思、由来-开放百科全书

词条

Joseph R. Shoenfield

释义

Education
Career
Honors
Hobbies
Selected publications
Notes
References

{{Use mdy dates|date=September 2016}}{{Infobox scientist
|name=Joseph Robert Shoenfield
|field=Mathematical logic
|birth_place=Detroit, Michigan, US
|death_date={{death date and age|2000|11|15 |1927|1}}
|death_place=Durham, North Carolina, US
|alma_mater=University of Michigan
|doctoral_advisor=Raymond Louis Wilder^[1]
|thesis_year=1953
|thesis_title=Models of Formal Systems
|residence=United States
|workplaces=Duke University
|awards={{nowrap|Gödel Lecturer (1992)}}
|known_for={{nowrap|Shoenfield absoluteness theorem}}
}}

Joseph Robert Shoenfield (1927, Detroit – November 15, 2000, Durham, North Carolina) was an American mathematical logician.

Education

Shoenfield obtained his PhD in 1953 with Raymond Louis Wilder at the University of Michigan (Models of formal systems).

Career

From 1952, he lectured at Duke University, where he remained until becoming Emeritus in 1992. From 1970 to 1973 he was President of the Mathematics Faculty. In 1956/57 he was at the Institute for Advanced Study. Shoenfield worked on recursion theory, model theory and axiomatic set theory. His textbook on mathematical logic has become a classic.^[2]

Honors

From 1972 to 1976 he was president of the Association for Symbolic Logic. He delivered the Gödel Lecture at the 1992 meeting of the ASL.^[3]

Hobbies

Already in his student days, he was a passionate and strong contract bridge player.

He was an early member Number 694 of the American Go Association and the Memorial Tournament in North Carolina was founded in his memory. (The link includes a photograph of him.)

Selected publications

Mathematical Logic, Addison Wesley 1967, 2nd edition, Association for Symbolic Logic, 2001^[4]
Degrees of unsolvability, North Holland Mathematical Studies 1971
Recursion theory, Springer 1993^[5]

Notes

1. ^{{MathGenealogy|id=5126}}
2. ^{{harvnb|Jockusch|2001|page=393}}.
3. ^Gödel Lectures, Association for Symbolic Logic
4. ^{{harvnb|Shoenfield|2001}}.
5. ^{{harvnb|Shoenfield|2000}}.

References

{{cite journal|ref=harv|last1=Jockusch|first1=Carl G.|title=In Memoriam: Joseph R. Shoenfield 1927–2000|journal=The Bulletin of Symbolic Logic|volume=7|number=3|year=2001|pages=393–396|url=http://www.math.ucla.edu/~asl/bsl/0703/0703-007.ps}}
{{cite book|ref=harv| last1=Shoenfield

| first1=Joseph R.
| author1link=Joseph R. Shoenfield
| title=Mathematical Logic
| origyear=1967
| publisher=A K Peters
| edition=2nd
| isbn=978-1-56881-135-2
| year=2001
}}

{{cite book |ref=harv| last1=Shoenfield|first1=Joseph R. |author1-link=Joseph R. Shoenfield| title=Recursion Theory | publisher=A K Peters Ltd | year=2000 | isbn=1-56881-149-7 }}

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。