MATH
Login Or Sign up

List Question

15
65
Views

Recursive Set in Partial Computable Function Problem

Published on
#computability
118
Views

Turing & Computability & Computation

Published on
#logic #computer-science #computability #turing-machines
70
Views

Logic & Computability Problem

Published on
#logic #computability #turing-machines
113
Views

Distinguishing sets according to more fine-grained notions than cardinality.

Published on
#reference-request #category-theory #set-theory #computability
670
Views

Is it decidable: is there an input for which turing machine will move its head left?

Published on
#computability #turing-machines
93
Views

Big Questions in First Order Logic

Published on
#computability #first-order-logic
224
Views

Many-one Reducibility Understanding Problem

Published on
#logic #computability
608
Views

Is this proof for the undecidability of $\beta$-normalisation in $\lambda$-calculus valid?

Published on
#proof-verification #computability #lambda-calculus
291
Views

Is there a more general proof for the halting problem?

Published on
#computer-science #computability
527
Views

Bijection between computable reals and rationals?

Published on
#computability
154
Views

Uncomputability of subset relation

Published on
#elementary-set-theory #computability
248
Views

Primitive-recursive functions and polynomial equations

Published on
#polynomials #diophantine-equations #computability #recursive-algorithms
73
Views

How many recursively definable groups are there on $\mathbb{N}$?

Published on
#group-theory #computability
87
Views

Is a set $\{ e \in \mathbb{N} | \#\{x \in \mathbb{N} | \phi_e(x) \downarrow \} = \#\mathbb{N}\}$ computable?

Published on
#computability
214
Views

Problems On Many-one Reducible

Published on
#logic #computability #recursion

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.