|
|
|
Welcome to the Graduate Student Seminar of the GWU Mathematics Department. This seminar began in 2006 with the intention of presenting and teaching graduate level research to peers and colleagues having various mathematical interests. Nearly all talks are accessible to mathematics graduate students of various specialties and also advanced undergraduate students. Please join us if you are interested in any of the scheduled talks listed on this page. All talks will be held in the Math Department's Seminar Room (at the address below), unless otherwise noted. Monroe Hall 2672115 G Street, NW Washington, DC 20052 Date: Friday 12 September 11:30 AM Title: Model Theory and Computability Abstract: The notion of computability has its origins in the work of Alan Turing, who in 1936 made precise the notion of machine computation. In computable model theory we are interested in determining the properties of mathematical structures and their theories that are accessible to us in an effective way. A mathematical structure is computable if its domain, relations, and functions can all be described by algorithms. The computability of a structure by no means implies that everything we might want to know about it is algorithmically accessible. I will provide a brief introduction to both model theory and computability and describe some examples. Then, I will describe some of the types of questions of interest in this area, and present some results from recent research in computable model theory. This talk will be accessible to undergraduates. Krysztof Pityra, Date: Friday 19 September 11:30 AM Title: TBA Abstract: TBA Ken Shoda, GWU Combinatorics Date: Friday 26 September 11:30 AM Title: TBA Abstract: TBA Tyler White, GWU Dynamics Date: Friday 3 October 11:30 AM Title: TBA Abstract: TBA |
|
|
|
This site is maintained by Mike Coleman and Tyler White
of the GWU Mathematics Department. It was last updated on September 3, 2008. |