1 Matching Annotations
  1. Sep 2013
  2. en.wikipedia.org en.wikipedia.org
    Computable number - Wikipedia, the free encyclopedia
    1
    1. andrejbauer 03 Sep 2013
      A computable Dedekind cut is a computable function which when provided with a rational number as input returns or ,

      This definition of computable Dedekind cut is wrong. The correct definition is that the lower and the upper cut be computably enumerable.

      math
    Visit annotations in context

    Tags

    Annotators

    URL

    en.wikipedia.org/wiki/Computable_number