Re: Constructive Math query.

Torkel Franzen wrote:
>
> "david petry" <david_lawrence_petry@xxxxxxxxx> writes:
>
> > Seriously, in that case, your guess is much better than mine.
>
> So what do you take to be the relevant difference between "if s
> is a permutation of the harmonic sequence..." and "if f is total..."?

If f is recursive, the predicate "f is total" is not recursive. Have I
remembered correctly?

--
I don't know who you are Sir, or where you come from,
but you've done me a power of good.
.

Relevant Pages

  • Re: A set containing a nonempty open interval
    ... interval, but that seems far more perverse than. ... I don't know who you are Sir, or where you come from, ... but you've done me a power of good. ... Prev by Date: ...
    (sci.math)
  • Re: Cost of a hit man.
    ... Joe Lee ... > I don't know who you are Sir, or where you come from, ... > but you've done me a power of good. ... Prev by Date: ...
    (uk.legal)
  • Re: Cost of a hit man.
    ... Alan ... > I don't know who you are Sir, or where you come from, ... > but you've done me a power of good. ... Prev by Date: ...
    (uk.legal)
  • Re: Petrol prices
    ... > I don't know who you are Sir, or where you come from, ... > but you've done me a power of good. ... Good one Cyril no answer to that!! ... Prev by Date: ...
    (uk.people.silversurfers)
  • The power of calligraphy
    ... The power of calligraphy ... You outlined four management methods that Mao employed to rule ... why simplified written characters had been introduced in China by Mao. ... SIR – Though clearly a stab at humour, ...
    (soc.culture.china)