Сообщение Drums » Пт сен 12, 2008 16:44
ququ Чаще всего говорят "теорема о неполноте"
Первая теорема Гёделя о неполноте
Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), существует такая замкнутая формула F, что ни F, ни не являются выводимыми в этой теории.
Иначе говоря, в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть. Например, такое утверждение можно добавить к системе аксиом, оставив её непротиворечивой. При этом для новой теории (с увеличенным количеством аксиом) также будет существовать недоказуемое и неопровержимое утверждение.
Теорема была доказана Куртом Гёделем в 1931 году.
Вторая теорема Гёделя о неполноте
Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула, утверждающая непротиворечивость этой теории, не является выводимой в ней.
Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т.д.
Эта теорема имеет широкие последствия как для математики, так и для философии, в частности, для онтологии и философии науки.
Википедия
Мне в том году надо было срочно доделывать работу, и мы подключились к максимальной сокрости. Тормозило по страшному. Когда мне удалось связаться с их инженером, он мне честно сказал, что на тот момент максимальная скорость была на линии 128, т.к. все остальные (256, 512, 1024) были перегружены. Я задала вопрос на их сайте, что за дела такие, на что мне ответили, что они обозначают скорость максимально возможную, но не гарантированную. А чтобы уйти с анлима надо заплатить 100 руб. за смену тарифа.
Телеком рулит .. 