MATH
Login Or Sign up

List Question

15
111
Views

Binary representation of real numbers without dots

Published on
#computability
472
Views

Countable Set & Formal Grammar

Published on
#elementary-set-theory #logic #computational-complexity #computability #formal-languages
1k
Views

TOTAL is not Recursively Enumerable

Published on
#computability
173
Views

Number of $1$s in the binary representation of $n$

Published on
#arithmetic #computability #recursion
315
Views

Proof that Finite Turing Machine is reducible to Regular Turing Machine

Published on
#computer-science #computability #turing-machines
859
Views

infinitely long input for a turing machine

Published on
#computability
1.2k
Views

Turing machines that compute $\pi$

Published on
#arithmetic #computability #recursive-algorithms
700
Views

Turing Machine Problem

Published on
#computability #automata #context-free-grammar #turing-machines #formal-grammar
331
Views

Showing that a certain recursive set cannot exist?

Published on
#logic #computability
114
Views

countable subset of surreal games

Published on
#computability #combinatorial-game-theory
119
Views

Is the function $f(n)=\begin{cases} 0,& \text{If $CH$} \\ 1,& \text{If $\lnot CH$} \end{cases}$ $\mu$-recursive?

Published on
#logic #computability
77
Views

Why is this relation recursive?

Published on
#logic #relations #computability
41
Views

An $n+1$-c.e. set which is not $n$-c.e.

Published on
#logic #computability
46
Views

Decidability involving functions

Published on
#computability
401
Views

An algorithmic approach to constructing the real numbers

Published on
#computability #real-numbers

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.