Математическое доказательство как риторика

[ivanov_p]

История математики (сверхкратко) и изменения представлений о доказательстве. Доказательство - область риторики, способность убедить конкретно того, кого убеждают - и они различны в зависимости от того, кого должны убедить. В конце автор говорит. что компьютерные доказательства будут действовать рядом с классическими математическими

Comments

[ordinary_nobody]

О, в тему доказанного-неистинного

[aosypov]

Ну вот как раз внутринаучная "воспроизводимость опыта" сейчас начинает вызывать шевеления в связи с кризисом невоспроизводимости.

[ordinary_nobody]

Я плохо себе представляю, как сама идея воспроизводимости опыта видоизменилась за столетия; но ее одной, кажется, в принципе недостаточно. Она вроде дает связующую силу внутри некоторой специализации (в рамках которой - опыт), а не между специализациями. (Но это все у меня из пальца высосано.)