Decidability vs. undecidability. Logico-philosophico-historical remarks

Roman Murawski

Abstract


The aim of the paper is to present the decidability problems from a philosophical and historical perspective as well as to indicate basic mathematical and logical results concerning (un)decidability of particular theories and problems.

Full Text:

PDF


DOI: http://dx.doi.org/10.17951/ai.2005.3.1.105-117
Date of publication: 2015-01-04 00:00:00
Date of submission: 2016-04-27 10:14:18


Statistics


Total abstract view - 363
Downloads (from 2020-06-17) - PDF - 0

Indicators



Refbacks

  • There are currently no refbacks.


Copyright (c) 2015 Annales UMCS Sectio AI Informatica

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.