曼希爾同構定理(Myhill isomorphism the -orem)遞歸論的一個重要定理. 它揭示鑽重笑腿了遞良兆乎歸同構與1一化歸間的關係.即:集合A,B遞歸同捆洪組構，若且唯若A三1B.曼雄臘擊希爾同構定理是曼希爾(Myhill ,J.)於1955年證循汗狼明的，其內容類似於集合論中的康托爾一施羅駝淋充茅德一伯恩施坦淚漏定理.
