MATH
Login Or Sign up

List Question

15
56
Views

Decidability of $2^a \bmod a^3$?

Published on
#number-theory #modular-arithmetic #computability #decidability
1.4k
Views

Is everything provable as true, false, or undecidable?

Published on
#logic #proof-theory #decidability
170
Views

Explicit example and the continuum hypothesis

Published on
#set-theory #decidability
903
Views

$L^*$ decidable $\implies$ $L$ is decidable

Published on
#computer-science #decidability
1.3k
Views

Can a problem be undecidable but yet Turing recognizable?

Published on
#computational-complexity #turing-machines #np-complete #decidability
724
Views

Prove there exists a decidable language "splitting" two other languages

Published on
#turing-machines #decidability
457
Views

First Order Theory with Linear Ordering

Published on
#first-order-logic #formal-languages #decidability
539
Views

Decidability of regularity of context-free grammar

Published on
#regular-language #context-free-grammar #decidability
52
Views

Is the solveability of a diophantine equation in two variables decideable?

Published on
#reference-request #diophantine-equations #decidability
1.9k
Views

How do I show 3-SAT is decidable?

Published on
#computer-science #regular-language #turing-machines #satisfiability #decidability
144
Views

How do we know whether a certain statement is provable or not?

Published on
#set-theory #axioms #decidability
135
Views

What does it mean to say that a formal theory is recursive

Published on
#first-order-logic #decidability
66
Views

which notion of provability in Turing's paper 1936?

Published on
#logic #first-order-logic #turing-machines #decidability
68
Views

Is it decidable if two structures are isomorphic?

Published on
#elementary-set-theory #trees #graph-isomorphism #decidability
27
Views

Decidability of discrete variable predicate calculus

Published on
#discrete-mathematics #first-order-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.