Запитання з тегом «hypercomputation»

Вибачте за влучну назву. Я хочу зрозуміти, що треба робити, щоб спростувати тезу Церкви Тюрінга? Десь я прочитав, що це зробити математично неможливо! Чому? Тьюрінг, Россер тощо використовували різні терміни для розмежування: "що можна обчислити" і "що можна обчислити машиною Тьюрінга". Визначення Тьюрінга 1939 року щодо цього: "Ми будемо використовувати …

83 computability  proofs  hypercomputation 

Я бачу чимало досліджень щодо гіперкомп'ютації у 90-х роках, але в останні роки, здається, мало працювати над цією темою. Чи правда, що дослідження в цій галузі притихли? Якщо так, то які можуть бути причини цього? Чи було переконливо показано, що ця сфера є неперспективною?

18 reference-request  computability  hypercomputation 

Гіперкомп'ютація стосується моделей обчислень, які неможливо імітувати за допомогою машин Тьюрінга. (Гіперкомп'ютери не обов'язково фізично реалізовані!) Деякі гіперкомп'ютери мають доступ до ресурсу, що дозволяє вирішити проблему зупинки для стандартних машин Тьюрінга. Назвіть це "наддержавою": гіперкомп'ютер із надпотужністю може вирішити, чи припиняється будь-яка стандартна машина Тьюрінга. Які види "наддержав" використовують гіперкомп'ютери? …

17 computability  hypercomputation