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.
EN
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.
Celem artykułu jest przegląd i analiza modeli konekcjonistycznych na tle faz rozwoju kognitywistyki. Konekcjonizm, jako druga faza rozwoju kognitywistyki, zaoferował najlepsze narzędzia wyjaśniania i modelowania procesów poznawczych. Został on przedstawiony w relacji do wcześniejszej i późniejszej fazy rozwoju kognitywistyki. Wykazuje się tu również kompatybilność konekcjonizmu z enaktywizmem (trzecią fazą) na gruncie proponowanego modelu wyjaśniania, jak kształtuje się poznanie.
EN
The aim of this paper is an overview and analysis of the connectionist models on the basis of the milestones in the development of cognitive science. It is claimed that connectionism, as the second phase of cognitive science, offers the best tools of explanation and modelling of cognition. There is also indicated the compatibility of connectionism and enactivism (the third phase) on the basis of the proposed models of explanation.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.