Topology Atlas | Conferences

Knots in Washington XXXII, Categorification of Knots, Algebras, and Quandles; Quantum Computing
April 29 - May 1, 2011
George Washington University
Washington, DC, USA

Organizers
Valentina Harizanov (GWU), Jozef H. Przytycki (GWU), Yongwu Rong (GWU, NSF), Radmila Sazdanovic (U.Penn), Alexander Shumakovitch (GWU), Hao Wu (GWU)

Conference Homepage


The Geometry of Undecidability
by
Wesley Calvert
Southern Illinois University
Coauthors: Valentina Harizanov and Alexandra Shlapentokh

It has been known since the Ph.D. thesis work of Linda Richter in the 1980s that algebraic structures - groups, for instance - can encode degrees of undecidability in an intrinsic (isomorphism-invariant) way. From more recent work, we know that structures arising from algebraic geometry, including schemes, have a similar capacity. The present talk will describe these constructions.

Date received: April 28, 2011

Copyright © 2011 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # cbcc-23.