Кое не е изчислимо?

Съдържание:

Кое не е изчислимо?
Кое не е изчислимо?
Anonim

(Undecidable Undecidable В теорията на изчислимостта, нерешим проблем е вид изчислителен проблем, който изисква отговор да/не, но където не може да има компютърна програма, която винаги дава правилния отговор; това означава, че всяка възможна програма понякога би дала грешен отговор или ще работи завинаги, без да даде никакъв отговор. https://en.wikipedia.org › wiki › List_of_undecidable_problems

Списък с нерешими проблеми - Wikipedia

просто означава неизчислим в контекста на проблем с решение, чийто отговор (или изход) е „вярно“или „невярно“). Неизчислим е проблем, за който няма алгоритъм, който може да се използва за решаването му.

Какви са неизчислими проблеми?

В теорията на изчислимостта нерешим проблем е тип изчислителен проблем, който изисква отговор да/не, но където не може да има компютърна програма, която винаги дава правилния отговор; това означава, че всяка възможна програма понякога ще даде грешен отговор или ще работи завинаги, без да даде никакъв отговор.

Какво е неизчислимо число?

Константата на Chaitin е пример (всъщност семейство от примери) за неизчислимо число. Той представлява вероятността произволно генерирана програма (в определен модел) да спре. Може да се изчисли приблизително, но няма (доказуемо) алгоритъм за изчисляването му с произволна точност.

Кой проблем еизчислимо?

Математическа задача е изчислима, ако по принцип може да бъде решена от изчислително устройство. Някои често срещани синоними за „изчислим“са „решими“, „решими“и „рекурсивни“. Хилберт вярваше, че всички математически проблеми са разрешими, но през 30-те години на миналия век Гьодел, Тюринг и Чърч показаха, че това не е така.

Изчислимо ли е празният набор?

Празният набор е изчислим. Целият набор от естествени числа е изчислим. Всяко естествено число (както е дефинирано в теорията на стандартните множества) е изчислимо; тоест наборът от естествени числа, по-малки от дадено естествено число, е изчислим.

Препоръчано:

Интересни статии
Келл измисли ли стекове?
Прочетете още

Келл измисли ли стекове?

Quellcrist “Quell” Falconer е ранен колонист в Harlan's World. Изучавайки сплавта Elder, тя изобретява кортикалния стек и ефективно създава новата квази-безсмъртна човешка раса. Защо quell създаде стакове? Quellcrist имаше предвид цел, когато създаде кортикалните стекове.

Прогресивът притежава ли собствен сайт?
Прочетете още

Прогресивът притежава ли собствен сайт?

Ако имате Progressive застраховка за собственици на жилища, може вече да имате покритие от Homesite – един от основните застрахователни партньори на Progressive. Кой е собственост на Homesite Insurance? Homesite е частна собственост на множество юридически и физически лица.

Как Лий срещу Вайсман?
Прочетете още

Как Лий срещу Вайсман?

Weisman, дело, в което Върховният съд на САЩ на 24 юни 1992 г. постанови (5–4), че е противоконституционно за държавно училище в Роуд Айлънд да има член на духовенството да произнася молитва на церемонии за дипломиране. Какво беше решението в Лий срещу Вайсман?