MATH
Login Or Sign up

List Question

15
267
Views

Negative Numbers and Gödel’s Incompleteness Theorem

Published on
#computability #turing-machines #incompleteness
92
Views

Finding all repeating points in a large set

Published on
#algorithms #computability
68
Views

Models of computability agreeing on decidable sets.

Published on
#logic #computability
286
Views

Prove that set of all perfect numbers is primitive recursive

Published on
#logic #computability #recursion
162
Views

Why does Turing-computing (being an inconsistent formalism) has undecidable problems?

Published on
#computability #turing-machines #paradoxes #lambda-calculus
48
Views

Algorithmically processable representation of groups

Published on
#group-theory #computer-science #computability
66
Views

Something confusing in the proof of existence of simple sets in Soarse's book.

Published on
#computability
185
Views

Definition by primitive recursion confusion

Published on
#recursion #computability
322
Views

Question about Post's direct construction of a simple set

Published on
#logic #algorithms #recursion #computability
47
Views

Determine type of set

Published on
#computability
49
Views

What's the generic-case complexity of the Halting Problem on LBAs?

Published on
#computer-science #computational-complexity #computability
1k
Views

what is actually a "definable" real number?

Published on
#computability
107
Views

Reference request: the space of formalisms for proving function totality

Published on
#reference-request #computability #formal-proofs
88
Views

Definition: expressions that can be evaluated versus those that can't

Published on
#computability #symbolic-computation
746
Views

Ranks of reals in the Constructible Universe $L$

Published on
#logic #set-theory #computability

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.