Frazo 1: Ĝeneraligitaj maŝinoj de Turing kaj simplaj induktaj maŝinoj de Turing estas du klasoj de super-rekursaj algoritmoj kiuj plej proksimas al la rekursaj algoritmoj. Frazo 2: Ĝeneraligitaj maŝinoj de Turing kaj simplaj induktaj maŝinoj de Turing estas du klasoj de super-rekursaj algoritmoj kiuj estas la plej proksimaj al rekursaj algoritmoj. Demando: Ĉu frazo 1 kaj frazo 2 esprimas la saman signifon? Jes aŭ Ne?
Jes