Timeline for Decidability of the TM's computing a non-empty subset of total functions
Current License: CC BY-SA 3.0
52 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 16, 2019 at 19:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 18, 2019 at 18:03 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 19, 2018 at 15:03 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Nov 19, 2018 at 14:03 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Oct 20, 2018 at 13:00 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Sep 20, 2018 at 12:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 21, 2018 at 12:00 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jul 22, 2018 at 11:07 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jun 22, 2018 at 11:05 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| May 23, 2018 at 10:25 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 23, 2018 at 9:53 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Mar 24, 2018 at 7:56 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Feb 22, 2018 at 7:51 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jan 23, 2018 at 6:51 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 24, 2017 at 6:19 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Nov 24, 2017 at 6:16 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Oct 25, 2017 at 5:30 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Sep 25, 2017 at 5:09 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 26, 2017 at 4:32 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jul 27, 2017 at 19:49 | history | tweeted | twitter.com/StackCompSci/status/890660324944134144 | ||
| Jul 27, 2017 at 4:16 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jun 27, 2017 at 3:19 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| May 28, 2017 at 3:19 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 28, 2017 at 2:19 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Mar 29, 2017 at 1:54 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Feb 27, 2017 at 1:26 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jan 27, 2017 at 23:52 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 28, 2016 at 22:00 | answer | added | Hans Hüttel | timeline score: 1 | |
| Dec 28, 2016 at 15:22 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Nov 28, 2016 at 14:34 | history | edited | Yuval Filmus | CC BY-SA 3.0 |
edited title
|
| Nov 28, 2016 at 11:39 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Oct 29, 2016 at 11:20 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Sep 29, 2016 at 10:50 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 30, 2016 at 10:21 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jul 31, 2016 at 10:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jul 1, 2016 at 9:45 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jun 1, 2016 at 9:23 | answer | added | Uria Mor | timeline score: 0 | |
| May 31, 2016 at 15:45 | comment | added | Raphael | Posting (and accepting) your own answer is perfectly acceptabel and even encouraged. The content is here to stay and help more people in the future, after all! | |
| May 30, 2016 at 7:59 | comment | added | Uria Mor | In a join efforts, we succeeded showing undecidability of $L_S$. It can be solved using Rice (a rather painful misuse of the theorem), but as @Raphael said - the more elegant way to show it, is to adjust the proof of Rice theorem to fit this case. I won't post an answer since I never accept my answers, and I'd like to see more ideas. | |
| May 29, 2016 at 20:25 | comment | added | Ran G. | You should clarify if you are allowed to use Rice's theorem or are you trying to prove it. For both cases, the answer can be found in cs.stackexchange.com/a/11289/157 | |
| May 28, 2016 at 9:32 | comment | added | Raphael | "and then show with Rice" -- you are to prove Rice, so no using it. | |
| May 28, 2016 at 7:55 | history | edited | Uria Mor | CC BY-SA 3.0 |
Changed title
|
| May 28, 2016 at 7:41 | comment | added | Uria Mor | Didn't see the popup probably because of the browser I'm using wouldn't show it. I edited according to your comments. Thanke you @D.W. | |
| May 28, 2016 at 7:39 | history | edited | Uria Mor | CC BY-SA 3.0 |
Rephrase as a question rather than a request for proof verification
|
| May 27, 2016 at 19:00 | comment | added | D.W.♦ | The tag exists to warn you that this kind of question is generally unsuitable. When you select the tag, a one-sentence tag overview pops up, saying "Questions asking us to check whether your solution is correct are considered off-topic and should not be posted on this site". | |
| May 27, 2016 at 12:26 | comment | added | Raphael | The tag is there, as is c. Doesn't mean we like most questions. I'd rather you make your question good than delete it. | |
| May 27, 2016 at 12:15 | comment | added | Uria Mor | I thaught that's what check-my-answer/proof tags are for.. but I'm willing to delete this question if you wish | |
| May 27, 2016 at 12:08 | history | edited | Raphael |
edited tags
|
|
| May 27, 2016 at 12:08 | comment | added | Raphael | This question appears to be unsuited for this site because questions of the form: "This is the exercise problem, this is my solution. Please grade!" are not interesting for anyone but you. Please see this related meta discussion. If you want to ask a specific question about a specific part of your attempt, please edit the question accordingly and it may be reopened. Otherwise, you might want to visit Computer Science Chat and get some feedback there. | |
| May 27, 2016 at 11:47 | answer | added | Don Fanucci | timeline score: 0 | |
| May 27, 2016 at 11:03 | review | First posts | |||
| May 27, 2016 at 13:05 | |||||
| May 27, 2016 at 10:58 | history | asked | Uria Mor | CC BY-SA 3.0 |