Persoalan undeciable pada post's correspondence problem (PCP) (Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1985)