MATH
Login Or Sign up

List Question

15
407
Views

Can you prove a theorem by proving it’s undecidable? (Numberphile question)

Published on
#incompleteness #provability #decidability
74
Views

How is it decided whether a system is complete/consistent (specific case)?

Published on
#incompleteness #decidability
643
Views

Algebraic closed field theory is $\Sigma_1$ (hence decidable)

Published on
#logic #field-theory #model-theory #decidability
154
Views

Is this language decidable or not?

Published on
#computer-science #computational-complexity #computability #turing-machines #decidability
307
Views

Prove that this language is decidable or not

Published on
#computer-science #computational-complexity #computability #turing-machines #decidability
1.4k
Views

Proving that the language is not recursive enumerable

Published on
#decision-theory #decidability
224
Views

Is completeness of a propositional axiom set decidable?

Published on
#logic #propositional-calculus #computability #axioms #decidability
411
Views

Is determining derivability in propositional logic decidable?

Published on
#logic #propositional-calculus #proof-theory #decidability
230
Views

Is a logic system with predicate symbols, individual constants, negation, and conjunction (no variables and no quantification) decidable?

Published on
#logic #propositional-calculus #predicate-logic #decidability
163
Views

Recursion Theorem prime number

Published on
#prime-numbers #computability #recursion #turing-machines #decidability
286
Views

Prime number decidability: recursion theorem

Published on
#prime-numbers #recursion #turing-machines #decidability
707
Views

Proving the decidability of a language

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

Nonalgorithmic and approximate solutions to undecidable problems / formulas?

Published on
#logic #algorithms #approximation #decidability
899
Views

What is wrong with this naive approach to Hilbert's 10th problem?

Published on
#number-theory #proof-verification #logic #first-order-logic #decidability
887
Views

What is the simplest undecidable formula of the First Order Logic (Predicate Logic)?

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