Сценка

[ankalagonblack]

*дело происходит в семье формальных систем*

-Мама, мама, а можно я вон то утверждение докажу?
-Доказывай, конечно!
-Ура! Спасибо!
-Пока молодой, ты можешь наслаждаться жизнью и доказывать любое истинное утверждение.
-А что же, когда я вырасту -- не смогу?
-Сможешь, конечно, но лучше этого не делать.
-А почему?
-Понимаешь, когда ты повзрослеешь, ты будешь

Comments

[nedoearendil]

Если бы ещё в стихах, то было бы почти как у Крылова!

[ankalagonblack]

Ура! Меня откомментили!
Я просто шел на работу, и эта сценка родилась у меня в голове, уверен, что из смеси прочтенного в книгах Смаллиана: как ты помнишь, наверное, он пишет в основном о логике, любит использовать диалоги для описания каких-то идей, и при этом обычно делает их забавными (мне это как-то не сильно удалось).

[nedoearendil]

Получилось не забавно, но как бы поучительно. Смаллиан тоже персонифицирует математические абстракции?

[ankalagonblack]

Строго говоря, не персонифицирует. Т.е. он не пишет о говорящих формулах, например. Но по сути он как раз это и делает: берет математический объект и вводит персонажа, который обладает его свойствами и минимумом каких-то других. Пример - птицы из книги "To Mock a Mockingbird", которые по сути являются функциями в лямбда-счислении