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

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

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

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

Answer 5

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

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

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

Answer 6

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

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

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

http://delicious.com/ajlopez/lambda

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

Answer 7

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