| |||
|
|
Уважаемый Михаил и прочие присутствующие математики, вам не причиняет боль, что нет удобной и строгой имплементации языка для формализации математики? Например той же ZFC. Есть много юзер-френдли пруверов, но внутренности у них... подозрительные, слишком много всего намешано. Какая у вас позиция по данной проблеме? Добавить комментарий:Sorry, this entry already has the maximum number of comments allowed. |
|||