IndisputableMonolith.Thermodynamics.RecognitionThermodynamics

declarations in this module (26)

• structure RecognitionSystem L44
• def gibbs_weight L65
• theorem gibbs_weight_pos L69
• theorem gibbs_weight_one L73
• def partition_function L79
• theorem partition_function_pos L84
• def gibbs_measure L94
• theorem gibbs_measure_nonneg L99
• theorem gibbs_measure_sum_one L105
• theorem gibbs_measure_pos L112
• structure ProbabilityDistribution L120
• def recognition_entropy L130
• def expected_cost L135
• def recognition_free_energy L140
• def free_energy_from_Z L145
• theorem free_energy_identity L151
• def kl_divergence L197
• theorem kl_divergence_nonneg L202
• def T_phi L243
• theorem T_phi_pos L246
• def phi_temperature_system L251
• structure CoherenceThreshold L260
• def rs_coherence L273
• theorem coherence_at_phi_temp L276
• def eight_tick L283
• def fundamental_frequency L287