Re: Computable functions/reals.

From: Aatu Koskensilta <aatu.koskensilta@xxxxxx>
Date: 17 Aug 2008 17:43:56 +0300

Frederick Williams <frederick.williams2@xxxxxxxxx> writes:

Nothing, I haven't read it, but the title looked vaguely relevant.

Provably recursive functions of a formal theory aren't really relevant
to Bill's query at all.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

References:
- Computable functions/reals.
  - From: Bill Taylor
- Re: Computable functions/reals.
  - From: Frederick Williams
- Re: Computable functions/reals.
  - From: Aatu Koskensilta
- Re: Computable functions/reals.
  - From: Frederick Williams

Prev by Date: Re: Computable functions/reals.
Next by Date: Re: Computable functions/reals.
Previous by thread: Re: Computable functions/reals.
Next by thread: Re: Computable functions/reals.
Index(es):
- Date
- Thread

Relevant Pages

Re: The Big Bang as grammatical faux pas
... to hold any appeal to the true Wittgenstein enthusiast. ... "Wovon man nicht sprechen kann, darüber muss man schweigen" ...
(sci.logic)
Re: 2nd order replacement and non-standard models of ZF?
... of as schemata. ... "Wovon man nicht sprechen kann, darüber muss man schweigen" ...
(sci.logic)
Re: non-Archimedean models of Euclidean geometry?
... Or, in the slapping-of-forehead department, we may simply observe the ... "Wovon man nicht sprechen kann, darüber muss man schweigen" ...
(sci.logic)
Re: Is one-to-one mapping valid for comparing infinite-sized sets?
... "Wovon man nicht sprechen kann, darüber muss man schweigen" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
(sci.math)
Re: A mostly confessional note about cranks, from a reformed sucker (I hope.)
... protecting the innocent. ... "Wovon man nicht sprechen kann, darüber muss man schweigen" ...
(sci.math)