A procedural interpretation of the Church-Turing Thesis

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F14%3A86087305" target="_blank" >RIV/61989100:27240/14:86087305 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A procedural interpretation of the Church-Turing Thesis

Popis výsledku v původním jazyce

This paper offers a conceptual view of the Church-Turing Thesis, which is an attempt to define the notion of algorithm/effective procedure. I analyze the Thesis and the problems of the specification of the concept of an algorithm. To this end I apply a procedural theory of concepts. This theory was formulated by Materna using Transparent Intensional Logic (TIL) as a background theory. I believe that the exact, fine-grained analysis offered by the paper contributes to elucidating the notion of an effective procedure and will help us to solve the problems stemming from the under-specification of the concept of algorithm.

Název v anglickém jazyce

A procedural interpretation of the Church-Turing Thesis

Popis výsledku anglicky

This paper offers a conceptual view of the Church-Turing Thesis, which is an attempt to define the notion of algorithm/effective procedure. I analyze the Thesis and the problems of the specification of the concept of an algorithm. To this end I apply a procedural theory of concepts. This theory was formulated by Materna using Transparent Intensional Logic (TIL) as a background theory. I believe that the exact, fine-grained analysis offered by the paper contributes to elucidating the notion of an effective procedure and will help us to solve the problems stemming from the under-specification of the concept of algorithm.

Druh

C - Kapitola v odborné knize

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Church's thesis : logic, mind and nature

ISBN

978-83-7886-009-9

Počet stran výsledku

62

Strana od-do

335-396

Počet stran knihy

431

Název nakladatele

Copernicus Center Press

Místo vydání

Krakow

Kód UT WoS kapitoly

—