The Church-Turing thesis and its look-alikes

  • Authors:
  • Amir M. Ben-Amram

  • Affiliations:
  • The Academic College of Tel-Aviv Yaffo, Tel Aviv, Israel

  • Venue:
  • ACM SIGACT News
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

"A function is mechanically computable (that is: computable by means of a machine) if and only if it is Turing-computable."