Warianty tytułu
On Gödel's Theorem
Języki publikacji
Abstrakty
Przedstawiono uwagi dotyczące twierdzenia Gödela.
The paper is a record of a popular lecture given a few years ago on the Gddel's theorem. It is indicated that the crucial point in the Gödel's proof is the Cantor's diagonal process. Author discusses, on a simple example, the notion of the Markov's normal algorithm. Some classical antinomies are also presented. (original abstract)
Słowa kluczowe
Rocznik
Strony
9--14
Opis fizyczny
Twórcy
autor
Bibliografia
- Goodstein R.L.: Mathematical logic. Leicester University Press. 1957 (jest tłumaczenie rosyjskie).
- Lyndon R.C.: O logice matematycznej. Warszawa: PWN 1968 (tłum. z j. angielskiego W. Marek).
- Trechtenbrot B.A.: Algorytmy i automatyczne rozwiązywanie zadań. Warszawa: PWN 1961 (tłum. z j. rosyjskiego P. Szeptycki).
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171563251