Skip to main content

About ``something''

Japanese version

Let's get back to this ``(_)''. ``(_)'' represents ``something'' here.

Marvin: Again, ``something''... I am tired.

You may ask ``what is something?'' I understand. But the answer is still ``something'' Or ``something of something''. For example, if I limit the subject to money, I could say this something is ``something of money.'' If you put ``some(thing) of money'', exact the same ``some(thing) of money'' will be out. This is ``λ(_).(_).'' See figure 1. The output amount never larger or smaller than the input. Therefore, if you put 100 Altair dollar, the output is 100 Altair dollar. If you put 200 Altair dollar, the output is 200 Altair dollar. If you put 'some' Altair dollar, the output is exact same 'some' Altair dollar. This is the meaning of ``something''. I can not say more exact since it is abstracted. Some schools teach this ``something'' as 'x', so some people feel easy to understand as if you input x, then the output is x.

Figure 1. a Lambda expression.


Then, it does not matter if we replace ``(_)'' with ``(^).'' The same function we can write as ``λ (^).(^),'' ``λ x.x,'' or ``λ y.y.'' Conventionally, people wrote this as ``λ x.x.'' This is the meaning of ``Something.'' If you ask mathematicians, ``What is something here?'' then they will answer, ``something is something.'' They are not fooling you, that is the best answer they have.

Let's back to the analogy of vending machine. A simple machine can only accept 100 Altair dollar and can issue 100 Altair dollar ticket for Sirius. This vending machine is simple because it fixes the destination and the price. There were such vending machine on earth is described by Heron of Alexandria.

However, if the machine can accept other destinations and other prices, that would be more versatile. For example, it can also sell 150 Altair dollar ticket for Orion. Not only Altair dollar, but if it accepts a galactic credit card and you can get the ticket for the restaurant at the end of the universe. Or a concert ticket in Kreuzberg. I think you would agree the ``something'' is more general, this is more useful. The first example of ``something'' was just 100 Altair dollar. Then it becomes any price of Altair dollar, then credit card. The output started with a ticket for Sirius, then Orion, restaurant and concert. We would like to think about all kind of ``something'' here, that's the idea of function.

Now I hope you know what the meaning of ``something'' here. Marvin seems have a comment.

Marvin: ``One of my designer developed a machine, called a general exchanger. the difference between an usual exchanger and a general exchanger is the general exchanger accepts anything, and outputs something which has the equal value to the input. When you put your software, I presume you took more than three months to develop it, the output was an old bread with a cup of cold tea.''

I: ``That was broken, wasn't it?''

M: ``Yes, it was. I can not accept there was a cup of tea.''

I: ``...''

Comments

Popular posts from this blog

Why A^{T}A is invertible? (2) Linear Algebra

Why A^{T}A has the inverse Let me explain why A^{T}A has the inverse, if the columns of A are independent. First, if a matrix is n by n, and all the columns are independent, then this is a square full rank matrix. Therefore, there is the inverse. So, the problem is when A is a m by n, rectangle matrix.  Strang's explanation is based on null space. Null space and column space are the fundamental of the linear algebra. This explanation is simple and clear. However, when I was a University student, I did not recall the explanation of the null space in my linear algebra class. Maybe I was careless. I regret that... Explanation based on null space This explanation is based on Strang's book. Column space and null space are the main characters. Let's start with this explanation. Assume  x  where x is in the null space of A .  The matrices ( A^{T} A ) and A share the null space as the following: This means, if x is in the null space of A , x is also in the null spa

Gauss's quote for positive, negative, and imaginary number

Recently I watched the following great videos about imaginary numbers by Welch Labs. https://youtu.be/T647CGsuOVU?list=PLiaHhY2iBX9g6KIvZ_703G3KJXapKkNaF I like this article about naming of math by Kalid Azad. https://betterexplained.com/articles/learning-tip-idea-name/ Both articles mentioned about Gauss, who suggested to use other names of positive, negative, and imaginary numbers. Gauss wrote these names are wrong and that is one of the reason people didn't get why negative times negative is positive, or, pure positive imaginary times pure positive imaginary is negative real number. I made a few videos about explaining why -1 * -1 = +1, too. Explanation: why -1 * -1 = +1 by pattern https://youtu.be/uD7JRdAzKP8 Explanation: why -1 * -1 = +1 by climbing a mountain https://youtu.be/uD7JRdAzKP8 But actually Gauss's insight is much powerful. The original is in the Gauß, Werke, Bd. 2, S. 178 . Hätte man +1, -1, √-1) nicht positiv, negative, imaginäre (oder gar um

Why parallelogram area is |ad-bc|?

Here is my question. The area of parallelogram is the difference of these two rectangles (red rectangle - blue rectangle). This is not intuitive for me. If you also think it is not so intuitive, you might interested in my slides. I try to explain this for hight school students. Slides:  A bit intuitive (for me) explanation of area of parallelogram  (to my site, external link) .