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.
PL
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 text considers the link between logic and ontology in the context of the problem of future truth. The main issue examined in this paper is the following one: the classical logic is strongly insensitive to the ontological determinism-indeterminism problem.
PL
Tekst jest poświęcony związkowi między logiką a ontologią w kontekście problemu prawdziwości zdań o przyszłości. Jednym z rozważanych problemów jest „niewrażliwość” logiki klasycznej na ontologiczny problem determinizm-indeterminizm.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW