Question about algorithm numerical domain

Newsgroups	comp.programming
Date	2018-04-30 11:09 -0700
Message-ID	<8f53ddc2-e18b-4935-a2e5-1be81e1e04e6@googlegroups.com> (permalink)
Subject	Question about algorithm numerical domain
From	programmernovice <ivandenisovich826@gmail.com>

Show all headers | View raw

Hi everyone. My book (Smith's "An Introduction to Goedel's Theorems") defines the numerical domain of an algorithm as the set of naturals that, when input individually to the algorithm, result in its "working", that is to terminate and output some result. In the book it is also stated that any wff of a programming language (e. g. C++) can be considered an algorithm, having a numerical domain.

I'm not clear about how an instruction such as "Go To" can be considered an algorithm, or if it is, then how does one determine its numerical domain. 

Can someone please explain this? All help greatly appreciated.

Back to comp.programming | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Question about algorithm numerical domain programmernovice <ivandenisovich826@gmail.com> - 2018-04-30 11:09 -0700
  Re: Question about algorithm numerical domain Ben Bacarisse <ben.usenet@bsb.me.uk> - 2018-04-30 19:38 +0100
    Re: Question about algorithm numerical domain programmernovice <ivandenisovich826@gmail.com> - 2018-05-01 08:58 -0700

csiph-web