| |||
|
|
Re: Раз уж зашёл, обозначу присутствие Реально машина орудует электрическими зарядами в конденсаторах и т.п. Всему остальному смысл придается намерениями программистов и интерпретацией результатов. А это могут быть и формупы теории, и числа и геометрические фигуры - что угодно. На каком-то уровне, например, это никакие не "формулы теории" а объекты, если язык ОО, или лямбда-выражения и рекурсивные типы, если FP. Но если программая занимается например вычислениями - то она оперирует числами. Если формальным выводом - то формулами. С точки зрения парадокса Сколема можно считать, что и теория множеств оперирует формулами, если так душе спокойнее, от этого она ни слабее, ни конструктивнее не становится. для противоречивой теории и в принципе невозможно Да почему же невозможно - противоречивость теории не очень мешает ее практическому применению. Тот же матан известных времен взять или теорию множеств. Так же как и алгоритмическая неразрешимость задачи не особенно мешает ее запизиванию в компьютер. А разрешимость - не особенно помогает :) Добавить комментарий: |
||||