![MathChic68](/avatars/48934.jpg)
MathChic68
26.11.2019 •
Social Studies
When word about the recursion theorem reached lem e. hackett, he immediately implemented it in code. his associate, ben bitdiddle, who insists the recursion theorem is too bizarre to be true, used lem's implementation to create the following program: tm b: on input x 1. construct own description (b) 2. run b(x): if it accepts then reject else if it rejects then accept "a program like this that contradicts itself cannot exist," claimed ben. therefore, your code cannot possibly be right, and so the recursion theorem is false. "let's run the program and see what happens," said lem who prefers running code to proofs. what is the result of running ben's program? what was the mistake in ben's reasoning (other than thinking that the recursion theorem is false)? problem 4. (10 points) we have seen several examples of undecidable languages of the form l = {(m): m is a tm whose language l(m) satisfies property p} examples of p include: "l(m) = $", "i̇z(m)]22", and vw: w e l(m) wr e l(m) notice that in each example two conditions are satisfied: a) if l(m) = l(m2) then (m) and (m2) are both in l or are both not in l, and b) there are tms in l and tms that are not in l. in this problem we will prove a powerful result: if p is any property that satisfies conditions a and b, then l is undecidable. in other words, every interesting property of tms that depends on the language of the tm is undecidable. fill in the blanks in the following outline to complete the proof of this result: 1. let p be any property of the language of a tm that satisfies conditions a and b. 2. assume that l is decidable and let tm d decide l. 3. since condition bis satisfied by p, let (m) el and (n) e l 4. now consider the following tm x: on input w: 1. compute own description (x) 2. if d accepts (x) then 3. if drejects (x) then since, in both cases x contradicts d, we conclude that
Solved
Show answers
More tips
- H Health and Medicine Is it true that working with a computer is harmful to your eyesight?...
- S Sport When is the Champions League final?...
- H Health and Medicine Is Folic Acid a Necessary Vitamin?...
- W Work and Career How to Start Your Own Business: Tips and Recommendations...
- S Society and Politics 10 Tips for Boosting Your Self-Esteem...
- C Computers and Internet How to Create a Folder on Your iPhone?...
- G Goods and services How to sew a ribbon: Tips for beginners...
- F Food and Cooking How to Make Mayonnaise at Home? Secrets of Homemade Mayonnaise...
- C Computers and Internet Which Phone is Best for Internet Surfing?...
- F Food and Cooking Everything You Need to Know About Pasta...
Answers on questions: Social Studies
- S Social Studies A SO What programs did the Brazilian government create in the 1990s to reduce poverty and child labor in the country? How successful were these programs?...
- S Social Studies Stuart feels like he has been worrying constantly for the past four months. he is worried about making his car payments, losing his job, and how his children are doing in school....
- S Social Studies Griselda and gilberto are trying to communicate more effectively with each other when a problem arises. according to notarius and markman s five rules for enhancing intimate communication,...
- S Social Studies If an independent-measures design is being used to compare two treatment conditions, then how many different groups of participants would be needed and how many scores would there...
- S Social Studies To assess whether sense of humor is affected by violent imagery, researchers exposed married couples to either violent or nonviolent movie scenes prior to watching a comedy skit....
- S Social Studies Analyzing Qualifications for Engineering and Technology Careers Which of the following examples demonstrate qualifications that are most helpful for Engineering and Technology...
- P Physics Nancys airplane trip took 4 hour. for one-fourth of that time, the airplane flew at a speed of 880 km/h, it flew at a speed of 600 km/h. what distance did nancy travel?...
- M Mathematics Graph each equation y=l x l-2 y=l x l+3 y=l x l-5 y=l x l-4 y=l x-3 l+1 y=l x+1 l-4...
- M Mathematics 3x+13y=-111 6x+15y=-123 solve the following system of equations using any method...
- M Mathematics 375/1000 of 1 m? maths homework is always the hardest...
Ответ: