Question

Is the integral of computable functions computable?

score 233 · Answer 1 · 2021-01-06 10:51:48

Is the integral of computable functions computable?

Published on 06 Jan 2021 - 10:51

score 71 · Answer 2 · 2021-01-08 17:40:17

How to alternatively prove: If $A \neq \varnothing$ is domain of $\mu$-recursive $\Omega$, then $A$ is recursively enumerable

score 117 · Answer 3 · 2021-01-09 13:24:45

117

Views

Non-computable functions by summing computable functions

Published on 09 Jan 2021 - 13:24

score 96 · Answer 4 · 2021-01-10 04:46:47

96

Views

Problem 7.12 of 'Computability & Logic' (Boolos, Burgess, Jeffrey, 2007)

Published on 10 Jan 2021 - 4:46

score 286 · Answer 5 · 2026-02-23 22:51:41

286

Views

Given a Turing Machine $M$ and a word $w$, can we tell if the Turing Machine will move its head at every step?

Published on 23 Feb 2026 - 22:51

score 31 · Answer 6 · 2021-01-10 19:26:17

31

Views

Partial recursive set from values of recursive function

Published on 10 Jan 2021 - 19:26

score 602 · Answer 7 · 2021-01-12 11:53:51

602

Views

The Fixed-point theorem predicts the existence of quines.

Published on 12 Jan 2021 - 11:53

score 196 · Answer 8 · 2021-01-15 02:33:48

196

Views

union and intersection of effectively enumerable sets

Published on 15 Jan 2021 - 2:33

score 513 · Answer 9 · 2026-03-29 18:10:07

513

Views

Explaining the difference between two definitions for recursively enumerable languages.

Published on 29 Mar 2026 - 18:10

score 934 · Answer 10 · 2021-01-17 18:07:57

934

Views

The languages $A, B \in \Sigma^*$ are two semi-decidable but not decidable languages. Show that $A \cup B$ is semi-decidable.

Published on 17 Jan 2021 - 18:07

score 46 · Answer 11 · 2021-01-20 06:29:24

46

Views

Show that a set is countable by specifying an alphabet for it

Published on 20 Jan 2021 - 6:29

score 153 · Answer 12 · 2026-02-23 13:36:48

153

Views

What does $w' := <M'>$ mean in the context of the Halting Problem?

Published on 23 Feb 2026 - 13:36

score 34 · Answer 13 · 2021-01-21 19:05:44

34

Views

M-reducable set

Published on 21 Jan 2021 - 19:05

score 75 · Answer 14 · 2021-01-21 20:34:28

75

Views

m-reduction from Kleene set

Published on 21 Jan 2021 - 20:34

score 155 · Answer 15 · 2021-01-27 09:13:26

155

Views

Prove non computability of a function defined on partial and total functions

Published on 27 Jan 2021 - 9:13

List Question

Is the integral of computable functions computable?

How to alternatively prove: If $A \neq \varnothing$ is domain of $\mu$-recursive $\Omega$, then $A$ is recursively enumerable

Non-computable functions by summing computable functions

Problem 7.12 of 'Computability & Logic' (Boolos, Burgess, Jeffrey, 2007)

Given a Turing Machine $M$ and a word $w$, can we tell if the Turing Machine will move its head at every step?

Partial recursive set from values of recursive function

The Fixed-point theorem predicts the existence of quines.

union and intersection of effectively enumerable sets

Explaining the difference between two definitions for recursively enumerable languages.

The languages $A, B \in \Sigma^*$ are two semi-decidable but not decidable languages. Show that $A \cup B$ is semi-decidable.

Show that a set is countable by specifying an alphabet for it

What does $w' := <M'>$ mean in the context of the Halting Problem?

M-reducable set

m-reduction from Kleene set

Prove non computability of a function defined on partial and total functions

Trending Questions

Popular # Hahtags

Popular Questions