Question

Semantics for minimal logic

score 1.6k · Answer 1 · 2026-04-29 12:26:07

1.6k

Views

Semantics for minimal logic

Published on 29 Apr 2026 - 12:26

score 59 · Answer 2 · 2026-05-01 00:45:14

59

Views

How do I prove that the following function is increasing in $t\geq 1$ for any $1\leq y \leq t$?

Published on 01 May 2026 - 0:45

score 270 · Answer 3 · 2026-04-29 12:20:03

270

Views

Is the sign of a real number decidable?

Published on 29 Apr 2026 - 12:20

score 723 · Answer 4 · 2026-05-03 04:35:29

723

Views

Example of the property of rational numbers that must be proved using the axioms of real numbers?

Published on 03 May 2026 - 4:35

score 1k · Answer 5 · 2026-05-05 12:43:39

1k

Views

Inverse Functions and their intersection points

Published on 05 May 2026 - 12:43

score 54 · Answer 6 · 2026-05-05 06:00:34

Is there such a function $f(a,b)=k$ where each value of $k$ appears only once for all integer values of $a$ and $b$?

score 84 · Answer 7 · 2026-04-20 14:09:47

84

Views

Prove $Q \vdash [\forall x < \overline{n+1}]\phi \leftrightarrow [\phi^x_{\overline{n}}\land(\forall x <\bar{n})\phi]$

Published on 20 Apr 2026 - 14:09

score 51 · Answer 8 · 2026-05-10 11:15:12

51

Views

Find $a$ given a function

Published on 10 May 2026 - 11:15

score 264 · Answer 9 · 2026-05-01 07:37:51

264

Views

What's the difference between fixed point lemma and diagonalization lemma

Published on 01 May 2026 - 7:37

score 116 · Answer 10 · 2026-05-05 05:08:26

116

Views

expression that cannot be "written down" re: incompleteness, logic

Published on 05 May 2026 - 5:08

score 159 · Answer 11 · 2026-04-29 12:46:50

159

Views

Löb's Theorem for proofs of constant size

Published on 29 Apr 2026 - 12:46

score 186 · Answer 12 · 2026-04-29 12:52:32

186

Views

Prove that $\left(\sum_{k=1}^n\,\left(\frac{k}{n}\right)^n\right)^{\frac{1}{n}}$ decreases as $n$ increases.

Published on 29 Apr 2026 - 12:52

score 196 · Answer 13 · 2026-04-29 12:52:34

196

Views

Proof predicate in PA and stronger system

Published on 29 Apr 2026 - 12:52

score 50 · Answer 14 · 2026-04-29 12:52:41

50

Views

Would a proof predicate change if a stronger system used despite sharing language?

Published on 29 Apr 2026 - 12:52

score 14.3k · Answer 15 · 2026-04-29 12:52:32

14.3k

Views

Is there any conjecture that has been proved to be solvable/provable but whose direct solution/proof is not yet known?

Published on 29 Apr 2026 - 12:52

List Question

Semantics for minimal logic

How do I prove that the following function is increasing in $t\geq 1$ for any $1\leq y \leq t$?

Is the sign of a real number decidable?

Example of the property of rational numbers that must be proved using the axioms of real numbers?

Inverse Functions and their intersection points

Is there such a function $f(a,b)=k$ where each value of $k$ appears only once for all integer values of $a$ and $b$?

Prove $Q \vdash [\forall x < \overline{n+1}]\phi \leftrightarrow [\phi^x_{\overline{n}}\land(\forall x <\bar{n})\phi]$

Find $a$ given a function

What's the difference between fixed point lemma and diagonalization lemma

expression that cannot be "written down" re: incompleteness, logic

Löb's Theorem for proofs of constant size

Prove that $\left(\sum_{k=1}^n\,\left(\frac{k}{n}\right)^n\right)^{\frac{1}{n}}$ decreases as $n$ increases.

Proof predicate in PA and stronger system

Would a proof predicate change if a stronger system used despite sharing language?

Is there any conjecture that has been proved to be solvable/provable but whose direct solution/proof is not yet known?

Trending Questions

Popular # Hahtags

Popular Questions