Я это сделаю, но не сегодня

и у меня. Не работает

Она не шедевральная, но увлекательная и не глупая, может быть не настолько интересная как новая прога для айфона, но тем не менее интересная для меня, я например знал доказательство того что диагональ квадрата это иррациональное число, но я знал аналитическое доказательство, а греческого геометрического я не знал, ну или забыл, почему греческий алгоритм нахождения наибольшего делителя был построен на вычитании, а не на делении? Потому что они не пользовались десятичными цифрами, у них был другой алфавит и попробуй на нем что-нибудь разделить. И только Фибоначчи вводит в Европе десятичную систему, почему у греков не было нуля, на мой взгляд все это очень интересно.
Кстати, Степанов читал еще 1 лекцию в яндексе:
video.yandex.ru/users/ya-events/view/126/?cauthor=ya-events&cid=10
Эта лекция более специальная, менее популярная, и более сумбурная получилась, чем первая, но ответы на вопросы заслуживают внимания, а кроме того я нашел для себя наконец ответ, чем множества отличаются от типов, то есть я понимал это на интуитивном уровне, но много лет не мог себе объяснить формально. Я читал Пирса newstar.rinet.ru/~goga/tapl/tapl-toc.html но запутывался еще больше. А Степанов привел один единственный пример тип это целое число, а множество это простое число, допустим. И я сразу понял разницу. Тип это всегда аксиоматическое утверждение, не требующее проверки. В общем что-то я разошелся сворачиваюсь))))

тогда ничего, кроме стола и мусорного ведра, на ум не приходит. :)

посмотрю, что остальные предложат )

Так возведение в квадрат это построение этого квадрата и измерение его площади. Возведение в квадрат потому так и называется и куб тоже, и корни аналогично.

www.stepanovpapers.com/
Правда, для них там только английские презентации.