Explore >> Select a destination
|
You are here 
|
micromath.wordpress.com | ||
| | | | |
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... | |
| | | | |
almostsuremath.com
|
|
| | | | | The aim of this post is to motivate the idea of representing probability spaces as states on a commutative algebra. We will consider how this abstract construction relates directly to classical probabilities. In the standard axiomatization of probability theory, due to Kolmogorov, the central construct is a probability space $latex {(\Omega,\mathcal F,{\mathbb P})}&fg=000000$. This consists... | |
| | | | |
njwildberger.com
|
|
| | | | | Modern mathematics is enormously complicated and sophisticated. It takes some courage, and perhaps some foolishness, to dare to suggest that behind the fancy theories lie serious logical gaps, and indeed error. But this is the unfortunate reality. Around the corner, however, is a new and more beautiful mathematics, a more honest mathematics, in which everything... | |
| | | | |
alok.github.io
|
|
| | | Alok Singh's Blog | ||
