新聞標題： ( 2020-02-25 )
演講主題：Groups, Logic, and Languages
主講人：Meng-Che Ho 博士 (美國普渡大學)
演講日期：2020年3月3日(星期二) 14:00 –15:00
摘要內容：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 &quot;how unsolvable&quot; 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.