Разве нужна вселенная, чтобы подтвердить, что 2+1=3?
Вообще говоря да, нужна.
Математика, все-таки, придумана людьми, и она не такая уж и неприкосновенная. Я довольно легко могу придумать свою математику (немного изменив функцию меры) так, чтобы размер отрезка [3,4] равнялся пяти. Или, например, могу изменить аксиомы Пеано, чтобы 2+1 = 4. Совсем другой вопрос нужно ли это, смогу ли я найти точку применения для своей новой модели?
Казалось бы нет, но что, если я буду считать массу объектов в квантовой механике? Там, как известно, масса иногда переходит в энергию, и сумма массы отдельных элементов меньше массы целого. Поэтому я смело смогу написать что-нибудь вроде 1+1 = 1.9124 (цифры взяты из головы).
Исходя из этой логики, я вполне могу принять (хотя представить сложновато), что существует вселенная, где 2+1=4 — вполне нормальная и естественная операция.
Абсолютно все физические законы (и не физические тоже) — это просто модели реальности, которые с реальностью, вообще говоря, могут не иметь ничего общего. Работает с какой-то долей ошибки, и ладно.
очень даже стыкуется. Мемристоры — естественные элементы для конструирования мемпроцессоров. Я об этом как-то не стал писать (хотел сконцентрироваться на другом), но в оригинальной статье приводятся, например, уравнения перехода, если делать мемпроцессор из мемэлементов.
Подобные БИОСы существуют для многих старых thinkpad, или вам просто повезло? Хотел провернуть такую же операцию для моего x200, но не смог найти подобной прошивки.
И ещё вопрос, скорее просто на интерес. Программа для обновления биоса на сайте леново работает только для винды. Заработают ли они на linux only системах через, например, wine?
Все правильно за одним исключением: данная модель, при решении задач, не симулирует МТ (приведенная теорема была для иллюстрации того, что она в принципе может это делать). Она решает задачи, скажем так, по-своему.
В том и проблема равенства классов NP и P, что есть модели вычислений, которые решают NP полные задачи за полином (та же недетерминированная машина Тьюринга), но реализовать на практике мы (пока что) можем только обычную машину Тьюринга. Поэтому есть, вообще говоря два выхода из положения. Понять как решать быстро задачи на МТ, либо предложить хорошую модель, которую мы сможем построить в нашей реальности.
Вообще говоря да, нужна.
Математика, все-таки, придумана людьми, и она не такая уж и неприкосновенная. Я довольно легко могу придумать свою математику (немного изменив функцию меры) так, чтобы размер отрезка [3,4] равнялся пяти. Или, например, могу изменить аксиомы Пеано, чтобы 2+1 = 4. Совсем другой вопрос нужно ли это, смогу ли я найти точку применения для своей новой модели?
Казалось бы нет, но что, если я буду считать массу объектов в квантовой механике? Там, как известно, масса иногда переходит в энергию, и сумма массы отдельных элементов меньше массы целого. Поэтому я смело смогу написать что-нибудь вроде 1+1 = 1.9124 (цифры взяты из головы).
Исходя из этой логики, я вполне могу принять (хотя представить сложновато), что существует вселенная, где 2+1=4 — вполне нормальная и естественная операция.
Абсолютно все физические законы (и не физические тоже) — это просто модели реальности, которые с реальностью, вообще говоря, могут не иметь ничего общего. Работает с какой-то долей ошибки, и ладно.
У самого x200, не нарадуюсь. Но что действительно хотелось бы в нем заменить, так это экран, он на сегодняшний день действительно ужасен.
И ещё вопрос, скорее просто на интерес. Программа для обновления биоса на сайте леново работает только для винды. Заработают ли они на linux only системах через, например, wine?
В том и проблема равенства классов NP и P, что есть модели вычислений, которые решают NP полные задачи за полином (та же недетерминированная машина Тьюринга), но реализовать на практике мы
(пока что)можем только обычную машину Тьюринга. Поэтому есть, вообще говоря два выхода из положения. Понять как решать быстро задачи на МТ, либо предложить хорошую модель, которую мы сможем построить в нашей реальности.