IndisputableMonolith.Thermodynamics.MemoryLedger

declarations in this module (24)

• structure LedgerMemoryTrace L38
• def base_decay_rate L50
• theorem base_decay_rate_pos L52
• def working_memory_window L54
• def breath_cycle L55
• theorem breath_cycle_pos L57
• def memory_cost L61
• lemma emotional_discount_pos L70
• theorem memory_cost_nonneg L86
• theorem emotional_reduces_cost L109
• def forgetting_rate L209
• def apply_forgetting L212
• theorem forgetting_decreases L216
• theorem emotional_forgets_slower L230
• def equilibrium_remember_prob L288
• theorem high_temp_maximizes_entropy L293
• theorem low_temp_bistable L377
• structure LearningEvent L509
• def spaced_bonus L516
• theorem spaced_bonus_nonneg L519
• def learning_rate L528
• theorem learning_rate_nonneg L531
• theorem learning_compounds L537
• def memory_ledger_status L561