(...это просто плохие математики. Я бы тоже диагонали нарисовал, это потому что из меня математик, как из г-на пуля).

(Reply to this) (Parent) (Thread)

Отнюдь, я видел такой рисунок в одной из уважаемых книг. Кажется, о теореме Гёделя. Или самого Гёделя книга (или Куранта(?), память подводит уже).

(Reply to this) (Parent) (Thread)

Дело в том, что таковой рисунок основывается на интуитивном представлении, что такое плоскость. Пока интуитивно понятно, все мы хорошие математики. Но далеко не всё интуитивно понятно, и чем дальше, тем хуже. Поэтому по-настоящему хорошие математики -- это те, кто умеют всё доказвать чисто формально.

(Reply to this) (Parent) (Thread)

Мне кажется, большинство из таких математиков - плохие. Потому что невозможно сколь-нибудь серьёзно продвинуться через детали формализации. Обычно математики излагают на достаточном для понимания уровне, при этом всегда могут обосновать утверждение более формально, в принципе, на любом более глубоком уровне детализации.

(Reply to this) (Parent)

> Дело в том, что таковой рисунок основывается
> на интуитивном представлении, что такое плоскость.

Там существует простая* формула, эквивалентная рисованию стрелочек.

________________
* Рациональная функция какая-то, коротко записываемая.

(Reply to this) (Parent)

Вспомнил, в книге Клини "Метаматематика".

(Reply to this) (Parent)