Как сломать голову или как я попал в просак:-)

[igorbasic]

Федорук видимо не первый год ломает этой задачей головы наивным студентам. особенно видимо любит выскочек, которые пытаются сломать ее вместе с доской (как я)
Douglas R. Hofstadter, Godel, Escher, Bach: an Eternal Golden Braid Basic Books, 1979 (Pulitzer Prize Winner, 1980)

Первое, что следует сказать о нашей формальной системе, MIU-системе, состоит

Comments

[neblondinka]

mu можно получить либо из miii, либо из mu(uu)N. Если исходник mi, то ни хрена короче не выйдет))

[igorbasic]

а доказать?:)))

[neblondinka]

для получения одной u в конце необходимо четное число после m в начале

[igorbasic]

c mii тоже каши не сваришь)

[neblondinka]

ох
ну "mu можно получить либо из miii, либо из mu(uu)N"
iii нельзя получить ну никак. только если из между ними uu повычеркивать. Но три i во всем слове я чет придумать никак не могу. Только если задано что-то подобное.
u(uu)N можно было бы добиться вторым правилом, но там нечетно число, так что тоже не сделать
все, конец%)

[igorbasic]

ага, и как это преподуу обьяснять?:)))

[neblondinka]

так же, как и я тебе)) он не дурак, поймет))

[igorbasic]

вот именно что он не дурак и знает, что не решить, ни доказать что задача нерешаема нельзя)

[eltheriol]

Ммм. А если написать программу, которая все просчитает?

[igorbasic]

напиши. такая программа может строить цепочки только пеебором, а цепочек бесконечное количество...

Re: Reply to your comment...

[eltheriol]

Ну да. Посчитаем до Н-ной цепочки.

Re: Reply to your comment...

[igorbasic]

нет никакой гарнтии что задача разрешиться до конца света