@Rulevoi2

Приветствую всех откликнувшихся. Возникло несколько вопросов:
1) нужно доказать что формула x→(y→x^y) доказуема
2) смысловой вопрос - как доказать уже кем-то когда-то доказанное (с точки зрения лексического употребления выражениея - хотя думаю это к филологам )

0

XRuZzz

по второму вопросу можно почитать книгу приведённую в посте Решение задач из книги Дынкин, Успенский "Математические беседы"

0

@Mysterious Light

Я привык считать, что это аксиома. Всякая аксиома, очевидно, доказуема, притом в одно действие.
Если Вы считаете по-другому, поясните свою позицию: аксиомы, правила вывода и т.п.

0

@Rulevoi2

По мне так чего тут доказывать если уже все кем то выявлено...но требуется доказать...

0

XRuZzz

Тут доказательство, означает понимание "почему так происходит", как это, с логической точки зрения. То есть осознания этого логического следствия. Однако, в ссылке, которую я приводил, описан смысл доказательства с точки зрения математического сообщества. В общих чертах, доказательство это такое понимание происходящего в некоторой теореме, которое позволяет этому человеку убедить других в правильности его суждений.
Такие доказательства - это попытка разобраться в устройстве окружающего мира на основе некоторых абстракций.

Хорошо это или плохо - самому доказывать теоремы, не подсматривая в чужие доказательства, это уже другой вопрос.

0

@Rulevoi2

Все переключились на лингвистику)) Может кто то сможет матлогически это доказать?)

0

@Mysterious Light

Rulevoi2, перечитайте моё сообщение.

Доказательство:
Шаг 1. Выпишем аксиому
QED: Что и требовалось доказать.

Мне этот вариант нравится. Он чисто фомальный, без какой-либо философии или лингвистики, и это чисто матлогично.

Кстати, мне не всё понравилось из того, что написано по ссылке. Оно немного не совпадает с тем, что наблюдается в некоторых разделах математики и в некоторых отдельных сообществах математиков.

0