RE Renda Zhang Self-Reference and Recursion Are Power and Boundary (They bring undecidability and incompleteness)
