MATH
Login Or Sign up

List Question

15
107
Views

Non-computable c.e. sets are Kurtz random

Published on
#logic #computability #algorithmic-randomness
243
Views

A multivariate function, computable for any fixed first argument, is computable

Published on
#computability #recursion
369
Views

Function composition in computability

Published on
#computability #recursion #function-and-relation-composition
209
Views

Complexity of Recursively Inseparable Sets

Published on
#logic #computability
177
Views

Understanding second axiom of Primitive recursion

Published on
#computability #lambda-calculus #recursion
301
Views

Problem from Cutland's Computability: 3.2. problem 3

Published on
#logic #proof-verification #computability
508
Views

How does one generally use partial function in logical statements?

Published on
#logic #computability #formal-languages #coding-theory #turing-machines
2.5k
Views

Show that $gcd(x,y)$ and $z = lcm(x,y)$ is primitive recursive

Published on
#number-theory #algorithms #computability #recursive-algorithms
464
Views

Proof-theoretic characterization of the primitive recursive functions?

Published on
#logic #computability #proof-theory
175
Views

Kolmogorov (Kolmogoroff-) Complexity, Contradiction with Invariance Theorem.

Published on
#logic #computability #incompleteness #kolmogorov-complexity
45
Views

Figuring out the steps in a Recursive Function

Published on
#combinatorics #discrete-mathematics #computability #recursion
736
Views

Show that the Turing machine will solve the self-halting problem

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

Direct proof that $K \leq_\mathrm{T} Rec$

Published on
#logic #computability
63
Views

Constructing function for set enumeration

Published on
#combinatorics #computability
107
Views

Kolmogorov (Kolmogoroff- ) Complexity of infinite sequences, Request for Proof

Published on
#logic #computability #kolmogorov-complexity

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.