A problem about computability theory

  • Thread starter Thread starter iamwanli
  • Start date Start date
  • Tags Tags
    Theory
iamwanli
Messages
2
Reaction score
0
Soppose that A,B are effectively inseparable,B is r.e,then how to prove that \bar{A} is productive
 
Physics news on Phys.org
This isn't the place for homework. Also, when posting homework-type questions, you should state your definitions and what you've tried so far, rather than hoping that people will just give you an answer. Proper spelling and grammar wouldn't hurt either.

Anyways, what you've been asked to prove is false. Suppose B is r.e. but not recursive. If the above were true, then we could apply it taking A = \bar{B}. Then A and B are effectively inseparable because B is not recursive, so the hypotheses are satisfied. But the conclusion, that \bar{A} = B is productive must be false, since B is r.e.
 
Last edited:

Thread 'Here's a Statistics problem for game of Polo (or Hockey if you like)'

Namaste & G'day Postulate: A strongly-knit team wins on average over a less knit one Fundamentals: - Two teams face off with 4 players each - A polo team consists of players that each have assigned to them a measure of their ability (called a "Handicap" - 10 is highest, -2 lowest) I attempted to measure close-knitness of a team in terms of standard deviation (SD) of handicaps of the players. Failure: It turns out that, more often than, a team with a higher SD wins. In my language, that...
View full post »

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »

Similar threads

Is this computability theory proof correct?
Replies
1
Views
1K
A Concrete examples of randomness in math vs. probability theory
Replies
11
Views
3K
Busy Beaver Function: Range of BB Sets
Replies
16
Views
2K
I Question about about halting problem and this particular function
2
Replies
54
Views
6K
A Mapping and Recovering Combinations: A Challenge in Combination Theory
Replies
11
Views
4K
I Is this conditional expectation identity true?
Replies
1
Views
2K
A First order logic and set theory: who comes first?
Replies
2
Views
3K
I Set Theory - the equivalence relation on elements
Replies
14
Views
2K
I A variation of the sleeping beauty problem
2
Replies
57
Views
6K
I Proof request for best linear predictor
Replies
1
Views
2K

Hot Threads

Recent Insights

Back
Top