[ont.events] Buffalo Logic Colloquium: John Case/John Myhill

rapaport@cs.buffalo.EDU (William J. Rapaport) (11/03/87)

                STATE UNIVERSITY OF NEW YORK AT BUFFALO

                        BUFFALO LOGIC COLLOQUIUM

                               JOHN CASE

       Computer Science, SUNY Buffalo and University of Rochester

             MYHILL AND RECURSION THEORY:  A PERSONAL VIEW

Professor Case, a professional mathematician and computer scientist with
strong philosophical interestes, will discuss John Myhill's influence on
the field of recursive function theory, e.g., Myhill's work on  creative
sets.  Case will illustrate the fertility of Myhill's approach by focus-
ing on how it was siminal in his own thinking.

                      Wednesday, November 11, 1987
                               4:00 P.M.
                     684 Baldy Hall, Amherst Campus

                            Future speakers:

            Colin McLarty (Case Western Reserve University)
                       John Kearns (SUNY Buffalo)

A Dutch Treat Supper at Towne Restaurant (Bailey Avenue) will follow.
Graduate Students in Philosophy, Mathematics, and Computer Science are
invited, along with all other interested persons.  For further information,
contact John Corcoran, (716) 636-2438.