MATH
Login Or Sign up

List Question

15
79
Views

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

Published on
#formal-proofs #formal-systems
67
Views

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

Published on
#limits #formal-proofs
79
Views

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

Published on
#calculus #real-analysis #sequences-and-series #formal-proofs
2.1k
Views

Proving either or statements (in group theory)

Published on
#abstract-algebra #group-theory #proof-writing #formal-proofs
8.1k
Views

Prove a floor function is onto/surjective

Published on
#discrete-mathematics #ceiling-and-floor-functions #formal-proofs
1k
Views

Countability of Fibonacci series

Published on
#sequences-and-series #logic #fibonacci-numbers #formal-proofs
119
Views

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

Published on
#proof-writing #natural-deduction #formal-proofs
130
Views

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

Published on
#logic #proof-writing #propositional-calculus #natural-deduction #formal-proofs
172
Views

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

Published on
#logic #induction #peano-axioms #formal-proofs
925
Views

Is this proof correct? (natural deduction)

Published on
#logic #propositional-calculus #proof-theory #natural-deduction #formal-proofs
109
Views

Prove the Linear Algebra about Matrices

Published on
#linear-algebra #matrices #formal-proofs
566
Views

Inference Proof for Biconditional

Published on
#logic #propositional-calculus #proof-theory #natural-deduction #formal-proofs
2.1k
Views

Nested induction

Published on
#proof-writing #formal-proofs
134
Views

argument to a formal proof

Published on
#discrete-mathematics #logic #propositional-calculus #formal-proofs #logic-translation
130
Views

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

Published on
#real-analysis #limits-without-lhopital #formal-proofs

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.