IndisputableMonolith.Quantum.BekensteinHawking

declarations in this module (28)

• def k_B L42
• def planckLength L47
• def planckArea L50
• def planckMass L53
• def planckTemperature L56
• structure BlackHole L61
• def schwarzschildRadius L66
• def horizonArea L70
• def bekensteinHawkingEntropy L79
• theorem entropy_proportional_to_area L83
• def entropyInBits L87
• theorem entropy_from_ledger_capacity L99
• def informationContent L106
• def hawkingTemperature L115
• theorem temperature_inverse_mass L119
• def solarMassTemperature L127
• theorem planck_mass_temperature L131
• theorem temperature_from_tau0 L144
• def surfaceGravity L150
• theorem temperature_from_surface_gravity L153
• theorem first_law L179
• theorem second_law_classical L190
• def hawkingPower L203
• def evaporationTime L208
• theorem solar_mass_lives_forever L212
• theorem information_preserved L228
• def predictions L242
• structure BHThermodynamicsFalsifier L256