Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "computability theory" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    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