Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2010
2010
12 aprile
Maurice Chiodo, The University of Melbourne
Seminario di algebra e geometria
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).