Статья написана в продолжении дискуссии в соцсетях на тему религии / эзотерики и атеизма. В одном из комментов у себя в соцсетях я написал, что считаю, что атеизм — это одна из форм верований, в которой люди верят, что бога нет. Мне привели в качестве контраргумента аналогию про…
Есть три бога, A, B, и C, один из которых бог истины, другой бог лжи и третий бог случая, причём неясно, кто из них кто. Бог истины всегда говорит правду, бог лжи обманывает, а бог случая может сказать и то, и другое в произвольном порядке. Необходимо определить, кем является каждый из…
Теореме Гёделя о неполноте, одной из самых известных теорем математической логики, повезло и не повезло одновременно. В этом она похожа на специальную теорию относительности Эйнштейна. С одной стороны, почти все о них что-то слышали. С другой — в народной интерпретации теория…
Грубо говоря, теорема Гёделя о неполноте утверждает, что существуют истинные математические утверждения, которые невозможно доказать. Когда я был в 11-м классе, мы втроём с учителем геометрии г-н Олсеном и моим другом Умой Рой провели пять недель, читая оригинальное…