ペアノの公理

[chyyr]

На голой скале
Одиноко монаху.
И сердце нуля
Горько плачет слезами -
Нет перед ним никого.

День угасает,
Его сменяет другой.
И после числа
Всегда приходит число -
Другое, и только одно.

Так не бывает -
Двое стоят пред одним.
Ведь у ребенка
Двух не бывает отцов,
Это ясно любому.

Первого шага,
Путник, сделать не бойся.
Если ж за каждым
Сделать сумеешь другой -
Преодолеешь весь путь.

PS Поясните, как читается то, что я написал в теме?
А еще лучше - просветите, как пишется "Танка Пеано" :-) (в смысле, Peano's tankas)

UPD. Аксиомы Пеано множества натуральных чисел

Comments

[errant-sugata.livejournal.com]

> как пишется "Танка Пеано"

Почему бы не так:
ペアノの短歌

[chyyr.livejournal.com]

Ну, скорее всего именно так и пишется, но кто знает - может там у них есть какие-нибудь особые правила. не позволяющие склеивать "Пеано" и "танка" по тем же правилам, что "Пеано" и "аксиомы"?

[errant-sugata.livejournal.com]

И по тем же, что "танка" и "история".

[chyyr.livejournal.com]

Убедила: в первом приближении можно принять :)

[chyyr.livejournal.com]

Ну да, там иероглифы. Тупо скопипасченнные из википедии и означающие Аксиомы Пеано (http://ru.wikipedia.org/wiki/Аксиомы_Пеано)

Пеано - это итальянский математик конца XIX - начала XX века, сформулировавший аксиоматику натуральных чисел:
1. 0 - натуральное число.
2. За всяким натуральным числом есть ровно одно следующее.
3. У натурального числа не может быть двух предшественников.
4. У нуля предшественника нет.
5. Аксиома индукции: если
а) некое свойство выполнено для нуля,
б) верно, что: (если оно выполнено для x, то выполнено для числа, следующего за x)
то это свойство выполнено для всех натуральных чисел

Каковые аксиомы записаны в жанре "танка" в теле поста :)

У меня очередной оффтоп вопрос

[de-groseille.livejournal.com]

А у тебя нет списка всех памятников с аазосеминара, которые мы читали в этом семестре? А то я выяснила, что не записывала названия.

Re: У меня очередной оффтоп вопрос

[chyyr.livejournal.com]

Ну, барин, ты задачки даешь (с) :)

Полного списка у меня нет.

Попытаюсь вспомнить, что точно было

-Мерило Праведное было (то, что последние три семинара разбирали)
- Евангелие с толкованием, с Онеги, 1499-1500 гг.

И было еще что-то, что раздавали и озвучивали, когда меня не было...