MATH
Login Or Sign up

List Question

15
57
Views

using quantifiers for predicates, prenex normal form

Published on
#logic #predicate-logic #computability #quantifiers
1.7k
Views

Busy Beaver function growth rate compared to computable functions

Published on
#computability #turing-machines
102
Views

Why is Feferman's generic hyperarithmetic set not implicitly definable?

Published on
#computability #forcing
1k
Views

Classify language as decidable, undecidable but recognisable or unrecognizable

Published on
#logic #computability #turing-machines #decidability
454
Views

Application of pumping lemma

Published on
#computability
265
Views

Arity problem while showing factorial is primitive recursive.

Published on
#computability
603
Views

Kleene post theorem

Published on
#logic #computability
80
Views

How to show that the Condition is Diophantine

Published on
#elementary-number-theory #logic #computer-science #diophantine-equations #computability
239
Views

not a computable function

Published on
#logic #computability #oracles
919
Views

Are uncomputable numbers a subset of real numbers?

Published on
#complex-numbers #real-numbers #computability
277
Views

Is there actually a universal notion of computability?

Published on
#logic #set-theory #computability #turing-machines
314
Views

Application of Rice's Theorem

Published on
#computer-science #computational-complexity #computability #decidability
136
Views

Prove $A$ is creative set

Published on
#computability
291
Views

What is wrong with my application of the Myhill-Nerode theorem on this language?

Published on
#computer-science #computability #formal-languages #automata #regular-language
108
Views

Why is this TM problem decidable

Published on
#computational-complexity #computability #turing-machines #decidability

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.