Newbetuts
.
New posts in decidability
Help me understand decidability of an axiom system of a theory
logic
decidability
What is wrong with this naive approach to Hilbert's 10th problem?
number-theory
proof-verification
logic
first-order-logic
decidability
Decidability vs Completeness
logic
model-theory
proof-theory
incompleteness
decidability
Is the decidability of all possible axiomatizations equivalent to decidability?
logic
formal-systems
decidability
I am looking for class of math problems which are provable in ZF if and only if they are provable in ZFC
logic
proof-writing
set-theory
riemann-hypothesis
decidability
Why is Q (Robinson arithmetic) both undecidable and axiomatizable?
logic
arithmetic
computability
axioms
decidability
The word problem for finite groups
group-theory
finite-groups
computability
combinatorial-group-theory
decidability
How to show that if there's a mapping reduction from L to its complement, it doesn't imply that L∈R?
computer-science
computability
formal-languages
turing-machines
decidability
Gödel's completeness theorem and the undecidability of first-order logic
logic
first-order-logic
computability
incompleteness
decidability
The range of a non-computable function that grows faster than computable functions is undecidable
discrete-mathematics
logic
computability
decidability
Is there a decision procedure for intuitionistic propositional logic?
logic
algorithms
intuitionistic-logic
provability
decidability
Are we sure Millenium Prize Problems can be solved?
logic
incompleteness
decidability
Prev