Результаты поиска по запросу "axiom"
Гипотетические, ранее-C ++ 0x концепции вопросов
(Preamble: Я - поздний последователь игры C ++ 0x, и недавние споры относительно удаления концепций из стандарта C ++ 0x побудили меня узнать о них больше. Х...
С другой стороны, математические доказательства не волнуют мир. Повторяющийся вопрос с математикой, если он описывает что-то реальное. Он возникает каждый раз, когда изобретается что-то новое, например, воображаемые числа или неевклидово пространство. Тогда вопрос забывается, поскольку эти новые теории являются такими хорошими инструментами. Как хорошая программа, она просто работает.
у компьютерная программа не может быть доказана так же, как математическое утверждение? Математическое доказательство построено на других доказательствах, которые построены от еще большего количества доказательств и вплоть до аксиом - тех истин ...