theoretical physical maximum on computation

For example, a computer with the mass of the entire Earth operating at the Bremermann’s limit could perform approximately 1075 mathematical computations per second. If we assume that a cryptographic key can be tested with only one operation, then a typical 128 bit key could be cracked in under 10−36 seconds. However, a 256 bit key (which is already in use in some systems) would take about two minutes to crack. Using a 512 bit key would increase the cracking time to approaching 1072 years, without increasing the time for encryption by more than a constant factor (depending on the encryption algorithms used).

added 2013-09-16T14:37:36Z by anders

λ-calculus core

At it’s core, the lambda calculus contains only: variable references, single-argument anonymous functions and function calls.

added 2012-03-15T15:43:43Z by anders