Editing 2453: Excel Lambda
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 3: | Line 3: | ||
| date = April 21, 2021 | | date = April 21, 2021 | ||
| title = Excel Lambda | | title = Excel Lambda | ||
− | | image = | + | | image = excel_lambda.png |
| titletext = Extremely rude how Turing's later formulations of the halting problem called me out by name specifically. | | titletext = Extremely rude how Turing's later formulations of the halting problem called me out by name specifically. | ||
}} | }} | ||
==Explanation== | ==Explanation== | ||
− | + | {{incomplete|Created by a SPREADSHEET. What is a lambda function, what does it do, and has one just been added to excel? Can what Cueball suggest in reality be used like a Lambda function? A better link to lambda function on wikipedia is needed What is the meaning of Cueball's last statement? Another reference to a law/hypothesis about computing? Please mention here why this explanation isn't complete. Do NOT delete this tag too soon.}} | |
− | + | [[Cueball]] is computing and [[Ponytail]] has opinions that is reminiscent of the [[:Category:Code Quality|Code Quality series]], although not so harsh. Cueball has had lots of [[Category:Cueball Computer Problems|Computer Problems]], and this may be the road to another one, but it is not as such a problem for him yet. | |
− | + | The discussion begins because Ponytail finds out that Excel is adding a {{w|Anonymous_function|lambda function}} to their spreadsheet. And she is pleased with this, only to hear Cueball stating that he do not need this as uses a Turing machine on a giant block of columns... | |
− | + | A classical {{w|Turing machine}} uses an infinitely long strip of tape as its memory. The large column acts as the "tape". | |
− | Ponytail | + | Ponytail is convinced Cueball is "doing computing wrong". But he claims that all computing is equally wrong citing the {{w|Church-Turing_thesis|Church-Turing thesis}}, a hypothesis which says that a function can be computed by executing a series of instructions if and only if that function is computable by a Turing Machine. All ways of computing are therefor "equally wrong" since, according to this thesis, they can all be translated to a Turing Machine. |
− | Ponytail then says that Turing would change his mind if he saw Cueball's spreadsheet | + | Ponytail then says that Turing would change his mind if he saw Cueball's spreadsheet (almost as if she was saying he would turn in his grave). Cueball's final statement is that Turing could ask him to stop, but would not be able to prove if he actually will stop. |
− | + | In the title text the {{w|Halting problem|halting problem}} is mentioned. It is the problem of determining whether a given Turing Machine will halt. The problem has been shown to be undecidable, i.e., there exists no algorithm that computes whether an arbitrary Turing machine will halt or not. [[Randall]]/Cueball has been specifically mentioned in a later formulation of his halting problem, because of the way Randall has behaved. He finds this very rude. This is of course a joke, since Turing has been dead since 1954, long before Randall was born. But it would be crazy indeed, if a scientist became so mad at a person, that he would mention this person by name in his formulation of a serious problem. | |
− | Over-complicated spreadsheets were also mentioned in [[2180: Spreadsheets]] | + | Over-complicated spreadsheets were also mentioned in [[2180: Spreadsheets|Spreadsheets]] |
==Transcript== | ==Transcript== | ||
Line 39: | Line 39: | ||
:Ponytail: I think if Turing saw '''''your''''' spreadsheets, he'd change his mind. | :Ponytail: I think if Turing saw '''''your''''' spreadsheets, he'd change his mind. | ||
:Cueball: He can ask me to stop making them, but not prove whether I will! | :Cueball: He can ask me to stop making them, but not prove whether I will! | ||
− | |||
− | |||
− | |||
− | |||
{{comic discussion}} | {{comic discussion}} | ||
Line 52: | Line 48: | ||
[[Category:Spreadsheets]] | [[Category:Spreadsheets]] | ||
[[Category:Programming]] | [[Category:Programming]] | ||
− |