Неизменно промахиваясь - Концептуальное математическое искусство.

From: svintusoid@lj Date: October 16th, 2005 - 06:04 am (Link)

Ну, мне опять же, кажется, что дело в неправильном определении отношения эквивалентности на математических результатах.

Если пофантазировать на эту тему то, первое, что приходит в голову следующее: можно, например, брать верное утверждение A и верное утверждение B. Рассматривать "наибольшее ослабление", скажем, NGB+A в котором B выводимо и рассматривать минимальную длину формального вывода. Такая вот, например, мера равносильности.

(Reply to this) (Parent) (Thread)

From: svintusoid@lj Date: October 16th, 2005 - 06:06 am (Link)

Верные в NGB(или к-л ее расширении), то есть

(Reply to this) (Parent)