Приводятся аргументы в пользу того, что любые счетные машины неизбежно включают в себя устройства, которые вычисляют логические функции, не имеющие однозначных обратных. Такая логическая необратимость соответствует физической необратимости и требует выделения минимального количества тепла за машинный цикл, обычно порядка $k T$ на каждую нєобратимую функцию. Эта диссипация способствует стандартизации сигналов и делает их независимыми от точной логической истории. Две простые, но показательные модели бистабильных устройств позволяют более подробно изучить кинетику переключений и получить соотношение между скоростью вычислений и диссипацией энергии, а также оценить влияние ошибок, индуцируемых тепловыми флуктуациями.