Народная теорема Геделя

[igorzhukov]

Все уже привыкли, что монополия математиков на теорему Гёделя разрушена? Похоже, как было написано на знаменитом стенде кафедры алгебры (по поводу Ферма), "теорема давно утратила математическое содержание, зато ясно виден ее философский смысл". В общем, образовалась народная теорема с разными версиями; на днях ее эффектно применили к правам

Comments

[a_konst]

Увы, не поможет - все эти применяющие знают о ней не от ВУЗовских преподавателей, а из популярных "детских" или философских книжек.

all you will get is impressive-sounding nonsense

[kouzdra]

Я по этому поводу очень люблю цитировать Эрика Рэймонда (который "Собор и базар" etc):

http://esr.ibiblio.org/?p=231
I used to be a mathematician with a specialty interest in formal logic and axiomatic systems. Godel’s incompleteness theorem only applies to formal axiomatic deduction, which is a far more constrained form of “description” than we have for the real universe (in which, for example, the so-called “Law” of the Excluded Middle normally does not apply). If you try to apply Godel’s theorem outside its proper domain, all you will get is impressive-sounding nonsense.

Re: all you will get is impressive-sounding nonsense

[kouzdra]

PS: Но, кстати, по существу спора я на 100% на стороне yurvor - это вот вообще формулировка настолько идеальная, что я некоторое время назад ее у себя переаостил.

[shmel]

Слышал, что какое-то время тому назад на обвинения некоторых заводов в загрязнении среды их начальство отвечало: «Чего же вы хотите: это Второй Закон Термодинамики. Энтропия растёт, состояние среды ухудшается. Заводы тут ни при чём.»

[xgrbml]

Будем утешаться тем, что теорема Гёделя одна, а превратно понятых физических терминов в массовом сознании гораздо больше одного.

[br0mberg]

Логику человеческую понять легко - раз уж в царице наук математике аксиоматические системы противоречивы, что уж говорить про наш несовершенный мир. )

[a_konst]

кто сказал что они противоречивы?
Т.Г. утверждается что нельзя написать формально корректное доказательство непротиворечивости.

[br0mberg]

Хм... А кроме формально корректных - другие доказательства не принимаются? ))
Получается есть вещи про которые нельзя сказать, противоречивы они или нет.
Кстати, как так получается - люди математику выдумали всю из головы со всеми правилами, почему же они оказались невластны над её законами и не придумали математику где есть формально корректные доказательства непротиворечивости?

Кстати, вот ещё одна бытовая теория из разряда "ни фига ты не докажешь" - опираясь на ложные посылки можно прийти к любому ложному выводу, поскольку люди никогда не обладают полным объёмом знаний, значит они в своих суждениях опираются на ложные посылки, значит они всегда приходят к неверным выводам.

[signamax]

вы при помощи демагогии описали демагогию
какое это имеет отношение к посту?
ну кроме как иллюстрация как не надо делать?