Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming > #8736

Re: Question about algorithm numerical domain

Show all headers | View raw

programmernovice <ivandenisovich826@gmail.com> writes:

> 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.

Quite.  But then it almost certainly does not come under the definition
of "WFF of a programming language".  A goto hidden in a function, f, is
OK because we can consider f(x) to be WFF with a numerical domain.

-- 
Ben.

Back to comp.programming | Previous | Next — Previous in thread | 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