MATH
Login Or Sign up

List Question

15
165
Views

Can all unprovable statements in a given mathematical theory be determined with the addition of a finite number of new axioms?

Published on
#logic #foundations #incompleteness
42
Views

2 different results using associative property in boolean expression

Published on
#logic #propositional-calculus #boolean-algebra
78
Views

Different definitions of Natural Numbers and Proof by Contradiction

Published on
#elementary-number-theory #elementary-set-theory #logic #proof-explanation
139
Views

Logic in terms of 'gates' and 'circuits'

Published on
#logic
95
Views

8 bunnies and 3 directions

Published on
#logic #permutations #combinations
339
Views

Hilbert's style sysytem without deductive theorem.

Published on
#logic #proof-writing #propositional-calculus #hilbert-calculus
1.8k
Views

Is 3-CNF to 2-CNF generally possible (or in particular)?

Published on
#logic #propositional-calculus #conjunctive-normal-form
56
Views

What set is represented by $\neg Theor(x)$?

Published on
#logic
171
Views

Is the ring of sequences elementarily equivalent to the subring of convergent sequences?

Published on
#abstract-algebra #sequences-and-series #logic #ring-theory #model-theory
330
Views

Express least and greatest fixed point using predicate and quantifiers

Published on
#discrete-mathematics #logic #predicate-logic #first-order-logic #quantifiers
169
Views

Tensor rank as a first order formula

Published on
#logic #first-order-logic #tensors #matrix-rank #tensor-rank
221
Views

Why is there a limitation on the existential introduction in sequent calculus?

Published on
#logic #predicate-logic #first-order-logic #sequent-calculus
65
Views

Logic: Number x is a square of a prime number. Difference between conjunction and implication

Published on
#logic #predicate-logic
65
Views

Do these 2 mathematical expressions both refer to the same thing?

Published on
#logic #predicate-logic
115
Views

Fraction Simplification in Sequence Definitions

Published on
#sequences-and-series #logic #fractions

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.