Hack on: Difference between revisions
| Line 40: | Line 40: | ||
* Let's get bipartite, bipartite...with [[bip buffers]]. | * Let's get bipartite, bipartite...with [[bip buffers]]. | ||
* [[Ling adders]], [[Blum's axioms]], and [[Rice's Theorem]] are all named after people smarter than me... | * [[Ling adders]], [[Blum's axioms]], and [[Rice's Theorem]] are all named after people smarter than me... | ||
** ...as are [[Chaitin's Constant]] and [[ | ** ...as are [[Chaitin's Constant]] and [[Kolmogorov complexity]], though not the [[Speed Prior]]. | ||
* [[Questions|Questions?]] | * [[Questions|Questions?]] | ||