Talk:Mu

were is the proof that its TC?? Yayimhere (talk) 07:16, 17 October 2024 (UTC)

This almost directly implements wikipedia:General recursive functions which are known to be TC. The zero function is slightly different, since only the 1-ary function is given, but [n 1k][z]C allows for the n-ary zero function to be constructed, which can be used to construct the other constant functions. --PkmnQ (talk) 08:47, 17 October 2024 (UTC)

k Yayimhere (talk) 08:48, 17 October 2024 (UTC)