List questions from decidability

Published on 27 Nov 2020 - 21:12

204

Views

How to show that this language is Turing recognizable

Published on 28 Nov 2020 - 16:44

126

Views

Why is it enough to test only the words up to length n ( number of state) in the given algorithm for a decidability problem

Published on 02 Dec 2020 - 1:37

121

Views

Let $f$ be a computable and injective function. Is $f^{-1}$ computable and injective?

Published on 11 Dec 2020 - 16:53

119

Views

Is it true that every closed formula is decidable? Why?

Published on 23 Feb 2026 - 13:34

131

Views

What to do with undecidable problems?

Published on 13 Dec 2020 - 18:38

226

Views

Peano Arithmetic - Decidability

Published on 16 Dec 2020 - 19:24

285

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 10 Jan 2021 - 19:10

71

Views

Degree 2, 3 variable homogenous instance for Hilbert's Tenth Problem

Published on 24 Jan 2021 - 18:44

201

Views

Decidability Results for $\mathcal{L}_{\omega_1, \omega}$?

Published on 03 Feb 2021 - 0:22

173

Views

Diagonalization for Etm

Published on 07 Feb 2021 - 16:54

208

Views

Do the Robinson and/or Peano arithmetics suffice to prove that the Halting problem is undecidable?

Published on 12 Feb 2021 - 13:50

57

Views

Is deciding termination easier than deciding rationality?

Published on 18 Feb 2021 - 9:38

32

Views

Question on decidability w.r.t. tag systems

Published on 08 Mar 2021 - 18:32

82

Views

Decidability of whether a set of matrices generate a free group.

Published on 10 Mar 2021 - 0:25

List Question

If L1 is decidable and if L2 is included in L1, is L2 also decidable?

How to show that this language is Turing recognizable

Why is it enough to test only the words up to length n ( number of state) in the given algorithm for a decidability problem

Let $f$ be a computable and injective function. Is $f^{-1}$ computable and injective?

Is it true that every closed formula is decidable? Why?

What to do with undecidable problems?

Peano Arithmetic - Decidability

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

Degree 2, 3 variable homogenous instance for Hilbert's Tenth Problem

Decidability Results for $\mathcal{L}_{\omega_1, \omega}$?

Diagonalization for Etm

Do the Robinson and/or Peano arithmetics suffice to prove that the Halting problem is undecidable?

Is deciding termination easier than deciding rationality?

Question on decidability w.r.t. tag systems

Decidability of whether a set of matrices generate a free group.

Trending Questions

Popular # Hahtags

Popular Questions