Skip to main content
Andrea Asperti's user avatar
Andrea Asperti's user avatar
Andrea Asperti's user avatar
Andrea Asperti
  • Member for 7 years, 4 months
  • Last seen this week
13 votes

2D convolution: Flipping the kernel?

5 votes

Definition of an immune set

5 votes

recursive language and computable function

4 votes
Accepted

What is a 'subrecursive algorithm'?

2 votes
Accepted

Showing $1$-reducibility of $\overline{\text{HALT}'}$ to index set

2 votes

Implications of Rice's theorem

1 vote
Accepted

The content of an implication from the snm-Theorem

1 vote

Function is recursive iff its graph is recursively enumerable

1 vote

Suppose $L_1, L_2, ..., L_k$ are recursively enumerable languages forming a partition of $\Sigma^*$. How do I show that each $L_i$ are recursive?

0 votes

Show that the set of programs whose Kolmorgorov complexity is smaller than their length is recursively enumerable

0 votes

Is the set of programs that compute some function other than $h$ recursively enumerable?

0 votes

Is the Rice Theorem applicable for these problems?

0 votes

Recursively enumerable but non recursive subset of an infinte recursive language