Question

'try' can decide when a program halts

score 229 · Answer 1 · 2025-01-02 05:19:29

229

Views

'try' can decide when a program halts

Published on 02 January 2025 at 05:19

score 390 · Answer 2 · 2024-12-30 21:33:51

390

Views

How to prove that "Total" is not recursive (decidable)

Published on 30 December 2024 at 21:33

score 7.9k · Answer 3 · 2025-01-02 05:22:17

7.9k

Views

Determining whether a regex is a subset of another

Published on 02 January 2025 at 05:22

score 200 · Answer 4 · 2025-01-02 05:22:16

200

Views

Is Rice's Theorem equivalent to the Halting problem?

Published on 02 January 2025 at 05:22

score 1.5k · Answer 5 · 2025-01-02 05:22:18

1.5k

Views

The use of System.currentTimeMillis() in loops in Java

Published on 02 January 2025 at 05:22

score 466 · Answer 6 · 2025-01-02 05:25:50

466

Views

Making a function that will identify an infinite loop in existing code

Published on 02 January 2025 at 05:25

score 595 · Answer 7 · 2025-01-02 05:26:13

595

Views

Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?

Published on 02 January 2025 at 05:26

score 348 · Answer 8 · 2025-01-02 05:18:06

348

Views

Discrete Logarithm in Prolog

Published on 02 January 2025 at 05:18

score 1.4k · Answer 9 · 2025-01-02 05:19:00

1.4k

Views

Do agda programs necessarily terminate?

Published on 02 January 2025 at 05:19

score 137 · Answer 10 · 2025-01-02 05:25:49

137

Views

Every np-complete problem reduces to the Halting problem. Is this true?

Published on 02 January 2025 at 05:25

score 1.4k · Answer 11 · 2025-01-02 05:25:08

1.4k

Views

The difference between halting and accepting in a Turing machine

Published on 02 January 2025 at 05:25

score 1.3k · Answer 12 · 2025-01-02 05:18:29

1.3k

Views

Proving Equivalence of TM and DFA

Published on 02 January 2025 at 05:18

score 19.1k · Answer 13 · 2025-01-02 05:25:07

19.1k

Views

How does this proof, that the halting problem is undecidable, work?

Published on 02 January 2025 at 05:25

score 611 · Answer 14 · 2025-01-02 05:17:26

611

Views

HaltingProblem in Agda?

Published on 02 January 2025 at 05:17

score 50 · Answer 15 · 2025-01-02 05:27:53

50

Views

Can halting function be created without referring/assembling/generation of the solver in the input?

Published on 02 January 2025 at 05:27

score 185 · Answer 16 · 2025-01-02 05:22:51

185

Views

Recognition of Undecidable Propositions(infinite loop)

Published on 02 January 2025 at 05:22

score 344 · Answer 17 · 2025-01-02 05:22:49

344

Views

A function that can catch infinite recursion in python?

Published on 02 January 2025 at 05:22

score 256 · Answer 18 · 2025-01-02 05:28:15

256

Views

Understanding the meaning of CheckHalt(X,X) in the proof of a theorem in Sussana Epp's Discrete Mathematics with applications

Published on 02 January 2025 at 05:28

score 118 · Answer 19 · 2025-01-02 05:22:14

118

Views

A slightly different version of the halting problemo

Published on 02 January 2025 at 05:22

score 4k · Answer 20 · 2025-01-02 05:22:48

4k

Views

Is there a "good enough" solution for the halting problem?

Published on 02 January 2025 at 05:22

List Question

'try' can decide when a program halts

How to prove that "Total" is not recursive (decidable)

Determining whether a regex is a subset of another

Is Rice's Theorem equivalent to the Halting problem?

The use of System.currentTimeMillis() in loops in Java

Making a function that will identify an infinite loop in existing code

Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?

Discrete Logarithm in Prolog

Do agda programs necessarily terminate?

Every np-complete problem reduces to the Halting problem. Is this true?

The difference between halting and accepting in a Turing machine

Proving Equivalence of TM and DFA

How does this proof, that the halting problem is undecidable, work?

HaltingProblem in Agda?

Can halting function be created without referring/assembling/generation of the solver in the input?

Recognition of Undecidable Propositions(infinite loop)

A function that can catch infinite recursion in python?

Understanding the meaning of CheckHalt(X,X) in the proof of a theorem in Sussana Epp's Discrete Mathematics with applications

A slightly different version of the halting problemo

Is there a "good enough" solution for the halting problem?

Trending Questions

Popular # Hahtags

Popular Questions