March 6th, 2019

моральный облик учителей морали

моральный облик учителей морали
слово дал, слово взял, дык хозяин своего слова
я информацию не перепроверял, на мой взгляд это вполне правдоподобно

оставьте их: они – слепые вожди слепых; а если слепой ведет слепого, то оба упадут в яму.
Евангелие от Матфея 15:14 – Мф 15:14: https://bible.by/verse/40/15/14/

----
Патриарх Варфоломей дал интервью сербскому интернет-изданию "Политика". Материал был опубликован 21 февраля с названием "Я не восточный папа".

"Говорят, что вы публично пообещали в присутствии всех глав православных церквей несколько лет назад, что вы не будете вмешиваться в церковные проблемы Украины, потому что это внутренняя проблема Русской Церкви", - указывает журналист Варфоломею на его обещание.

"Что же касается некоторых наших старых заявлений о невмешательстве в дела в Украине, мы действительно приняли такое решение, основываясь на обстоятельствах и фактах того времени. Однако с течением времени факты изменились", - таков был ответ Варфоломея на вопрос журналиста, продемонстрировав, что обещания не вмешиваться во внутренние дала других Церквей условны.
https://varjag2007su.livejournal.com/
---

теория моделей, полнота, гедель

---------
Теорема Гёделя о неполноте.
Владимир Андреевич Успенский
М.: Наука, 1982. 110 с.
Тираж 100000 экз.
Серия Популярные лекции по математике, выпуск 57

В § 4 описывается язык формальной арифметики, дается точное определение понятия истинности утверждения этого языка и точная формулировка теоремы Гёделя о неполноте для формальной арифметики.
В § 5 на основе дальнейшего развития тех представлений об алгоритмах, которые были описаны в § 2,— развития, закрепляемого в виде трех аксиом теории алгоритмов, — завершается доказательство теоремы о неполноте формальной арифметики.
https://math.ru/lib/plm/57

--------------------
Теорема 1.2.7. (Теорема о полноте.) ⊢φ тогда и только тогда,
когда ⊨φ; иными словами, высказывание является тавтологией
тогда и только тогда, когда оно истинно.
стр.21. Кейслер...

---
Г. Кейслер, Ч. Ч. Чэн
ТЕОРИЯ МОДЕЛЕЙ
изд. Мир, 1977
обозначим КЧТМ=(Кейслер, Чэн, Теория Моделей)
---
Collapse )