Слава - Стань сильней
Как шкала Лямбда заменит единицы Планка и разрешит вакуумную катастрофу?
Эволюция естественных единиц сыграла ключевую роль в формировании нашего понимания физики. От ранних попыток Стоуни в 19 веке, объединивших заряд электрона с ньютоновской гравитацией, до уточнения Планка с использованием квантовой механики и теории относительности естественные масштабы вели нас к объединению сил. Но получилось ли это сделать? Давайте размышлять вместе. Джордж Джонстон Стони известен тем, что ввел термин электрон в качестве фундаментальной единицы количества электричества и создал первую систему естественных единиц...
Основы лямбда-исчисления, часть 1
Время от времени я делаю попытки штурмовать функциональное программирование. Не то что бы оно мне нужно, но меня больше интересует, почему я не могу его понять. Что там, в голове, этому мешает? Если долго биться лбом о стену, то на лбу вырастет мозоль. Но и стена в какой-то момент даст маленькую трещину. Кажется, этот момент настал. Я подходил к вопросу немного не с той стороны. Потому что в основе ФП лежит И смысл его очень прост. Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости...