Re: Turing completeness of the functional paradigm?

Chris Menzel wrote:
On Mon, 18 Jul 2005 23:32:19 +0100, Robert Low <mtx014@xxxxxxxxxxxxxx> said:
Chris Menzel wrote:
Hence, so interpreted, second-order PA has nonstandard models.
So where do they live?
Same place the nonstandard models of first-order PA live. :-) 

OK: I was wondering if you had to have some weird non-standard
universe for the model theory to be in.

Thanks for the explanation.
.

Relevant Pages

  • Re: big bang problems
    ... then you will certainly feel that something needs explaining. ... daze of astonishment at every random occurrence in the universe.) ... candidate explanation that, while rather unlikely most of the ... might have a reason to do. ...
    (uk.religion.christian)
  • Re: 7 problems with usenet aether theorists
    ... > Why hold standard physical models to a higher standard than ... metric theory of gravity. ... In this sense the explanation of the Mercury perihel was ... And a flat universe ...
    (sci.physics.relativity)
  • Re: Darwin and God: can they co-exist?
    ... an explanation consistent with the universe supporting life. ... Maybe I've got a few extra words in the statement that "God ...
    (talk.origins)
  • Re: Atheists are the biggest fools on Earth
    ... Even if science is not able to give an explanation for something- ... of the Big Bang, the "Supreme Being hypothesis" doesn't fill that gap. ... necessary demands and consequences of placing the entire universe into ...
    (talk.origins)
  • Re: Some Thought On Intelligent Design - WAS: OT Is George BushDrinking?
    ... continuing development of areas for which it isn't certain---that's what science is about. ... There's no rational or natural explanation for life and the universe ... your assertion isn't true, I've quoted leading scientists, linking to more, that did and do study more than you will ever know. ... is supernatural there is no scienfific basis for the explanation of any phenomenon that relies on the supernatural--a tautology. ...
    (rec.woodworking)