person using laptop
UKRYTY BŁĄD

Program, który wyma­gałby milionów lat czasu komputerowego (i takie pro­gramy pojawiają się często w inżynierii), nie jest teo­retycznie nieskończony, lecz praktycznie jest niemoż­liwy do zrealizowania. Kiedykolwiek nieskończoność wkrada się do…

Person in Black Long Sleeve Shirt Using Macbook Pro
PRACA TURINGA

Praca Turinga rzuca filozoficzny cień na całą dzie­dzinę obliczeń, być może bardziej ze względu na swo­ją elegancję niż na swoje bezpośrednie zastosowanie. Trzeba przyznać, że pracę hamuje nie jeden wielki…

White Facebook Scramble Pieces
CZEGO DOTYCZĄ PROBLEMY NIEROZSTRZYGALNE

Proble­my nierozstrzygalne dotyczą formalnych modeli kom­puterów: czy klasę takich maszyn można zorientować do działania w określony sposób? Istotne jest, że wszy­stkie takie pytania w pewien sposób odnoszą się do nieskończoności:…

black laptop computer on brown wooden table
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ą…

black laptop computer on brown wooden table
ISTNIEJĄCE PROBLEMY

Liczba ta może na­wet być astronomiczna, ale musi być skończona. Istnie­ją wszakże problemy, których przy tym warunku nie można rozwiązać. Tego wielkiego odkrycia dokonał sam Turing. Przypomnijmy, iż jego maszyna…

person using both laptop and smartphone
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ą…