Outer Web | Explore

Explore >> Select a destination

You are here		aeon.co More than argument, logic is the very structure of reality \| Aeon Essays
\|	\|	blog.computationalcomplexity.org Computational Complexity: Why did 1+1=2 take Russell and Whitehead 300 pages?	9.4 parsecs away Travel
\|	\|	In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we...	9.4 parsecs away Travel
\|	\|	jdh.hamkins.org Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford \| Joel David Hamkins	11.8 parsecs away Travel
\|	\|	Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o...	11.8 parsecs away Travel
\|	\|	metarationality.com Acting on the truth \| Meta-rationality	14.2 parsecs away Travel
\|	\|	Rationalist theories of action try to deduce optimal choices from true beliefs. This is rarely possible in practice.	14.2 parsecs away Travel
\|	\|	fa.bianp.net On the Convergence of the Unadjusted Langevin Algorithm	99.8 parsecs away Travel
\|		The Langevin algorithm is a simple and powerful method to sample from a probability distribution. It's a key ingredient of some machine learning methods such as diffusion models and differentially private learning. In this post, I'll derive a simple convergence analysis of this method in the special case when the ...	99.8 parsecs away Travel