Marcus Junius Brutus
Reputation
278
Top tag
Next privilege 500 Rep.
Access review queues
 Feb 5 awarded Famous Question Nov 15 accepted notation for substitution in lambda calculus Nov 15 comment notation for substitution in lambda calculus If I get the gist of your answer you are basically saying that even in "traditional" realms of mathematics it is understood that multiplying a function with a number really means applying that operation on the values of the function for a given input. So the square root of a function, is really the same function with its values squared, and I guess one can also define the factorial of a function, or the logarithm of function, etc. Do I read you right? Nov 15 revised notation for substitution in lambda calculus edited tags Nov 15 asked notation for substitution in lambda calculus Feb 3 comment why are these two intuitive ways of understanding division equivalent? Not immediately obvious and a bit roundabout as it requires already performing the division. Feb 3 asked why are these two intuitive ways of understanding division equivalent? Oct 27 awarded Notable Question Jul 2 awarded Curious May 17 accepted what kind of relationship is “is prefix of”? May 16 comment partitioning a set using a non-equivalence relation Your answer got me thinking and resulted in another, more specific, question: math.stackexchange.com/q/798004/50256 May 16 asked what kind of relationship is “is prefix of”? May 16 asked partitioning a set using a non-equivalence relation May 12 awarded Popular Question Jan 14 asked notation for equations solving Dec 23 accepted largest fraction less than 1 Dec 23 asked largest fraction less than 1 Dec 19 accepted how do you read: “$\lim (n-1)/(n-2) = 1$” Dec 19 asked how do you read: “$\lim (n-1)/(n-2) = 1$” Nov 21 awarded Yearling