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
For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could...
These five lectures on undecidability were given to students with a good level in mathematics but wi...
AbstractAfter recalling the definition of decidability and universality, we first give a survey of r...
The topic of this article is Hilbert’s axiom of solvability, that is, his conviction of the solvabil...
U ovom radu predstavljen je povijesno–popularni pregled problema (ne)odlučivosti. Krenuli smo od Can...
Abstract. After discussing two senses in which the notion of undecidability is used, we present a su...
Since Plato, Aristotle and Euclid the axiomatic method was considered as the best method to justify ...
We survey two series of results concerning the decidability of fragments of Tarksi's elementary alge...
Heinz von Foerster’s influential distinction between decidable and undecidable decisions may be take...
The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: w...
Suppose we are given a mathematical theory. Is there an effective procedure which will enable us to ...
The known 1970 solution to the 10th Hilbert problem says that no algorithm is possible that would de...
This paper investigates some of the constraints encountered in mathematics. It proves the incomplet...
Undecidability is a longstanding problem in mathematical logic and computability theory. Gödel, Turi...
There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tupl...
For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could...
These five lectures on undecidability were given to students with a good level in mathematics but wi...
AbstractAfter recalling the definition of decidability and universality, we first give a survey of r...
The topic of this article is Hilbert’s axiom of solvability, that is, his conviction of the solvabil...
U ovom radu predstavljen je povijesno–popularni pregled problema (ne)odlučivosti. Krenuli smo od Can...
Abstract. After discussing two senses in which the notion of undecidability is used, we present a su...
Since Plato, Aristotle and Euclid the axiomatic method was considered as the best method to justify ...
We survey two series of results concerning the decidability of fragments of Tarksi's elementary alge...
Heinz von Foerster’s influential distinction between decidable and undecidable decisions may be take...
The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: w...
Suppose we are given a mathematical theory. Is there an effective procedure which will enable us to ...
The known 1970 solution to the 10th Hilbert problem says that no algorithm is possible that would de...
This paper investigates some of the constraints encountered in mathematics. It proves the incomplet...
Undecidability is a longstanding problem in mathematical logic and computability theory. Gödel, Turi...
There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tupl...
For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could...
These five lectures on undecidability were given to students with a good level in mathematics but wi...
AbstractAfter recalling the definition of decidability and universality, we first give a survey of r...
DOI
Add to ORKG