А кто определяет, что она ошибочно написана? Только сам программист. Если он задумал, чтобы она работала каким-то немыслимым образом, значит так и должно быть, не тебе решать, как это будет выглядеть, жалкий дамп памяти
Если логика - это способность к рассуждению, а логических систем много, как определить, что мы выбрали верную логическую систему, самую правильную.
Вот ты какой логической системой пользуешься при своих атеистических научных доказательствах? Всякая вменяемая логика может быть описана формулами и вычислениями. Предоставь математические вычисления, что Бога нет, и что твоя логическая система самая верная. На словах - это бытовой уровень бабы Зины на кухне с Петровичем за бутылкой водки.
... и добавил:Блин, какую же выбрать
Многозначная логика
Нечёткая логика
Линеарная логика
Модальная логика
Логики, расширяющие состав высказывания
Паранепротиворечивая логика
Недедуктивные логические теории
Релевантная логика
Линеарная
Немонотонная логика
Логика вычислимости
Алгебра логики
Логика высказываний
Логика предикатов
Логическая семантика
Теория моделей
Теория доказательств
Теории логического вывода
Логическое программирование
Философская логика
Логика Гегеля
Логика Аристотеля
Жаль ты не знаешь историю про Рассела, Витгенштейна, логических позитивистов, атомарные факты. Иначе бы не козярял тут логикой.
... и добавил:https://www.youtube.com/watch?v=6nykmnJIACohttps://www.youtube.com/watch?v=bwzeOcZGudAhttps://www.youtube.com/watch?v=zsj5cHAeGNY