Notes on variables
Contents
things to talk about eventually:
- p↔q vs p≡q.
Propositional functions: view them as f:{T,F}n→{T,F}? The tautologies are all f such that for any x∈{T,F}n, we have f(x)=T?
Now, for some x∈{T,F}n, what do we make of the statement f(x)? Is it true or false?
bound variables in expressions like ∫baf(x)dx and ∑ni=0f(i) vs in ones like ∃xP(x)
why different results for partial and total derivative? cf. Tao’s analysis book
Tao’s example: take f defined by f(x,y)=(x2,y2). Then ∂f∂x=(2x,0), whereas ddxf(x,x)=(2x,2x).
transfer pdf notes
what do we make of statements like “when x=3…”?
How do we make sense of things like the partial derivative, where one variable is “moving” while the others stay “constant”?
“as x gets larger…”
“an→∞ as n→5”
ax+b=0
Concepts to discuss:
- parameter, arbitrary fixed constant, , flowing letters, meta-variables
- distinction between bound universals and free arbitrary variables
- undefined/unspecified/unknown/undetermined
- known constants vs unknown constants
- undefined constants vs variables
- declaration of variable type
- variable assignment
- here is an example of when variables can lead to confusion.
- temporary (new) constants
Mathematicians and computer scientists are usually not careful with a function versus the output of a function. So for instance when using the big-Oh notation, people will write O(n) (which is imprecise, because it doesn’t specify what the input variable is; is n the parameter or a constant?) instead of “O(f), where f(n)=n” or “O(λn.n)”.
Similarly, when dealing with Laplace transforms, it seems common to write both L{f(t)}=F(s) and L{f}=F(s); but s is not present on the left hand side of either denotation! To be pedantic, we would need to write L{f}=F or L{f}(s)=F(s) or L{λt.f(t)}(s)=F(s).
In differential equations, it also seems common to write something like y″ but y is a function depending on t, so shouldn’t it instead be the following? y''(t) + p(t)y'(t) + q(t)y(t) = f(t) Or more simply y'' + py' + qy = f
Questions
- What is the difference between a parameter and a variable?
- What is the difference between a variable and a meta-variable?
- In expressions like ax + b, is there an essential difference between x and the other letters, even when we say that x is a variable while a and b are constants?
- What does it mean to define some variable y as a function of another variable x?
- e.g. what does it mean to say something like “as y gets larger, x also gets larger”?
- Two possible interpretations: (1) Treat y = f(x) as a condition, and look at different possibilities like “if x = 1, then y = f(1)”, and so on. (2) treat y as a machine that outputs different things for different inputs. So as x is “adjusted”, y is affected too.
- e.g. what does it mean to say something like “as y gets larger, x also gets larger”?
This work is licensed under a Creative Commons Attribution 4.0 International License.