/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

vzn1.wordpress.com
| | terrytao.wordpress.com

Don't just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical sp...
5.7 parsecs

Travel
| |
| | 4gravitons.com

Merging quantum mechanics and gravity is a famously hard physics problem. Explaining why merging quantum mechanics and gravity is hard is, in turn, a very hard science communication problem. The more popular descriptions tend to lead to misunderstandings, and I've posted many times over the years to chip away at those misunderstandings. Merging quantum mechanics...
5.5 parsecs

Travel
| |
| | thatsmaths.com

[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.7 parsecs

Travel
| |
| | jiggerwit.wordpress.com

What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer...
12.5 parsecs

Travel
|