MATH
Login Or Sign up

List Question

15
188
Views

Understanding of recursive functions

Published on
#computability
2.4k
Views

Existence of recursively inseparable sets that are recursively enumerable

Published on
#logic #computability
3.8k
Views

What philosophical consequence of Goedel's incompleteness theorems?

Published on
#logic #computability #philosophy #incompleteness
163
Views

A question on essentially undecidable first-order theories

Published on
#computability
633
Views

A revisit to the question: Can total recursive functions be recursively enumerated?

Published on
#computability
193
Views

Solve equation on the PC

Published on
#computer-science #computability #computational-mathematics
4.5k
Views

Most computationally intensive algorithm.

Published on
#algorithms #computer-science #computability
50
Views

Boolean Expression

Published on
#computability #boolean-algebra
171
Views

A homogeneous set of some kind

Published on
#logic #computability
310
Views

Notation in Sacks' 'Higher Recursion Theory'

Published on
#logic #notation #computability #descriptive-set-theory
451
Views

Proof of a Theorem in Gao's 'Invariant Descriptive Set Theory'

Published on
#reference-request #computability #descriptive-set-theory
124
Views

there is no partial recursive function f s.t. whenever N-W_e has one element, f converges and N-W_e = f(e)

Published on
#computability
259
Views

Creating ways to encode recursive function.

Published on
#computability
410
Views

Equivalence of sequences and subsets of natural numbers

Published on
#computability #infinity #philosophy
202
Views

Finding a total function not in a computable sequence of functions

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.