MATH
Login Or Sign up

List Question

15
21
Views

Undecidability of CFG subtraction under a co-finiteness assumption

Published on
#computer-science #computability #formal-languages #context-free-grammar #decidability
64
Views

Why is this undecidability proof for $E_{TM}$ valid?

Published on
#computability #turing-machines #decidability
44
Views

Is it decidable whether a classically valid first-order formula is also intuitionistically valid?

Published on
#logic #first-order-logic #intuitionistic-logic #decidability
93
Views

Is calculability calculable?

Published on
#decidability
45
Views

Relationship between function decidability and set decidability

Published on
#logic #set-theory #formal-languages #decidability
123
Views

Why is the number 3 come up so often in Chaos theory and Undecidability as a boundry? Is it just a coincedence?

Published on
#diophantine-equations #chaos-theory #decidability
70
Views

Deciding a circle rotation reachability problem?

Published on
#number-theory #dynamical-systems #computer-science #computability #decidability
6.9k
Views

How could the Collatz conjecture possibly be undecidable?

Published on
#collatz-conjecture #decidability
92
Views

What is true about the languages $L1$ and $L2$?

Published on
#computability #turing-machines #decidability
1k
Views

Is F decidable, Turing-recognizable, co-Turing-recognizable

Published on
#automata #turing-machines #decidability
1.1k
Views

Are non-computable and undecidable the same?

Published on
#logic #terminology #computability #decidability
302
Views

Which "natural" problems are independent of ZFC?

Published on
#logic #math-history #big-list #incompleteness #decidability
345
Views

Classify as decidable, semi-decidable or not semi-decidable

Published on
#computer-science #computability #automata #decidability
197
Views

Is this function computable and total?

Published on
#functions #computability #turing-machines #decidability
54
Views

Combinatorial Problems, Normal Systems

Published on
#logic #proof-explanation #computability #turing-machines #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.