MATH
Login Or Sign up

List Question

15
48
Views

What do $A \upharpoonright x$ and $\mu s \ge x$ denote?

Published on
#notation #definition #computability
112
Views

Show that whether or not an arbitrary Turing machine ever executes a particular one of its instructions is unsolvable

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

What mathematical structure best entails self-modifying programs?

Published on
#computer-science #computability
442
Views

Existence of a basis in constructive vector spaces

Published on
#vector-spaces #computability #axiom-of-choice #constructive-mathematics
8.6k
Views

Input and output of a Turing machine

Published on
#computability #automata #turing-machines
33
Views

Gathering nonconsecutive 1's by a Turing machine

Published on
#computability #turing-machines
124
Views

Challenge on Some Definition on Formal Language & Recursive & Automata

Published on
#elementary-set-theory #logic #computational-complexity #computability #turing-machines
138
Views

Non-decidable $\Pi^0_1$ (effectively closed) classes

Published on
#logic #computability #baire-category
1.1k
Views

Undefinable Real Numbers

Published on
#logic #set-theory #computability #real-numbers
49
Views

Proving non-regularity of a language

Published on
#computational-complexity #computability #automata #regular-language #regular-expressions
268
Views

It is undecidable if The Intersection between Context Free Language and Context Sensitive Language is the empty set

Published on
#computability
7.5k
Views

Text books on computability

Published on
#reference-request #computability #big-list #book-recommendation #turing-machines
394
Views

Is there a recursive injective and surjective function f:N→PRF?

Published on
#computability #turing-machines
51
Views

show that inverses $\pi_{1},\pi_{2}$ are recursive?

Published on
#logic #computability
41
Views

Question about Computability

Published on
#computability #fixed-point-theorems

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.