Парадокс Жирара ("...this is equivalent to all logical propositions being provable, which makes the system inconsistent...") был обнаружен в первой версии теории типов Пера Мартина-Лёфа и был устранён им во второй с помощью иерархии типов.

Кайен Аугустссона, как и современный Хаскель, не содержат иерархии типов, в отличии от второй Агды ( Read more... )

https://www.youtube.com/watch?v=7RXi_JdNx_w - Серьёзный Сэм 4: Сибирская Заваруха.

У игр Кротим довольно серьёзное отношение к христианству. Принцип Талоса вообще им пронизан, а в Четвёртом Сэме главный герой сражается у Ватикана и, не много, ни мало, освобождает от ( Read more... )

https://en.wikipedia.org/wiki/Anti-clericalism_in_MexicoRead more... )

https://worldsensorium.com/threat-from-climate-change-to-some-of-indias-sacred-pilgrimage-sites-is-reshaping-religious-beliefs/ - "Изменение климата несёт угрозы некоторым священным местам ( Read more... )

Some people have mythologized capitalism and the free market to the point of it being a religion -- it is uncritically championed as being perfect and infallible, and completely ignores many aspects of human behavior which negate some of its assumptions. And once you are convinced that you are the keeper of Immutable Truth and Knowledge, you will ( Read more... )

Или средство, чтобы милые не ругались, а любились. ;)

Очень положительно. ;)

http://serge-le.livejournal.com/151464.html

Это кое-что объясняет. ;)

С Днем Рождения, Земля!

Как ей плохо от церкви. Не написала, правда, почему. Это, наверное, очень серъезно ( Read more... )

Религия - боксерская груша ума человечества, в интеллектуальной войне с нею человечество учится мыслить.

В принципе, идет в ногу с мнение Дональда Кнута. И моим - насчет того, что дзен обучает построению моделей формальной логики. ;)