#universal computation #computability #infinite computation #complete system #computational power #decidability