Как проводят свободное время философы и/или математики

[sqribner48]

Anton_Peplov в сообщении #1122007 писал(а):

Я подумаю над Вашей просьбой.

Спасибо. Я думаю, много участников форума будут Вам за это благодарны.

Anton_Peplov в сообщении #1122007 писал(а):

Мне - нет. Интересные люди пишут много интересных постов, я с удовольствием их читаю. Возможно, дело в том, что к проблеме изоморфизма графов, равно как и к гипотезе Келли-Улама, я отношусь с благожелательным безразличием

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

Anton_Peplov в сообщении #1086912 писал(а):

Новым, правда, для меня оказался п. 5 – я думал, что содержательное использование иллюстраций из математических доказательств уже изгнали.

Иллюстрации широко используются в теории графов. (как говорится: "Кто про что, а вшивый о бане!")
Пожалуй, невозможно без диаграмм графов доказать теорему Понтрягина-Куратовского.
Также очень убедительно выглядит книга Г. Фляйшнера «Эйлеровы графы и смежные вопросы», в которой чуть ли не на каждой странице есть по рисунку.

[grizzly]

sqribner48 в сообщении #1107273 писал(а):

Пример (с раскраской вершин графа), выбранный Матиясевичем для показательства, я считаю не самым лучшим. В отличие от его помошника, меня он не убедил.

Вот одна и вторая ссылки, где рассказывается подробнее о том, что такое интерактивное доказательство и как оно работает. Пример на MOF мне очень понравился.