Samræmingarverkefni Posts
Samræmingarverkefni Posts er óleysanlegt ákvörðunarvandamál sem Emil Post lagði til árið 1946. Vandamálið gengur út á að taka tvo endanlega orðalista  og  úr einhverju stafrófi  sem inniheldur minnst tvö tákn og skilar röð af vísum  þar sem  og  fyrir öll  svo að

Tilvísanir 

Reiknanleikafræði