# Tagged Questions

111 views

### What actually constitutes a *definition* for a function?

I'm reading Enderton's text on logic trying to justify ( to myself ) the use of induction on recursively defined sets. This is of course used repeatedly in trying to prove results about well-formed ...
48 views

### Path-independent contour integrals and how to define them

If a contour $C$ is parameterized by $z(t): [a, b] \to \mathbb{C}$, then we define $$\int_C f(z) \, dz= \int_a^b f(z(t)) \, z'(t) \, dt.$$ If the contour integral on the left side is equal to some ...
103 views

### Why do we formalize conceptions?

Why do we always try to formalize conceptions? Let's take the naive conception of sets, why do we try to write down a list of axioms? what do we earn in doing so? I'm looking especially for ...
84 views

### Semantics and Logical structure in Definitons

Continuation of Free and bound variables in "if" statements definitions: A number is even if it is divisible by $2$. The number is even if it is divisible by $2$. Is the usage of the ...
46 views

### Logical structure of definitions

Here are some "concepts" that are confusing me: The assertion $x>2$ is true when we replace $x$ by a number greater than $2$($3$ for example) and false if we replace it by $1$. But the assertion ...