A Computability Argument Against Superintelligence
Systems of Logic Based on Ordinals