钢琴(皮亚诺)数字?

发布于 2024-07-09 18:39:30 字数 205 浏览 15 评论 0原文

我正在听 steve yegge 播客(#29,大约 21:29),其中一部分他们在谈论“如何判断与你交谈的人是否聪明”,他们用一种方式这么说是谈论“聪明人的事情”(我正在解释),例如“钢琴数字”和“lambda 演算”。
我有足够的把握承认我不是世界上最聪明的人,但即使谷歌似乎也无法告诉我“钢琴号码”是什么。 那么,我是否听错了播客上所说的内容? 谁能告诉我什么是“钢琴号码”?

I was listening to the steve yegge podcast (#29, around 21:29), and in part of it, they were talking about "how to tell if the person you're talking to is smart", and they said that one way was to talk about "smart people things" (I'm paraphrasing), like "piano numbers" and "lambda calculus".
I'm secure enough to admit that I'm not the smartest person in the world, but even google can't seem to tell me what a "piano number" is. So, did I mis-hear what was said on the podcast? Can anyone tell me what a "piano number" is?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(7

飘然心甜 2024-07-16 18:39:31

聪明和拥有一定的知识基础不是一回事。

我会对任何将两者等同的人持谨慎态度。

以真正的方式,我将汇总其他答案。 他们很可能指的是皮亚诺:

http://en.wikipedia.org/wiki/Peano_axioms

http://en.wikipedia.org/wiki/Giuseppe_Peano

Being Smart and having a certain knowledge base is not the same thing.

I'd be wary of listening to anyone that is equating the two.

And in true SO fashion, I'm going to roll up the other answers. Most likely they meant Peano:

http://en.wikipedia.org/wiki/Peano_axioms

http://en.wikipedia.org/wiki/Giuseppe_Peano

聆听风音 2024-07-16 18:39:31

也许是皮亚诺

在数理逻辑中,皮亚诺
公理,也称为
戴德金-皮亚诺公理或皮亚诺
假设,是一组公理
表示的自然数
19世纪意大利数学家
朱塞佩·皮亚诺. 这些公理已被
在许多情况下几乎没有变化
元数学研究,
包括基础研究
一致性问题和
数论的完备性。

Peano perhaps?

In mathematical logic, the Peano
axioms, also known as the
Dedekind-Peano axioms or the Peano
postulates, are a set of axioms for
the natural numbers presented by the
19th century Italian mathematician
Giuseppe Peano. These axioms have been
used nearly unchanged in a number of
metamathematical investigations,
including research into fundamental
questions of consistency and
completeness of number theory.

挽清梦 2024-07-16 18:39:31

哦,谈论一些完全虚构的东西(例如“钢琴数字”)并看看谁假装对此很了解,这可能是对性格的一个很好的考验。

OTOH, it might be a good test of character to talk about something completely made-up (such as "Piano numbers") and see who pretends to be knowledgeable about it.

别忘他 2024-07-16 18:39:31

他可能指的是皮亚诺数字。 吉塞佩·皮亚诺是一位数学家。

http://en.wikipedia.org/wiki/Giuseppe_Peano

He probably meant Peano numbers. Guiseppe Peano was a mathematician.

http://en.wikipedia.org/wiki/Giuseppe_Peano

辞取 2024-07-16 18:39:31

那些将智力等同于知识的人在两者上都有缺陷。

(请注意,我没有具体说明缺陷的大小,特别是在耶格的情况下。)

我对这两门学科都一无所知当我参加门萨考试时,这并没有阻止我(脸红!)取得很好的成绩。

Those who equate intelligence with knowledge have a deficiency in both.

(Please note that I'm not specifying the size of the deficiency, especially in the case of Yegge.)

I knew nothing of either of those subjects when I took the Mensa exam, and it didn't stop me (blush!) scoring pretty well.

囍孤女 2024-07-16 18:39:31

您可以在有关 lambda 演算的维基百科文章中找到 Peano 思想的实现:

http://en.wikipedia .org/wiki/Lambda_calculus

有关 lambda 演算、lamdba 表达式以及动态语言中相关用法的更多信息:

http: //delicious.com/ajlopez/lambda

我正在使用 C# 进行 lambda 演算的简单实现
http://code.google.com/p/ajcodekatas/源/浏览#svn/trunk/AjLambda

You can find an implementation of Peano ideas, in the wikipedia article on lambda calculus:

http://en.wikipedia.org/wiki/Lambda_calculus

More on lambda calculus, lamdba expression and related uses in dynamic languages:

http://delicious.com/ajlopez/lambda

I'm working in a simple implementation of lambda calculus using C#
http://code.google.com/p/ajcodekatas/source/browse#svn/trunk/AjLambda

涙—继续流 2024-07-16 18:39:31

For those interested in a precise definition of Peano's Numbers, check out this explanation here. In short, Peano came up with a recursive way to generate the Natural Numbers using successor functions. A number in the form of nested successor functions would be called a Peano Number. This is a common topic when teaching Logic Programming.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文