|
не помню писало я про это или нет? Впрочем, неважно.
Вот интересно, а думали ли логики над такими вопросами:
Пусть есть утверждение в некоторой системе аксиом, как получать оценки длины наиболее короткого его доказательства(в предположении выводимости этого утверждения)?
Вторая штука такая: вот пусть есть некоторое понятие, и есть некоторые его варианты выражающие "примерно ту же" или "близкую" идею, есть ли некий формализм позволяющий описывать такие "малые шевеления" определений?Current Music: Hanzel und Gretyl Ich Bin Uber Alles |