МОДЕЛЬ МАТЕМАТИКА МОДЕЛИРУЮЩЕГО ЧЯ  ↑

Далее идёт: И пока он делал это, я наблюдал за ним, и я перевернулся (turned over - не знаю как перевести), и сказал ему, что он делает. И я закольцевал это на себя таким образом, что только математик бы понял, и он обернулся и посмотрел на меня и уходит: "Вы только что сделали теорию доказательств." Он сказал: "Я не думал, что есть более 8 человек на земле, которые понимают это". И я сказал:" Ну, значит теперь их 9".

Ну, я так понял, что тут Б. указывает/намекает как он МОДЕЛИРОВАЛ МОДЕЛИРУЮЩЕГО (человеческую активность) МАТЕМАТИКА! Т.е. он:
--нашел уникальный образец моделиста моделирующего ЧЯ
--и сделал с него еще одну производную модели - интегрировав его некие ментальные навыки СЕБЕ (с учетом того, что он сам несколько разбирается в программировании и, мы на это надеемся, в математике)

Если такое возможно, тут без бутылки не сразу разберешься в мета производных полученной модели:
--в которых из них преобладают "человеческие" уровни
--в каких преобладают - "математические"