MATH
Login Or Sign up

List Question

15
295
Views

Diagonal argument applied to computable numbers

Published on
#real-analysis #cardinals #computability #turing-machines
17
Views

Proof Using Strong Reducibility

Published on
#computability #computational-mathematics #computational-algebra
167
Views

What is a total $0/1$-valued function"?

Published on
#terminology #computability
525
Views

What does this notation mean? $\Phi(x) \downarrow, \Phi(x) \uparrow$

Published on
#logic #notation #computability
68
Views

Is every degree above ${\bf 0''}$ PA over something close to itself?

Published on
#logic #computability
799
Views

Does "every" first-order theory have a finitely axiomatizable conservative extension?

Published on
#logic #set-theory #first-order-logic #computability #second-order-logic
112
Views

is there a linear bounded automaton the decides $A_{nfa}$?

Published on
#computability #formal-languages #turing-machines #decision-theory
162
Views

Make the language of First Order Logic uncountable

Published on
#logic #first-order-logic #computability #formal-languages
36
Views

Compute a series from a sequence

Published on
#sequences-and-series #computability
581
Views

Question about Proof: Semi-decidable => Recursively Enumerable

Published on
#computability #recursive-algorithms
104
Views

Application of Generalized Rice's Theorem

Published on
#computability
204
Views

Diagonalization/fixed point lemma in logic vs computability theory

Published on
#logic #computability
54
Views

what is the mapping reduction of $A_{TM}$ to $\overline{CF_{TM}}$

Published on
#computability #computational-mathematics #context-free-grammar #turing-machines
325
Views

Arity of Primitive Recursive Functions

Published on
#functions #logic #computability
50
Views

Deterministic rule sets and unique $\Phi$-proofs

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