@MISC{Halava97decidableand, author = {Vesa Halava}, title = {Decidable and Undecidable Problems in Matrix Theory}, year = {1997} }

Years of Citing Articles

Bookmark

OpenURL

Abstract

This work is a survey on decidable and undecidable problems in matrix theory. The problems studied are simply formulated, however most of them are undecidable. The method to prove undecidabilities is the one found by Paterson [Pat] in 1970 to prove that the mortality of finitely generated matrix monoids is undecidable. This method is based on the undecidability of the Post Correspondence Problem. We shall present a new proof to this mortality problem, which still uses the method of Paterson, but is a bit simpler.