/explore
|
You are here 
|
nickdrozd.github.io | ||
| | | | |
www.forwardscattering.org
|
|
| | | | | [AI summary] Nicholas Chapman proves that it is decidable to find the fastest Turing machine for computing functions defined on a finite domain by limiting the search space to machines with a finite number of states based on a reference solution's runtime. | |
| | | | |
scottaaronson.blog
|
|
| | | | | For the past few days, I was bummed about the sooner-than-expected loss of Steven Weinberg. Even after putting up my post, I spent hours just watching old interviews with Steve on YouTube and reading his old essays for gems of insight that I'd missed. (Someday, I'll tackle Steve's celebrated quantum field theory and general relativity... | |
| | | | |
eklausmeier.goip.de
|
|
| | | | | [AI summary] This article explains the mathematical method of diagonalization, using Cantor's proof of uncountability and Turing's halting problem as primary examples. | |
| | | | |
swtch.com
|
|
| | | |||
