Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "computability theory" wg kryterium: Temat


Wyświetlanie 1-5 z 5
Tytuł:
Turing machine approach to runtime software adaptation
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/952943.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
runtime change
dynamic modification
computability theory
turing machines
Opis:
In this paper, the problem of applying changes to software at runtime is considered. The computability theory is used in order to develop a more general and programming-language-independent model of computation with support for runtime changes. Various types of runtime changes were defined in terms of computable functions and Turing machines. The properties of such functions and machines were used to prove that arbitrary runtime changes on Turing machines are impossible in general cases. A method of Turing machine decomposition into subtasks was presented and runtime changes were defined through transformations of the subtask graph. Requirements for the possible changes were considered with regard to the possibility of subtask execution during such changes. Finally, a runtime change model of computation was defined by extension of the Universal Turing Machine.
Źródło:
Computer Science; 2014, 15 (3); 293-310
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/305728.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
computability theory
models of computation
Turing machine
runtime code changes
Opis:
In this paper, a dynamic model of computation based on the Universal Turing Machine is proposed. This model is capable of applying runtime code modifications for 3-symbol deterministic Turing Machines at runtime and requires a decomposition of the simulated machine into parts called subtasks. The algorithm for performing runtime changes is considered, and the ability to apply runtime changes is studied through computer simulations. Theoretical properties of the proposed model, including computational power as well as time and space complexity, are studied and proven. Connections between the proposed model and Oracle Machines are discussed. Moreover, a possible method of implementation in real-life systems is proposed.
Źródło:
Computer Science; 2016, 17 (2); 187-224
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prawda o przyszłości i pojęcie obliczeń
Future Truth and the Concept of Computability
Autorzy:
Wilk, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/31341591.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
theory of computability
knowledge about the future
philosophy
Opis:
Tekst jest poświęcony problemowi wykorzystania teorii obliczalności w naukach empirycznych, które kierują swoją uwagę na zdarzenia przyszłe. Podstawowy rozważany problem jest taki: jak połączyć intuicyjne pojęcie nieprzewidywalności ze ścisłym pojęciem obliczalności? Centralną dla tej linii myślenia jest jednak następująca kwestia: czy świat realny można modelować na komputerze? Autor zakłada, po pierwsze, że wiedza o przyszłości magazynowana jest w zdaniach, po drugie, że jeden ze sposobów jej uzyskania polega na wykorzystaniu matematycznych formuł opisujących ewolucję w czasie, to jest równań ruchu (zdania o przyszłości są więc zdaniami o położeniach obiektów w przyszłości). Cel jest ujęty trywialnie: pokazać, że zdania o przyszłości mogą być formułowane w sposób, który wymaga zaangażowania matematyki niealgorytmicznej. Bardziej precyzyjnie: pokazać, że dla każdego równia ruchu i wszelkich możliwych warunków początkowych nie istnieje program, który odpowiada tak/nie na pytanie, czy równanie posiada okresowe rozwiązania, czy nie. Schemat rozumowania jest następujący: zakładamy (reductio od absurdum), że maszyna Turinga wyposażona jest w program, który wycina okresowość w rozwiązaniach równań ruchu. Postulat testowania okresowości bierze się stąd, że jej obecność świadczy o efektywności operacji/funkcji. Jest jasne, że warunki początkowe muszą być obliczalne/ rekurencyjne. Z tego względu, że zbiór liczb rzeczywistych jest nieskończony/ nieprzeliczalny możemy dopuścić, że któraś operacja (funkcja) z ich udziałem będzie w końcu nieefektywna (rezultaty Banacha/Mazura, Turinga, Pour- El/Richardsa, Chaitina, Battermana). To upoważni nas do wykorzystania „twierdzenia o stopie” dla maszyny Turinga i w rezultacie do stwierdzenia, że klasa równań ruchu jest nierozstrzygalna.
The text is devoted to the problem of the application of the computability theory to empirical knowledge on future events. The fundamental problem examined in this paper is the following one: how to connect the intuitive concept of impredictability with the exact concept of computability? Central to this line of thought is the problem: can the real world be modeled on a computer? The author assumes: firstly, that the knowledge about the future is stored in statements, secondly, that a way of its acquiring depends on the usage of mathematical formulas which describe the evolution in time, that is, which are motion equations (statements about the future are statements about the positions of objects in the future). The task is trivial: to show that the statements about the future can be formulated in a way that demands the non-algorithmic mathematics application. More precisely: to show that for every motion equation and all possible initial (input) data, there is no programme which answers yes/no to the question whether the equation has the periodic solutions or no. The scheme of reasoning is as follows: we assume (reductio ad absurdum) that the Turing machine that solves every motion equation is equipped with the programme that cuts out periodic solutions. The testing of periodicity follows from the fact that its existence would show the computability of operation/function. It is obvious that the initial data must be computable/recursive. From that that the set real numbers is infinite/denumerable we can admit that some operation (function) will be uncomputable (results: Banach/Mazur, Turing, Pour-El/Richards, Chaitin, Batterman). That allows to apply the “Stop-Theorem” for the Turing machine, and, in the effect, to set forth that the class of motion equations is undecidable.
Źródło:
Filozofia i Nauka; 2013, 1; 149-184
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Chaos a nieobliczalność
Chaos and Incomputability
Autorzy:
Wilk, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/31341757.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
teoria obliczalności
teoria chaosu
teza Churcha
theory of computability
theory of chaos
Church’s thesis
Opis:
Tekst jest poświęcony problemowi implementacji nieobliczalności w świecie realnym. Podstawowe pytanie jest takie: czy logiczna nieefektywność ma swoją realizację w świecie fizycznym, albo, czy niealgorytmiczność posiada swój „fizyczny/ materialny” nośnik? Konkluzja jest zaś następująca: algorytmicznie zinterpretowana teoria chaosu deterministycznego koresponduje z przypadkową/nierozstrzygalną częścią matematyki. Trzeba przy tym jednak stale mieć na względzie, że zawsze jest to nierozstrzygalność, niealgorytmiczność, przypadkowość z modelu, w którym dokonujemy deskrypcji.
The paper is devoted to the problem of the implementation of incomputability in the real world. It considers the following basic question: has logical noneffectiveness its realization in the physical world or, has non-algorithmicity a physical/ material medium? The conclusion is: the algorithmically interpreted theory of deterministic chaos corresponds with the non-random/decidable part of mathematics. It should be, however, taken into account that it is always the nonalgorithmicity, randomness of models in which a description is formed.
Źródło:
Filozofia i Nauka; 2014, 2; 323-337
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagonal Anti-Mechanist Arguments
Autorzy:
Kashtan, David
Powiązania:
https://bibliotekanauki.pl/articles/1796972.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
mechanism
mind
computability
incompleteness theorems
computation-al theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky
Opis:
Gödel’s first incompleteness theorem is sometimes said to refute mechanism about the mind. §1 contains a discussion of mechanism. We look into its origins, motivations and commitments, both in general and with regard to the human mind, and ask about the place of modern computers and modern cognitive science within the general mechanistic paradigm. In §2 we give a sharp formulation of a mechanistic thesis about the mind in terms of the mathematical notion of computability. We present the argument from Gödel’s theorem against mechanism in terms of this formulation and raise two objections, one of which is known but is here given a more precise formulation, and the other is new and based on the discussion in §1.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 203-232
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies