MATH
Login Or Sign up

List Question

15
79
Views

Does a formal system that proves everything that is provable exists?

Published on
#logic #computability #formal-systems
115
Views

An analogue of Rayo's function for ordinals

Published on
#computability #ordinals
112
Views

Why is the blank-tape halting problem $H_0$ so relevant in literature?

Published on
#computer-science #computability #turing-machines #decidability
396
Views

What is the relation between recursive languages and partial recursive functions?

Published on
#computer-science #computability #formal-languages #automata #turing-machines
608
Views

What kind of problem is the membership problem of a recursive enumerable language?

Published on
#computer-science #computability #formal-languages #turing-machines
160
Views

Is a TM with oracle also a TM?

Published on
#computer-science #computability #formal-languages #turing-machines #oracles
61
Views

Is any variety generated by a recursively presented group always recursive?

Published on
#abstract-algebra #group-theory #computability #universal-algebra #finitely-generated
126
Views

Determining the size of a theory's models

Published on
#model-theory #computability
41
Views

Family of unary partial computable functions having total computable extension is computable.

Published on
#computability #partial-functions
443
Views

Alternative conditions for deciding the halting problem

Published on
#logic #computability #turing-machines
116
Views

The use of soundness in the Kritchman-Raz proof and Berry's paradox

Published on
#logic #computability #incompleteness #kolmogorov-complexity
65
Views

Does a r.e. language as a r.e. set assume some encoding from the set of all words to the set of natural numbers?

Published on
#computer-science #computability #formal-languages #turing-machines
189
Views

Is $S_R$ finitely generated?

Published on
#abstract-algebra #group-theory #symmetric-groups #computability #finitely-generated
248
Views

“Natural” example of an undecidable subset of $\Bbb N$

Published on
#examples-counterexamples #computability #decidability
117
Views

In terms of computability theory, what is a programming language?

Published on
#computer-science #computability

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.