MATH
Login Or Sign up

List Question

15
121
Views

Order of Parentheses is Irrelevant: Metatheorem?

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

Rational numbers and leibniz law

Published on
#logic #formal-systems
60
Views

Will assuming an undecidable statement result in a consistent system?

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

What's wrong with this proof that ZFC is consistent

Published on
#incompleteness #formal-systems
845
Views

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

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

Connection between Algebraic structures and Formal Systems

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

Peano Arithmetic: How would this formalized statement be correct?

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

Analysis and formal proofs.

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

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

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

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

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

Recursive definitions in formal logic

Published on
#set-theory #first-order-logic #recursion #formal-proofs #formal-systems
42
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
48
Views

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

Published on
#formal-systems
468
Views

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

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

Metamathematic: Cover the case if X=Y

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

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.