MATH
Login Or Sign up

List Question

15
755
Views

Is the term "properly defined" equivalent to "well-defined"?

Published on
#logic #terminology
44
Views

Suppose that any broker trading in both financial assets A and B is a money launderer operating from country C.

Published on
#discrete-mathematics #logic #computer-science
96
Views

Signature without equality

Published on
#logic #predicate-logic
70
Views

Thinking mathematically and proving things

Published on
#logic #quantifiers
555
Views

GEB: How to write "b is a MIU-number" in TNT notation

Published on
#number-theory #logic #formal-languages
965
Views

Number of non-isomorphic models of the structure

Published on
#logic #model-theory
623
Views

Lambda Calculus Syntax - Brackets between $\lambda$ and dot

Published on
#logic #lambda-calculus
933
Views

Set of formulas sigma satisfiable iff no contradiction beta such that sigma implies beta

Published on
#logic #propositional-calculus
31
Views

Proving formula from axioms of arithmetic

Published on
#logic
62
Views

Representing concatenation of sequences

Published on
#logic
21
Views

Representing selection from sequence

Published on
#logic
72
Views

Clarification on contrapositive logic

Published on
#discrete-mathematics #logic #proof-explanation
253
Views

GEB: Is MUUI a MIU-string?

Published on
#logic #recreational-mathematics #puzzle #formal-languages
295
Views

Constructive proof of a classical result

Published on
#elementary-set-theory #logic #topos-theory #constructive-mathematics
511
Views

Non-standard integers?

Published on
#logic #model-theory #nonstandard-analysis #nonstandard-models

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.