List questions from formal-proofs

Published on 23 Mar 2026 - 6:23

60

Views

Limit of $f(x) = x \bmod k$

Published on 17 Mar 2026 - 2:11

69

Views

Need help with formalising proofs in Calculus. Convergent and Divergent series:

Published on 17 Mar 2026 - 7:09

2.1k

Views

Proving either or statements (in group theory)

Published on 17 Mar 2026 - 7:11

8.1k

Views

Prove a floor function is onto/surjective

Published on 17 Mar 2026 - 5:24

1k

Views

Countability of Fibonacci series

Published on 17 Mar 2026 - 0:18

107

Views

Can the natural deduction system prove $P \iff ¬P$ to show that it's a contradiction?

Published on 16 Mar 2026 - 20:59

119

Views

How would I show that X is equivalent to ((¬X ↔ X ) ∨ X )?

Published on 17 Mar 2026 - 19:11

165

Views

Variations in the Statement of Strong Induction: Equivalent or Different?

Published on 17 Mar 2026 - 6:06

917

Views

Is this proof correct? (natural deduction)

Published on 17 Mar 2026 - 21:10

101

Views

Prove the Linear Algebra about Matrices

Published on 17 Mar 2026 - 20:34

560

Views

Inference Proof for Biconditional

Published on 22 Mar 2026 - 14:15

2.1k

Views

Nested induction

Published on 22 Mar 2026 - 8:28

124

Views

argument to a formal proof

Published on 24 Mar 2026 - 20:40

125

Views

Taking the limit of n(e^1/n −1) as n approaches infinity then proving it by the squeeze theorem

Published on 21 Mar 2026 - 22:06

List Question

What is a gross-looking formal axiomatic proof for a relatively simple proposition?

Limit of $f(x) = x \bmod k$

Need help with formalising proofs in Calculus. Convergent and Divergent series:

Proving either or statements (in group theory)

Prove a floor function is onto/surjective

Countability of Fibonacci series

Can the natural deduction system prove $P \iff ¬P$ to show that it's a contradiction?

How would I show that X is equivalent to ((¬X ↔ X ) ∨ X )?

Variations in the Statement of Strong Induction: Equivalent or Different?

Is this proof correct? (natural deduction)

Prove the Linear Algebra about Matrices

Inference Proof for Biconditional

Nested induction

argument to a formal proof

Taking the limit of n(e^1/n −1) as n approaches infinity then proving it by the squeeze theorem

Trending Questions

Popular # Hahtags

Popular Questions