MATH
Login Or Sign up

List Question

15
243
Views

Completeness of the Reals (Tarski's Theorem)

Published on
#logic #incompleteness #decidability
89
Views

Transcendental numbers are decidable: a proof?

Published on
#transcendental-numbers #decidability #algebraic-numbers
80
Views

Is every axiomatizable theory $T$ countable?

Published on
#logic #decidability
1.3k
Views

Why is "decidable" included in "Turing-recognizable"?

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

Essential undecidability of binary string arithmetic

Published on
#logic #computability #axioms #formal-systems #decidability
44
Views

Could the decidability of a theorem be undecidable?

Published on
#decidability
83
Views

What background do I need to know to understand the paper published by Alan Turing mentioning the halting problem?

Published on
#computational-mathematics #decidability
217
Views

Bijection between $2^{\Sigma^*}$ and $\mathbb R$

Published on
#elementary-set-theory #regular-language #turing-machines #decidability
460
Views

Decidability of DCFL and Undecidability of CFL with respect to regularity

Published on
#recursive-algorithms #context-free-grammar #turing-machines #decidability #pushdown-automata
1.4k
Views

Why is "Turing machine makes no left move" decidable?

Published on
#recursive-algorithms #turing-machines #decidability
66
Views

Must every Turing-complete language be able to enumerate precisely those algorithms which return a particular value?

Published on
#computer-science #computability #turing-machines #decidability #decision-problems
113
Views

Is this modified characteristic function computable?

Published on
#logic #computer-science #computability #decidability
676
Views

Show the projection of decidable language is Turing-recognizable

Published on
#turing-machines #decidability
933
Views

Why does Alan Turing proof of the halting problem is considered a proof that mathematics is undecidable?

Published on
#computational-mathematics #decidability
381
Views

Simple concrete example of a language that is Turing recognizable but not decidable

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