2008 University of Michigan Wrestling Team

Top Row (left to right): asst. strength coach Greg Wagner, trainer Joel Pickerman, asst. coach Kirk Trost, mngr. Drew Christensen, Cody Waters, Tyrel Todd, Eddie Phillips, Anthony Biondo, Matt Guhn, Chad Bleske, Ryan Selley, Steven Russell, Erich Smith, Andy Hrovat, asst. coach Mike Kulczycki, head coach Joe McFarland.

Middle Row: Steve Luke, Braden L'Amoreaux, Justin Zeerip, Josh Churella, Eric Tannenbaum, Jeff Marsh, Jacob Johnson, James Tobias, David Johnson, Jordan Sherrod, Dario Mainella.

Bottom Row: Kellen Russell, Chris Diehl, Mike Sears, James Shaheen, Michael Watts, Zach Jones, Jason Lara, Mark Beaudry, Justin Chizanowski, Phil Shaheen, Aaron Hynes.

(Not Pictured: asst. coach Mark Churella, Sr., adm. asst. Mark Ryan Churella)

Die Statistik /

Bibliography: p. [213]-214.

Panegyrici duo, de duobus triumphis clarissimis, illo Romae in translatione Gregorij Nazianzeni; hoc Leodij in inauguratione Ernesti Ducis Bauariae & Electoris Coliensis; inumbrati ad formam antiquorum partim Declamatorum, partim Panegyricorum. Eiusdem orationes XVI. et tres commentationes in loca Scripturae, expressae ad imitationem antiquorum Ecclesiae Doctorum. Additae sunt eiusdem Epistolae.

Mode of access: Internet.

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.