MATH
Login Or Sign up

List Question

15
128
Views

BPP (complexity)

Published on
#computational-complexity #turing-machines #computational-algebra
31
Views

BPP(complexity) with binary form of number

Published on
#computational-complexity #turing-machines #computational-algebra
2.3k
Views

Why is hamiltonian path reduction to cycle wrong

Published on
#turing-machines #hamiltonian-path
344
Views

What's the effect on other complexity classes if P=L?

Published on
#algorithms #computational-complexity #turing-machines #np-complete
947
Views

Can you write a Turing machine in set theory?

Published on
#set-theory #turing-machines
172
Views

Is there a name for a single state turing machine with two heads?

Published on
#turing-machines
85
Views

Calculate the Gödel number of the band function

Published on
#logic #prime-numbers #computer-science #turing-machines
361
Views

What is a normalized Turing Machine

Published on
#logic #computer-science #turing-machines
51
Views

$\text{LOOP-EVEN}_{TM}$ = {M is a TM that won't halt for every EVEN input} why is $\text{LOOP-EVEN}^\complement$ recognisable?

Published on
#computability #formal-languages #turing-machines
92
Views

Simplest set of replacement rules which can include mathematical logic?

Published on
#foundations #turing-machines #type-theory #cellular-automata
573
Views

A is an NP-Complete language, B is a language in P, prove that A∪B is NP-Complete

Published on
#computability #formal-languages #turing-machines
1.1k
Views

Decide Whether or Not These Questions are Decidable and Substantiate Your Answers

Published on
#discrete-mathematics #computer-science #computability #turing-machines #decidability
420
Views

Simplest Turing Machine for a particular binary string

Published on
#recreational-mathematics #turing-machines
108
Views

Infinite Time Turing Machine and Hypertask

Published on
#set-theory #cardinals #turing-machines
64
Views

What is an example of a simple formal language that allows to write a complete proof that a particular Turing machine halts?

Published on
#logic #formal-languages #proof-theory #turing-machines #provability

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.