University of Michigan Field Hockey Team, 1989

Back Row: Jennifer Stevens, Lynn Miller, Laura Beer, Katie Thomas, Hilary Hughes, Sandi Marotti, Patricia Maran, Mary Beth Bird, head coach Patti Smith

Middle Row: Katie Vignevic, Keely Libby, Josee Charvet, Kristin Shaiper, Mary Peters, Katie Allison, Katherine Epler

Front Row: Margaret Kuntz, Ilene Meadows, Joanne Green, Sharon Cantor, Judy Burinskas, Patti Farley, student trainer Jim Peters.

Study of the rocky intertidal communities of central and northern California : years III and IV /

"Contract no. 14-12-0001-30057."

Study of the rocky intertidal communities of central and northern California : year II /

Mode of access: Internet.

A year at the shore /

Mode of access: Internet.

La comédie humaine of Honoré de Balzac;

"Ed. grand format. Limited to five hundred numbered sets of which this is no. 133."

Wildlife and America : contributions to an understanding of American wildlife and its conservation /

Cosponsored by U.S. Fish and Wildlife Service, Forest Service, and the National Oceanic and Atmospheric Administration.

Report of cases determined by the Supreme Court of Appeals of West Virginia.

Imprint varies.

Computation in Non-Classical Foundations?

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms (like "set", "function", and "number") are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike.