/explore
|
You are here 
|
scottaaronson.blog | ||
| | | | |
math.andrej.com
[AI summary] The provided text is a collection of comments and discussions from a blog post about the concept of computable functions and their continuity, with a focus on type I and type II computability. The discussion touches on various topics, including the Church-Turing thesis, the role of higher-order functions like m and timeout in different models of computation, and the distinction between constructive and classical mathematics. The comments also explore the implications of different computational models, such as PCF, Turing machines, and Type II computation, and their relevance to real-world applications. The overall theme is the exploration of the boundaries and nuances of computability and continuity in mathematical and computational contexts. |
|
| | | | | ||
| | | | |
cornellmath.wordpress.com
When discussing the validity of the Axiom of Choice, the most common argument for not taking it as gospel is the Banach-Tarski paradox. Yet, this never particularly bothered me. The argument against the Axiom of Choice which really hit a chord I first heard at the Olivetti Club, our graduate colloquium. It's an extension... |
|
| | | | | ||
| | | | |
reportofanimals.com
DISCLAIMER: This is an essay I wrote for my Masters degree in 2023, part of a series I will be putting on this site to get me started. While I have changed some of my views and found new lines of inquiry since I wrote this, I feel there is value in it and after... |
|
| | | | | ||
| | | | |
thehighergeometer.wordpress.com
Here's a fun thing: if you want to generate a random finite $latex T_0$ space, instead select a random subset from $latex \mathbb{S}^n$, the $latex n$-fold power of the Sierpinski space $latex \mathbb{S}$, since every $latex T_0$ space embeds into some (arbitrary) product of copies of the Sierpinski space. (Recall that $latex \mathbb{S}$ has underlying... |
|
| | | |||
