про задачи
12:49 | 19-04-2008 | Lifeform, Metaphysics, Science | 2 Comments
с самого утра меня постоянно волнует один и тот же вопрос: является ли постоянно развязывающийся шнурок неотъемлимой частью моего туалета?
иными словами, можно ли доказать истинность или ложность этого шнурка в непротиворечивой теории одежды?
иначе говоря, я опять возвращаюсь к восхитительной первой теореме Гёделя о неполноте, доказанной им в 1931 году:
в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть.
а поэтому, если говорить о шнурке, то руководствоваться необходимо дополнительными теориями — как то, например, удобством, этикетом, или, наконец, хотя бы просто модой.
однако, нельзя так же забывать, что и в расширенном подобным образом языке будет так же существовать другое недоказуемое и неопровержимое утверждение.
по-моему, завораживает. или неинтересно про шнурки? тогда можно по-другому: любой элемент Вселенной не в состоянии познать ее, так как всегда найдется другой элемент той же Вселенной, который нельзя будет ни доказать ни опровергнуть.
а сопутствующее чтение такое:
- Успенский В. А., “Теорема Гёделя о неполноте”. М.: Наука, 1982 г., 110 стр.
- Gibson W., Sterling B., “The Difference Engine”. Victor Gollancz Ltd, 1990, 256 pp
- Stephenson, N. T., “Cryptonomicon”. Avon, 1999, 918 pp
[…] про задачипросто слова […]
[…] разъяснение замечательной теоремы Гёделя о неполноте, между прочим. […]