MATH
Login Or Sign up

List Question

15
924
Views

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

Published on
#computer-science #inclusion-exclusion #turing-machines #decidability
207
Views

How to show that this language is Turing recognizable

Published on
#discrete-mathematics #computer-science #context-free-grammar #turing-machines #decidability
127
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
#discrete-mathematics #formal-languages #automata #turing-machines #decidability
122
Views

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

Published on
#functions #computer-science #computability #turing-machines #decidability
120
Views

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

Published on
#conjectures #collatz-conjecture #decision-theory #decidability #decision-problems
134
Views

What to do with undecidable problems?

Published on
#computability #philosophy #decidability
227
Views

Peano Arithmetic - Decidability

Published on
#logic #foundations #peano-axioms #incompleteness #decidability
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
#computability #turing-machines #decidability
72
Views

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

Published on
#elementary-number-theory #reference-request #diophantine-equations #decidability
204
Views

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

Published on
#logic #reference-request #decidability
175
Views

Diagonalization for Etm

Published on
#diagonalization #turing-machines #decidability
209
Views

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

Published on
#elementary-set-theory #turing-machines #decidability
60
Views

Is deciding termination easier than deciding rationality?

Published on
#elementary-number-theory #irrational-numbers #decidability
33
Views

Question on decidability w.r.t. tag systems

Published on
#computability #decidability
83
Views

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

Published on
#matrices #group-theory #free-groups #combinatorial-group-theory #decidability

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.