Question

Random partial classical Hilbert style calculus decidable?

score 42 · Answer 1 · 2021-03-13 21:06:31

42

Views

Random partial classical Hilbert style calculus decidable?

Published on 13 Mar 2021 - 21:06

score 403 · Answer 2 · 2021-03-21 06:30:23

403

Views

Is there a simple criterion for when $e^{x}+ ax^{2}+ bx+ c$ has a zero?

Published on 21 Mar 2021 - 6:30

score 67 · Answer 3 · 2021-04-07 14:59:51

67

Views

Undecidability and force-brute checking

Published on 07 Apr 2021 - 14:59

score 886 · Answer 4 · 2021-04-09 06:46:37

886

Views

The undecidability of validity and satisfiability of first-order logic

Published on 09 Apr 2021 - 6:46

score 93 · Answer 5 · 2021-04-12 01:12:54

93

Views

Subtile misunderstanding about Recognizable vs Decidable

Published on 12 Apr 2021 - 1:12

score 823 · Answer 6 · 2021-04-13 20:52:37

823

Views

Let M be a Turing machine. Prove that it is decidable whether M, on a given input w, moves left at least 2021 times.

Published on 13 Apr 2021 - 20:52

score 757 · Answer 7 · 2021-04-24 17:02:29

757

Views

Simulate a Turing-Machine over a Turing Machine

Published on 24 Apr 2021 - 17:02

score 149 · Answer 8 · 2021-05-08 01:44:12

149

Views

Is arithmetic with a $\exists\forall$ induction schema decidable?

Published on 08 May 2021 - 1:44

score 147 · Answer 9 · 2021-05-19 17:31:12

147

Views

Turing Decidability of language $L = [{\langle D \rangle } :$ encoding of a DFA D s.t. ${|L(D)| \leq 50}]$

Published on 19 May 2021 - 17:31

score 684 · Answer 10 · 2021-06-07 03:00:34

684

Views

Is it decidable whether the value of a given definite integral has a closed-form expression?

Published on 07 Jun 2021 - 3:00

score 551 · Answer 11 · 2021-06-07 18:22:05

551

Views

I am looking for class of math problems which are provable in ZF if and only if they are provable in ZFC

Published on 07 Jun 2021 - 18:22

score 120 · Answer 12 · 2021-06-13 15:23:28

120

Views

Is the value of the following limit with an infinite number of variables equal to zero or is it not decidable?

Published on 13 Jun 2021 - 15:23

score 72 · Answer 13 · 2021-06-25 14:40:48

72

Views

Decidability of fragments of many-sorted first-order logic

Published on 25 Jun 2021 - 14:40

score 101 · Answer 14 · 2021-06-26 16:48:16

101

Views

How to prove the undecidability of sets that are not index sets?

Published on 26 Jun 2021 - 16:48

score 56 · Answer 15 · 2021-07-01 12:35:37

56

Views

Gurevich Classifiability Theorem

Published on 01 Jul 2021 - 12:35

List Question

Random partial classical Hilbert style calculus decidable?

Is there a simple criterion for when $e^{x}+ ax^{2}+ bx+ c$ has a zero?

Undecidability and force-brute checking

The undecidability of validity and satisfiability of first-order logic

Subtile misunderstanding about Recognizable vs Decidable

Let M be a Turing machine. Prove that it is decidable whether M, on a given input w, moves left at least 2021 times.

Simulate a Turing-Machine over a Turing Machine

Is arithmetic with a $\exists\forall$ induction schema decidable?

Turing Decidability of language $L = [{\langle D \rangle } :$ encoding of a DFA D s.t. ${|L(D)| \leq 50}]$

Is it decidable whether the value of a given definite integral has a closed-form expression?

I am looking for class of math problems which are provable in ZF if and only if they are provable in ZFC

Is the value of the following limit with an infinite number of variables equal to zero or is it not decidable?

Decidability of fragments of many-sorted first-order logic

How to prove the undecidability of sets that are not index sets?

Gurevich Classifiability Theorem

Trending Questions

Popular # Hahtags

Popular Questions