PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1995 | nr 696 Dydaktyka matematyki | 9--14
Tytuł artykułu

O twierdzeniu Gödela

Autorzy
Warianty tytułu
On Gödel's Theorem
Języki publikacji
PL
Abstrakty
Przedstawiono uwagi dotyczące twierdzenia Gödela.
EN
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)
Rocznik
Strony
9--14
Opis fizyczny
Twórcy
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

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.