Colloquium / Seminars
Topic:Groups, Logic, and Languages
Speaker:Dr. Meng-Che Ho
(Purdue University)Date time:Mar. 3 2020 14:00 -15:00
Venue:SA223
Tea Party:Mar. 3 2020 13:30 (SA205)
Abstract:
Abstract. The interplay between group theory and logic had played a crucial role in both areas for many decades. The most famous questions in this intersection is the word problem proposed by Dehn in 1911. The word problem is shown to be unsolvable in general by Novikov in 1955. However, as a logician, the (un)solvability of a decision problem is only the beginning. For an unsolvable problem, computable structure theory gives a framework to study "how unsolvable" the problem is. On the other hand, for a solvable problem, formal language theory provides a way to study its complexity. We will survey various past and current results as well as some work in progress in these directions In particular, we will study the linguistic complexity of word problems and geodesic representatives in finitely-generated groups.Download:Talk_20200303.pdf
go back