Question

'try' can decide when a program halts

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

238

Views

'try' can decide when a program halts

Published on 02 January 2025 at 05:19

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

400

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 209 · Answer 4 · 2025-01-02 05:22:16

209

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 475 · Answer 6 · 2025-01-02 05:25:50

475

Views

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

Published on 02 January 2025 at 05:25

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

603

Views

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

Published on 02 January 2025 at 05:26

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

357

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 146 · Answer 10 · 2025-01-02 05:25:49

146

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 617 · Answer 14 · 2025-01-02 05:17:26

617

Views

HaltingProblem in Agda?

Published on 02 January 2025 at 05:17

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

55

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 190 · Answer 16 · 2025-01-02 05:22:51

190

Views

Recognition of Undecidable Propositions(infinite loop)

Published on 02 January 2025 at 05:22

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

349

Views

A function that can catch infinite recursion in python?

Published on 02 January 2025 at 05:22

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

261

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 123 · Answer 19 · 2025-01-02 05:22:14

123

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