IndisputableMonolith.Information.LandauerBound

declarations in this module (26)

• def k_B L50
• def roomTemperature L53
• def landauerEnergy L57
• theorem landauer_positive L60
• def landauerRoomTemp L69
• theorem landauer_room_temp_value L72
• def tau0_seconds L79
• def quantumEnergy L83
• theorem landauer_from_tau0 L89
• def minimumErasurePower L94
• def erasureJCost L101
• theorem jcost_equals_thermodynamic L105
• def experimentalVerification L115
• def currentComputerEnergy L126
• def efficiencyRatio L127
• theorem room_for_improvement L130
• structure ReversibleComputation L139
• theorem reversible_approaches_zero L148
• theorem quantum_is_reversible L154
• theorem landauer_from_ledger L169
• theorem information_is_physical L178
• def applications L190
• structure LandauerComputer L199
• def predictions L214
• structure LandauerFalsifier L228
• def experimentalStatus L235