Menu
NEWBEDEV
Python
Javascript
Linux
Cheat sheet
NEWBEDEV
Python 1
Javascript
Linux
Cheat sheet
Contact
New posts in Computability Theory
Is being close to a Halting set computable?
Apr 25, 2021
Is there a known Turing machine which halts if and only if the Collatz conjecture has a counterexample?
Apr 25, 2021
How (non-)computable is set theory?
Apr 25, 2021
Determining if a rational function has a subtraction-free expression
Apr 25, 2021
Is the cohomology ring of a finite group computable?
Apr 25, 2021
Reasoning Using Countable Subsets of Real Numbers
Apr 25, 2021
Proof there is no algorithm to compute the intersection of a line and sinusoidal wave?
Apr 25, 2021
Any important consequences with presupposition of $\mathbf{P} \neq \mathbf{NP}$
Apr 25, 2021
Is simply typed lambda calculus with fixed-point combinator Turing-complete?
Apr 25, 2021
Are there recursive sets $X$ with Property A that contain infinitely many incompressible strings?
Apr 25, 2021
« Newer Entries
Older Entries »