Изложение второй теоремы Гёделя в односложных словах

[alexey_rom]

First of all, when I say "proved", what I will mean is "proved with the aid of
the whole of math". Now then: two plus two is four, as you well know. And,
of course, it can be proved that two plus two is four (proved, that is, with the
aid of the whole of math, as I said, though in the case of two plus two, of
course we do not need the whole of math to prove that it is four). And, as
may not be quite so clear, it can be proved that it can be proved that two plus
two is four, as well. And it can be proved that it can be proved that it can be
proved that two plus two is four. And so on. In fact, if a claim can be proved,
then it can be proved that the claim can be proved. And that too can be
proved.

Now, two plus two is not five. And it can be proved that two plus two is not
five. And it can be proved that it can be proved that two plus two is not five,
and so on.

Thus: it can be proved that two plus two is not five. Can it be proved as well
that two plus two is five? It would be a real blow to math, to say the least, if
it could. If it could be proved that two plus two is five, then it could be
proved that five is not five, and then there would be no claim that could not
be proved, and math would be a lot of bunk.

So, we now want to ask, can it be proved that it can't be proved that two plus
two is five? Here's the shock: no, it can't. Or, to hedge a bit: if it can be
proved that it can't be proved that two plus two is five, then it can be proved
as well that two plus two is five, and math is a lot of bunk. In fact, if math is
not a lot of bunk, then no claim of the form "claim X can't be proved" can be
proved.

So, if math is not a lot of bunk, then, though it can't be proved that two plus
two is five, it can't be proved that it can't be proved that two plus two is five.
By the way, in case you'd like to know: yes, it can be proved that if it can be
proved that it can't be proved that two plus two is five, then it can be proved
that two plus two is five.

George Boolos, Mind, Vol. 103, January 1994

Сомневаюсь, что по-русски можно сделать аналогичное. В частности, как обойтись без какого-нибудь слова, однокоренного "доказать"?

Ещё одно: специальная теория относительности в словах не более, чем из четырёх букв.

Comments

[vic-gorbatov.livejournal.com]

Всем математикам срочно перейти на английский! )))

[lev-lamberov.livejournal.com]

If math is not a lot of bunk, then no claim of the form 'X can't be proved' can be proved.

[alexey-rom.livejournal.com]

Я согласен, что можно и так, но в оригинале "claim X can't be proved".

Прикольно, конечно...

[nevitskaya.livejournal.com]

А как вы при этом переводите "with the aid of the whole of math", и это повторяктся дважды?
Здесь сразу масса вопросов и к автору (в его историчесом контексте, что он имел в виду под "whole of math"), и к переводчику...

И вообще - Гедель в оригинале писал по-английски?
Я просто не в курсе, подтвердите или опровергните.

Re: Прикольно, конечно...

[alexey-rom.livejournal.com]

А как вы при этом переводите "with the aid of the whole of math", и это повторяктся дважды?
Имеется в виду, что доказательство может использовать все математические знания, независимо от того, к какому разделу они относятся (кстати, это не совсем корректно).

Гедель в оригинале писал по-английски?
Нет; статья, в которой доказана теорема о неполноте, написана на немецком.

[langri-ksk.livejournal.com]

наверное, это невозможно. Английские слова в принципе куда более односложны :))