Re: Constructive Math query.


Torkel Franzen wrote:
> "david petry" <david_lawrence_petry@xxxxxxxxx> writes:
>
>
> > Yes, but "the fact that it is one" can only be established by proof.
>
> Consider a statement of the form
>
> For every partial recursive function f, if f is total, then ---f---.
>
> Do you agree that this is not constructively synonymous with "For
> every partial recursive function f, if we can prove that f is total,
> then ---f---"?

I would argue that "if f is total" is not a constructively valid
phrase.

.

Relevant Pages

  • Re: Constructive Math query.
    ... > I would argue that "if f is total" is not a constructively valid ... > phrase. ... Prev by Date: ...
    (sci.logic)
  • Re: Chris Coons lied, Granny died.
    ... :>: Why you would choose this post to make your stand against the phrase ... :>: argumentative over relatively insignificant points. ... :> do with Loewe's pedantic nonsense about that symbol, ... and you argue quite a lot yourself. ...
    (rec.sport.football.college)
  • Re: Terminator et les gays
    ... On dirait bien une phrase du délateur d scb... ... Hermes ... Prev by Date: ...
    (soc.culture.belgium)
  • Re: Darwin claims one in Miami
    ... >gonna take twice the amount of coffee this morning to get them untwisted... ... It's good mental exercise -- as (one could argue) is the entire discussion. ... Prev by Date: ...
    (rec.scuba)
  • Re: OT: Christ Not Allowed In Military Chaplains Prayers
    ... Lon, I don't necessarily disagree with that fine point, and I really ... don't want to argue, so I'll just ask: ... other people's beliefs be valued as much as yours, ... Prev by Date: ...
    (rec.outdoors.rv-travel)