Liczby nieobliczalne a granice kodowania w informatyce
Journal Title: Studia Semiotyczne - Year 2018, Vol 0, Issue 2
Abstract
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.
Authors and Affiliations
Paweł Stacewicz
Keywords
Related Articles
- EP ID EP487962
- DOI 10.26333/sts.xxxii2.08
- Views 36
- Downloads 0
Znaki dyskursywne jako źródło i manifestacja inferencyjnych procesów poznawczych
-
Mental Files. Triggering Mechanisms, Metadata and ‘Discernibility of Identicals’
This paper initially follows the final part of the debate between singularism and descriptivism to the point of convergence, and discusses the notion of acquaintanceless singular thought (such that there is a compromise...
Problem treści przekonań samolokalizujących w koncepcji Roberta Stalnakera
Przekonania samolokalizujące stanowią problem dla popularnej koncepcji przekonań, wedle której przekonania są dwuargumentową relacją między podmiotem a sądem. Koncepcja ta nie potrafi wyjaśnić doniosłości poznawczej tych...
Co czyni zdanie prawdziwym?
W artykule rozważane jest zagadnienie związku między własnościami jednostkowymi i abstrakcyjnymi w kontekście problematyki uprawdziwiania (truthmaking). Proponowane jest pewne aksjomatyczne uogólnienie pojęcia konkretyza...
W sprawie uwag Pana Piotra Kozaka dotyczących mojej książki
W sprawie uwag Pana Piotra Kozaka dotyczących książki Podstawy teorii znaku ikonicznego