MATH
Login Or Sign up

List Question

15
825
Views

How-to determine whether a given set is recursively enumerable?

Published on
#computability
1.2k
Views

Efficient algorithm for calculating the tetration of two numbers mod n?

Published on
#abstract-algebra #algorithms #computability #tetration #magma
1.3k
Views

Is the Mandelbrot set computable?

Published on
#computability #fractals
116
Views

Hausdorff dimension of computable real numbers

Published on
#computability #dimension-theory-analysis
106
Views

Proof: All recursive functions are arithmetic (logic)

Published on
#logic #computability
120
Views

Recursive Set Challenge

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

Function Combination on Computer Science

Published on
#functions #logic #computer-science #contest-math #computability
133
Views

Meaning of Biinterpretability.

Published on
#logic #computability #recursion
739
Views

Functions with and without distinction of cases

Published on
#computability
38
Views

Generating interesting random TMs

Published on
#computer-science #computability
67
Views

"Building blocks" for computable functions

Published on
#computability #irrational-numbers #recursive-algorithms
315
Views

Proof that $\{ e \ | \ \forall p$ prime$: \varphi_e (p) \downarrow \}$ is not $\Delta_2$

Published on
#computability
938
Views

Proof that INF (the set of indices of Turing Machines that halt on infinitely many inputs) is not computably enumerable, I.e. $\not \in \Sigma_1^0$

Published on
#computability
58
Views

What techniques are there to search for first order sentence equivalence?

Published on
#logic #computability
48
Views

Computable models of ($\omega$, <) without computable isomorphism

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