Теорема Геделя о неполноте - статья по философии

 

Тезисы:

  • Пожалуй, теорема Геделя о неполноте является воистину уникальной.
  • Рекомендую предварительно ознакомиться со статьей Туллио Редже Курт Гедель и его знаменитая теорема.
  • Попытки точной формулировки теоремы о неполноте.
  • Когда мы таким образом формулируем теорему, почти каждое слово требует некоторых пояснений.
  • Успенский Влaдимиp Aндpеевич pодился 27 ноябpя 1930 г. в г. Москве.
  • Есть два таких понятия: "алфавит языка" и "множество истинных утверждений языка".
  • Под словом алфавита мы понимаем конечную последовательность букв.
  • "Недоказуемые" значит не имеющие доказательства.
  • (1) У нас имеются алфавит L (алфавит языка) и алфавит Р (алфавит доказательства) .
  • Тройка , удовлетворяющая условиям (1) - (3) называется дедуктивной системой над алфавитом L.

 

 

Похожие работы:

Предметы

Все предметы »

 

 

Актуальные статьи по философии