/explore
|
You are here 
|
nickdrozd.github.io | ||
| | | | |
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. | |
| | | | |
jeremykun.wordpress.com
|
|
| | | | | We assume the reader is familiar with the concepts of determinism and finite automata, or has read the corresponding primer on this blog. The Mother of All Computers Last time we saw some models for computation, and saw in turn how limited they were. Now, we open Pandrora's hard drive: Definition: A Turing machineis a... | |
| | | | |
blog.sigfpe.com
|
|
| | | |||
