Return to Article Details Computability and human symbolic output Download Download PDF