Re: My talk about Godel to the post-grads.

"Nam D. Nguyen" <namducnguyen@xxxxxxx> writes:

The rough phrase "to be useful for mathematical purposes" is simply
meant to avoid going into details about representing primitive
recursive functions (or PA or what have you) and getting the very
broad notion across to the reader.

Wouldn't you use, instead, the phrase "to be as strong as arithmetic"
to avoid the appearance of sloppiness? After all, there are complete
theories that are mathematically useful as well!

Would readers of the text understand what that phrase means?

--
Jesse F. Hughes
"He was still there, shiny and blue green and full of sin."
-- Philip Marlowe stalks a bluebottle fly in
Raymond Chandler's /The Little Sister/
.

Relevant Pages

  • Re: My talk about Godel to the post-grads.
    ... meant to avoid going into details about representing primitive ... broad notion across to the reader. ... theories that are mathematically useful as well! ... would probably consider that as a "sloppy" phrase. ...
    (sci.logic)
  • Re: Goedel - interesting problem?
    ... Beginning a post with such an assertion typically flags that it will be ... Who is the resident expert of linguistic interpretation, ... Have you heard the phrase "Judge a tree by its fruit?" ... phrases purposely to force the reader to draw expected inferences ...
    (sci.logic)
  • Re: What ongoing books?
    ... reader query it should be addressed. ... Avoid until the writer changes ... Avoid James Robinson? ... Fan lob insults at fans. ...
    (rec.arts.comics.dc.universe)
  • Re: Say what you mean
    ... Just look what a bunch of Damn Yankees have done to a perfectly good phrase! ... but another to the reader. ...
    (rec.outdoors.fishing.fly)
  • Re: The Palestinians Are Finished
    ... would cause the reader to form a certain opinion," he is quite ... explicitly saying "we try to avoid words that would offend our sources." ... as "terrorist" in their news stories. ...
    (soc.culture.jewish.moderated)