Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Stacewicz P.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Liczby nieobliczalne a granice kodowania w informatyce

100%

Stacewicz P.

nr 2

131-152

Opis danych i programów komputerowych za pomocą liczb jest epistemologicznie użyteczny, ponieważ pozwala określać granice różnego typu obliczeń. Dotyczy to w szczególności obliczeń dyskretnych (cyfrowych), opisywalnych za pomocą liczb obliczalnych w sensie Turinga. Matematyczny fakt istnienia liczb rzeczywistych innego typu, tj. nieobliczalnych, wyznacza minimalne ograniczenia technik cyfrowych; z drugiej strony jednak, wskazuje na możliwość teoretycznego opracowania i fizycznej implementacji technik obliczeniowo silniejszych, takich jak obliczenia analogowe-ciągłe. Przedstawione w artykule analizy prowadzą do wniosku, że fizyczne implementacje obliczeń niekonwencjonalnych (niecyfrowych) wymagają występowania w przyrodzie wielkości nieskończonych aktualnie (a nie tylko potencjalnie). Za fizycznym istnieniem takich wielkości przemawiają wprawdzie pewne argumenty fizyki teoretycznej, nie są one jednak ostateczne.

The description of data and computer programs with the use of numbers is epistemologically valuable, because it allows the definition of the limits of different types of computations. This applies in particular to discrete (digital) computations, which can be described by means of computable numbers in the Turing sense. The mathematical fact that there are other types of real numbers, i.e. uncomputable numbers, determines the minimal limitations of digital techniques; on the other hand, however, it points to the possibility of theoretical development and physical implementation of computationally stronger techniques, such as analogue-continuous computations. Analyses presented in this article lead to the conclusion that physical implementations of unconventional (non-digital) computations require the occurrence of actually infinite entities in nature. Although some arguments of theoretical physics support the physical existence of such entities, they are not definitive.

O znaczeniu pojęć informatycznych dla filozofii na przykładzie rozróżnienia między cyfrowością i analogowością

100%

Stacewicz P.

2020

tom 8/1

213-233

W niniejszej pracy pokazujemy, w jaki sposób formalne pojęcia informatyczne –takie, jak kodowanie, algorytm czy obliczalność –mogą być interpretowane filozo-ficznie, w tym ontologicznie i epistemologicznie. Interpretacje takie prowadzą do pytań i problemów, których robocze rozwiązania składają się na jakąś formę prefilo-zoficznego światopoglądu. W pracy kładziemy nacisk na pytania inspirowane infor-matycznym rozróżnieniem cyfrowości i analogowości, które ma swój matematyczny pierwowzór w matematycznym rozróżnieniu dyskretności i ciągłości. Między innymi są to następujące pytania: 1) czy głęboka struktura fizykalnej rzeczywistości ma cha-rakter cyfrowy, czy analogowy, 2) czy ludzki umysł przypomina bardziej informa-tyczny system cyfrowy czy analogowy, 3) czy odpowiedź na pytanie drugie daje nam owocny poznawczo wgląd w ograniczenia poznawcze umysłu? Za szczególnie istotną podstawę powyższych pytań uznajemy fakt, że moc obliczeniowa (tj. zakres rozwią-zywalnych problemów) niektórych typów obliczeń analogowych jest większa od mo-cy obliczeń cyfrowych.