Пример того, как инженеры и далёкие от профессионального технического знания люди находят неочевидные и важные решения практических проблем – не так давно было найдено решение математической задачи Эйнштейна, нахождения одного элемента а-периодичной мозайки Пенроуза, и сделал это не ученый или инженер, но обычный типограф Дэвид Смит.
В задаче Эйнштейна ставится вопрос о существовании единственного прототипа, который сам по себе образует апериодический набор прототипов, то есть форму, которая может тесселировать пространство, но только непериодическим образом. Это проблема неповторяющейся паттерна, паттерна, чей инвариант является апереодичной мозаикой (мозаикой Пенроуза), обладающей свойствами непериодичности, отсутствием трансляционной симметрии, повторяемости, квазикристалличности, определённого свойства дифрации. Изначально, в середине 60-х было обнаружено чуть более 20000 а-переодичных элементов мозаик. Это число в дальнейшем, благодаря в том числе Пенроузу, сократилось до двух и вот, наконец, до одной.
Дэвид – это случай, когда человек пришел к абстрактному решению после долгой эмпирической работы, что вообще-то довольно часто встречается у ремесленников на протяжении истории, когда творческие люди вступали в кооперации с инженерами, распределяя техническое знание, которое специалисты преобразовывали в формальное.
Это не единственный случай в современной математике, где ремесленник обошёл ученого – Ада Лавлейс усовершенствовала разностную машину Чарльза Бэббиджа и стала основательницей современного программирования, Франсуа Виет был адвокатом и разработал формулу для коэффициентов многочлена как функций его корней, Марджори Райс открыла четыре ранее неизвестных классов пятиугольных мозаик.
Post #201
822