Пианино (Пеано) номера?

Question

Я слушал подкаст Стива Йегге (№29, около 21:29), и частично он говорил о том, «как определить, умный ли человек, с которым вы разговариваете», и сказал: таким способом можно было говорить о «вещах умных людей» (я перефразирую), таких как «числа пианино» и «лямбда-исчисление».
Я достаточно защищен, чтобы признать, что я не самый умный человек в мире, но даже Google не может сказать мне, что такое «номер фортепиано». Итак, я не слышал, что было сказано на подкасте? Кто-нибудь может сказать мне, что такое «номер фортепиано»?

Answer 1

Быть умным и иметь определенную базу знаний - это не одно и то же.

Я бы с осторожностью выслушал любого, кто приравнивает эти два.

И действительно, я собираюсь свернуть другие ответы. Скорее всего, они имели в виду Пеано:

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

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

Answer 2

Пеано возможно?

В математической логике Пеано Аксиомы, также известные как Аксиомы Дедекинда-Пеано или Пеано постулаты, представляют собой набор аксиом для натуральные числа, представленные Итальянский математик 19 века Джузеппе Пеано. Эти аксиомы были используется почти без изменений в ряде метаматематические исследования, в том числе исследование фундаментальных вопросы согласованности и Полнота теории чисел.

Answer 3

OTOH, это может быть хорошей проверкой характера, чтобы говорить о чем-то полностью вымышленном (например, "числа фортепьяно") и посмотреть, кто притворяется, что знает об этом.

Answer 4

Те, кто приравнивают интеллект к знаниям, испытывают недостаток в обоих.

(Обратите внимание, что я не указываю размер дефицита, особенно в случае Yegge.)

Я ничего не знал ни об одном из этих предметов, когда сдавал экзамен Mensa, и это не помешало мне (покраснеть!) Набрать очки очень хорошо.

Answer 5

Он, вероятно, имел в виду числа Пеано. Гизеппе Пеано был математиком.

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

Answer 6

Вы можете найти реализацию идей Пеано в статье в Википедии о лямбда-исчислении:

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

Подробнее о лямбда-исчислении, выражении лямбды и связанных с ними применениях в динамических языках:

http://delicious.com/ajlopez/lambda

Я работаю в простой реализации лямбда-исчисления с использованием C # http://code.google.com/p/ajcodekatas/source/browse#svn/trunk/AjLambda

Answer 7

Для тех, кто заинтересован в точном определении чисел Пеано, ознакомьтесь с этим объяснением здесь . Короче говоря, Пеано предложил рекурсивный способ генерирования натуральных чисел, используя функции-преемники. Число в форме вложенных функций-преемников будет называться числом Пеано. Это общая тема при обучении программированию логики.