Another recursion theory / decidability question
- From: kevin <kevin@xxxxxxxxxxxxxxxxxxxxx>
- Date: Tue, 27 Sep 2005 16:31:10 -0500
Imagine one has some single sentence S in predicate logic. The set of
consequences of S (i.e., the set of theorems one can prove using S as a
premise) is, of course, recursively enumerable. Can this set of
consequences of S have a degree -other- than 0 or 0'?
Kevin
.
- Follow-Ups:
- Re: Another recursion theory / decidability question
- From: H. Enderton
- Re: Another recursion theory / decidability question
- Prev by Date: Re: Topology of proof
- Next by Date: Re: Moore on Skolem's Paradox
- Previous by thread: Who first called the First Incompleteness Theorem the First Incompleteness Theorem?
- Next by thread: Re: Another recursion theory / decidability question
- Index(es):