MATH
Login Or Sign up

List Question

15
895
Views

Why are all computable functions representable in PA?

Published on
#computability #incompleteness #peano-axioms
269
Views

Currying syntax clarification - how to work through an example of currying?

Published on
#notation #computer-science #computability
642
Views

Most "simple" $\mu$-recursive function that is not primitive recursive

Published on
#computability #recursion #ackermann-function
143
Views

Existence of T-Vitali sets...

Published on
#measure-theory #computability
541
Views

Set which has a finite bounded string length

Published on
#elementary-set-theory #computer-science #computability
195
Views

Let $Q$ be an undecidable subset of $\mathbb{N}$ created by diagonalization. What's the problem with this "algorithm" for computing $Q$?

Published on
#logic #computability
217
Views

Applications of computer science to mathematics

Published on
#reference-request #soft-question #computer-science #computational-complexity #computability
147
Views

Computable function with noncomputable set of fixed points

Published on
#logic #computability
358
Views

Recursively enumerable sets are domain of partial recursive functions

Published on
#functions #logic #computability
1.9k
Views

turing machine with exactly 42 states / state that is visited at least 42 times

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

Does stay put TM recognizes same languages as standard TM

Published on
#computability #turing-machines
990
Views

Prove that $\{ww^R\#ww^R\}$ is not context free

Published on
#computer-science #computability #automata #context-free-grammar
81
Views

Decidability of given languages

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

There exist uncomputable integer numbers?

Published on
#computability #integers
164
Views

Proving that there exists a function $f: \mathbb{N} \rightarrow \mathbb{N}$ that is not URM-computable.

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.