Не узнает.

Что мешает интуитивно понимаемым принципам быть при этом формализуемыми?

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