La Ĉurĉa tezo (aŭ Ĉurĉ-Turinga tezo) estas tezo pri komputeblaj funkcioj. Simple dirite, ĝi asertas ke ĉiu funkcio kiu estas algoritme komputebla (en intuicia senco de "algoritme komputebla") estas komputebla de Turinga aŭtomato. Ĉar ĝi parolas pri intuicia nocio, ĝi ne estas matematike preciza tezo kaj sekve ne pruveblas. La tezo estiĝis, ĉar diversaj formaligoj de la ideo de algoritma komputebleco estis pruveble egalvaloraj. Ĝi estis unue vortigita de Alonzo Ĉurĉo.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
