MATH
Login Or Sign up

List Question

15
484
Views

Decidability of the membership problem for Baumslag Solitar group $BS(1,2)$

Published on
#abstract-algebra #group-theory #decidability
377
Views

Decidability of membership problem for rational matrix groups

Published on
#matrices #group-theory #decidability
479
Views

Collatz conjecture undecidable from the general case?

Published on
#collatz-conjecture #decidability
817
Views

The set of tautologies is decidable

Published on
#logic #decidability
274
Views

Undecidable cardinality

Published on
#set-theory #examples-counterexamples #cardinals #decidability
713
Views

Proving prefix language of a given language is not decidable

Published on
#computer-science #formal-languages #turing-machines #decidability
91
Views

What are the conclusions we can draw from Kleene's Recursion Theorem regarding computability?

Published on
#recursion #computability #meta-math #decidability
369
Views

Does decidability imply inconsistency?

Published on
#logic #incompleteness #decidability #decision-problems
1.1k
Views

Decide Whether or Not These Questions are Decidable and Substantiate Your Answers

Published on
#discrete-mathematics #computer-science #computability #turing-machines #decidability
92
Views

Is the complement of the equivalence problem for context-free languages semi decidable?

Published on
#context-free-grammar #decidability
303
Views

Are we sure Millenium Prize Problems can be solved?

Published on
#logic #incompleteness #decidability
4k
Views

Decidability vs Completeness

Published on
#logic #model-theory #proof-theory #incompleteness #decidability
54
Views

Finite Model Property of Epistemic Logics

Published on
#logic #modal-logic #decidability
82
Views

Can we prove that "$x^2+1$ is prime infinitely often" must be provable or disprovable?

Published on
#diophantine-equations #upper-lower-bounds #decidability
50
Views

Decidability problem for one-formula sequent in first order logic

Published on
#logic #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.