CT-1997-01: Catagory, Measure, Inductive Inference: A Triality Theorem and its Applications

CT-1997-01: Smith, Carl H. (1997) Catagory, Measure, Inductive Inference: A Triality Theorem and its Applications. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (56kB)
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


The famous Sierpinski­Erd¨os Duality Theorem states, informally, that any
theorem about effective measure 0 and/or first category sets is also true
when all occurrences of ``effective measure 0'' are replaced by ``first
category'' and vice versa. This powerful and nice result shows that
``measure'' and ``category'' are equally useful notions neither of which
can be preferred to the other one when making formal the intuitive notion
``almost all sets.'' Effective versions of measure and category are used
in recursive function theory and related areas, and resource­bounded
versions of the same notions are used in Theory of Computation. Again they
are dual in the same sense.
We show that in the world of recursive functions there is a third equipotent
notion dual to both measure and category. This new notion is related to
learnability (also known as inductive inference or identifiability). We use
the term ``triality'' to describe this three­party duality.

Item Type: Report
Report Nr: CT-1997-01
Series Name: Computation and Complexity Theory (CT)
Year: 1997
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1072

Actions (login required)

View Item View Item