UKRYTY BŁĄD
Program, który wymagałby milionów lat czasu komputerowego (i takie programy pojawiają się często w inżynierii), nie jest teoretycznie nieskończony, lecz praktycznie jest niemożliwy do zrealizowania. Kiedykolwiek nieskończoność wkrada się do…
PRACA TURINGA
Praca Turinga rzuca filozoficzny cień na całą dziedzinę obliczeń, być może bardziej ze względu na swoją elegancję niż na swoje bezpośrednie zastosowanie. Trzeba przyznać, że pracę hamuje nie jeden wielki…
CZEGO DOTYCZĄ PROBLEMY NIEROZSTRZYGALNE
Problemy nierozstrzygalne dotyczą formalnych modeli komputerów: czy klasę takich maszyn można zorientować do działania w określony sposób? Istotne jest, że wszystkie takie pytania w pewien sposób odnoszą się do nieskończoności:…
NIEROZSTRZYGALNE PROBLEMY
Takie problemy są nazywane nierozstrzygalnymi, nie poddają się bowiem metodom, które komputer, automat skończony, może stosować. Skoro każdy komputer cyfrowy podporządkowany jest tym regułom logicznym, ograniczenia określone przez Turinga stosują…
ISTNIEJĄCE PROBLEMY
Liczba ta może nawet być astronomiczna, ale musi być skończona. Istnieją wszakże problemy, których przy tym warunku nie można rozwiązać. Tego wielkiego odkrycia dokonał sam Turing. Przypomnijmy, iż jego maszyna…
CENNY CZAS PROCESORA
Pętla nieskończona zużywa minuty cennego czasu procesora, zanim przerwie ją system kontrolny. Programiści robią, co mogą, aby uniknąć nieskończoności, ale takie pętle są wszędzie, a błędy w ich konstruowaniu są…