Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		leanprover-community.github.io Lean projects
\|	\|	jdh.hamkins.org Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018 \| Joel David Hamkins	5.2 parsecs away Travel
\|	\|	This will be a series of lectures on the philosophy of mathematics, given at Oxford University, Michaelmas term 2018. The lectures are mainly intended for undergraduate students preparing for exam ...	5.2 parsecs away Travel
\|	\|	thatsmaths.com Contents - ThatsMaths	4.2 parsecs away Travel
\|	\|	[AI summary] A blog archive listing titled 'ThatsMaths' containing over 600 posts from 2002 to 2025 covering mathematical history, problems, applications, and scientific concepts.	4.2 parsecs away Travel
\|	\|	gilkalai.wordpress.com Martons Polynomial Freiman-Ruzsa Conjecture was Settled by Tim Gowers, Ben Green, Freddie Manners and Terry Tao \| Combinatori...	5.3 parsecs away Travel
\|	\|	Gowers, Green, Manners and Tao. They reminded me of the A-team of the 1980s television series: "If you have a problem, if no one else can help, and if you can find them, maybe you can hire... the A-Team." A conjecture of Marton, widely known as "the polynomial Freiman-Ruzsa conjecture" was certainly a holy grail	5.3 parsecs away Travel
\|	\|	edjohnsonwilliams.co.uk Chess Variants	39.0 parsecs away Travel
\|		Looking at some modified versions of chess	39.0 parsecs away Travel