MATH
Login Or Sign up

List Question

15
120
Views

Order of Parentheses is Irrelevant: Metatheorem?

Published on
#logic #formal-languages #formal-proofs #formal-systems #meta-math
120
Views

Rational numbers and leibniz law

Published on
#logic #formal-systems
59
Views

Will assuming an undecidable statement result in a consistent system?

Published on
#logic #incompleteness #formal-systems
348
Views

What's wrong with this proof that ZFC is consistent

Published on
#incompleteness #formal-systems
844
Views

Can there exist a definition of 'multiplication' in Presburger Arithmetic?

Published on
#logic #formal-systems #presburger-arithmetic
261
Views

Connection between Algebraic structures and Formal Systems

Published on
#abstract-algebra #logic #ring-theory #field-theory #formal-systems
105
Views

Peano Arithmetic: How would this formalized statement be correct?

Published on
#logic #peano-axioms #formal-proofs #formal-systems
543
Views

Analysis and formal proofs.

Published on
#real-analysis #logic #reference-request #formal-systems
631
Views

How can Godel's theorem apply to every formal system?

Published on
#logic #incompleteness #formal-systems
274
Views

Is there a definition of the existential quantifier which does not imply the axiom of choice?

Published on
#predicate-logic #quantifiers #formal-systems
433
Views

Recursive definitions in formal logic

Published on
#set-theory #first-order-logic #recursion #formal-proofs #formal-systems
40
Views

Given a formal system show that a variable contains more of one symbol than an initial part of that variable

Published on
#logic #computability #formal-systems
47
Views

Can I effeciently check whether the inverse of a semantic function exists?

Published on
#formal-systems
467
Views

Is it possible to formalize all mathematics in terms of ordinals only?

Published on
#set-theory #ordinals #foundations #peano-axioms #formal-systems
17
Views

Metamathematic: Cover the case if X=Y

Published on
#formal-languages #peano-axioms #formal-systems #meta-math

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.