polcott's user avatar
polcott's user avatar
polcott's user avatar
polcott
  • Member for 4 years, 10 months
  • Last seen this week
0 votes
Accepted

To what extent is an x86 machine equivalent to a Turing Machine?

0 votes

To what extent is an x86 machine equivalent to a Turing Machine?

0 votes

How do we define the term "computation" across models of computation?

0 votes
Accepted

Does the Linz Ĥ applied to ⟨Ĥ⟩ correctly transition to its final reject state?

-1 votes

Does the Linz Ĥ applied to ⟨Ĥ⟩ correctly transition to its final reject state?

-1 votes

Halting problem in C++

-3 votes

Computable Functions

-3 votes

Is C actually Turing-complete?

-4 votes
Accepted

Simulating Halt Decider Applied to the Halting Theorem

-6 votes
Accepted

Are the halting problem proofs refuted by software engineering?

-6 votes

Simulating Halt Decider Applied to the Halting Theorem