Suppes Predicates and the Construction of Unsolvable Problems in the Axiomatized Sciences (original) (raw)
Patrick Suppes: Scientific Philosopher, 1994
Abstract
We first review our previous work on Suppes predicates and the axiomatization of the empirical sciences. We then state some undecidability and incompleteness results in classical analysis that lead to the explicit construction of expressions for characteristic functions in all complete arithmetical degrees. Out of those results we show that for any degree there are corresponding ‘meaningful’ unsolvable problems in
Francisco Antonio Doria hasn't uploaded this paper.
Let Francisco Antonio know you want this paper to be uploaded.
Ask for this paper to be uploaded.