2010
12 aprile
Seminario di algebra e geometria
ore 15:00
presso Seminario II
The classification of objects in algebra and geometry is of great interest to mathematicians. However, as early as the 1940's, results began to emerge showing that such things were sometimes impossible to do in an "algorithmic" sense. In this talk I will explain the notion of an algorithmic process, through the use of Turing Machines, and follow on by describing some questions in algebra and geometry that are in general undecidable (that is, admit no algorithmic solution). No background in decision problems will be assumed, and only a minimal amount of group theory and geometry will be needed to understand the examples (group presentations, manifolds).
Torna alla pagina dei seminari del Dipartimento di Matematica di Bologna