Reputation
278
Top tag
Next privilege 500 Rep.
Access review queues
Badges
1 2 8
Impact
~14k people reached

  • 0 posts edited
  • 0 helpful flags
  • 19 votes cast
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