Sentensi ya 1: Mashine za Turing za jumla na mashine rahisi za turing za inductive ni madarasa mawili ya algorithms super-recursive ambayo huja karibu na algorithms ya recursive. Sentensi 2: Mashine ya Turing ya jumla na mashine rahisi ya Turing ya inductive ni aina mbili za algorithms super-recursive ambazo ni karibu zaidi na algorithms recursive. Swali: Je, Sentensi ya 1 na Sentensi ya 2 zina maana ileile? Ndiyo au La?
Ndiyo