MATH
Login Or Sign up

List Question

15
70
Views

"P halts on n" as an elementary math statement

Published on
#computability
57
Views

Why is the proof predicate rudimentary? I still don't know.

Published on
#computability #proof-theory
93
Views

Prove 20-3-SAT is NP-Complete

Published on
#computational-complexity #computability #conjunctive-normal-form
134
Views

Is there a computable enumeration of a set of all computable functions $\mathbb{N} \to \mathbb{N}\cup\{\infty\}$?

Published on
#computability
66
Views

An explanation for a supposedly simple proof

Published on
#logic #proof-explanation #computability
55
Views

Semi-computable set of non-logical axioms implies semi-computable set of deductions

Published on
#logic #computer-science #computability
80
Views

A true but unprovable sentence $\theta$ that is not a $\Pi$-sentence

Published on
#logic #computability #incompleteness
52
Views

Showing a set is computable

Published on
#logic #computability
44
Views

Is the set of indices of all total computable function subset of K the halting set?

Published on
#logic #computability
245
Views

Orbit-Stabilizer problem for $GL(\mathbb Q,n)$ (Algorithmic approach)

Published on
#group-theory #reference-request #algorithms #computability #computational-algebra
71
Views

Reading material and Practice Questions for Recursive Definitions of Languages

Published on
#reference-request #computability #formal-languages #automata
38
Views

Example of a c.e. coded set (from Montalban's book)

Published on
#logic #computability
1.5k
Views

Are there any examples of non "weakly computable" numbers?

Published on
#computability
14
Views

Algorithm dealing with clopen subsets of SFTs

Published on
#dynamical-systems #computability
2.7k
Views

How do uncomputable numbers relate to uncomputable functions?

Published on
#computability #turing-machines

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.