MATH
Login Or Sign up

List Question

15
270
Views

Definition of computability of real numbers?

Published on
#real-analysis #logic #computability
73
Views

On Cardinalities of $\mathcal{RE}$ and $\mathcal{P}(\mathbb{N})$

Published on
#computability
231
Views

Members of (lightface) Borel sets

Published on
#reference-request #logic #computability #descriptive-set-theory
80
Views

Prove $B = \{ \varphi_n(n) | n \in \mathsf{K} \}$ to be recursive

Published on
#computability
360
Views

Representing Recursion and Primitive Recursion diagrammatically

Published on
#functions #logic #computability #recursion
520
Views

Ackermann function in terms of higher order recursion

Published on
#logic #computer-science #computability #ackermann-function
159
Views

Sources on a category of ordinals

Published on
#reference-request #category-theory #computability
538
Views

Difference between language is decidable and function calculable by turing machine

Published on
#computer-science #computability
160
Views

$\omega-$model for $RCA_0$ and Proof of Ramsey's Theorem in $ACA_0$

Published on
#computability #reverse-math
159
Views

Primitive Recursion maps

Published on
#logic #computability
3.1k
Views

Turing machine that computes if two integers are equal

Published on
#logic #computability
278
Views

Recursive relation and predicate

Published on
#logic #computability
557
Views

Explain why if the language A is recursive, then A is reducible to 0*1*

Published on
#computer-science #computability #formal-languages #turing-machines
178
Views

Recursive functions, successor function

Published on
#recurrence-relations #computability #recursive-algorithms #lambda-calculus
354
Views

Recursive relation using successor function

Published on
#computability #recursive-algorithms #recursion #lambda-calculus

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.