S>Хотелось бы 100% формализации мат. теорем. Есть Coq, вроде даже чувак с интернета хотел формализовать на нем доказательство Великой Теоремы, но это был труд на годы, не знаю закончил или нет.
В начале прошлого века в среде математиков было движение "формалистов".
Даже книжку освоили
Principia Mathematica аж в двух томах.
На 86 странице второго тома осилили доказать "1+1=2"
Здравствуйте, syrompe, Вы писали:
S>>Хотелось бы 100% формализации мат. теорем. Есть Coq, вроде даже чувак с интернета хотел формализовать на нем доказательство Великой Теоремы, но это был труд на годы, не знаю закончил или нет.
S>В начале прошлого века в среде математиков было движение "формалистов".
S>Даже книжку освоили Principia Mathematica аж в двух томах.
S>На 86 странице второго тома осилили доказать "1+1=2"
Было дело. На том и заглохло.
