Some Undecidable Statements of Quite Simple Mathematics

• Autorzy: Kolany A.
• Języki publikacji: EN

Abstrakty

EN

There are well known problems which are not decidable: halting problem, provability in PA, being a first order tautology, and others. Since all these problem deal with notions like computability and provability, they are beyond the scope of “usual” mathematics - mathematical analysis, for instance. Here, we will show a bunch of examples of simple undecidable statements of such mathematics.

Słowa kluczowe

EN

multidimensional equations; integers; recursion

PL

równania wielowymiarowe; liczby całkowite; rekurencja

• Wydawca: Wydawnictwo Uniwersytetu Humanistyczno-Przyrodniczego im. Jana Długosza w Częstochowie
• Czasopismo: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
• Rocznik: 1999
• Tom: Vol. 6
• Strony: 36--40
• Opis fizyczny: Bibliogr. 3 poz.

Twórcy

autor

Kolany A.

• Institute of Mathematics, University of Silesia, 40-007 Katowice, Bankowa 14, Poland

Bibliografia

• [1] Barwise J., “Handbook of Mathematical Logic”, pp. 390-396, North- Holland Publishing Company - Amsterdam - New York - Oxford.
• [2] Robinson J., “ Undecidability in Arithmetics of Integers and Rationals and in the theory of Fields”.
• [3] Tarski A., “A decision Method for Elementary Algebra and Geometry”, University of California Press, Berkeley & Los Angeles.