Explore >> Select a destination
|
You are here 
|
existentialtype.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... | |
| | | | |
mln84.wordpress.com
|
|
| | | | | The most common question students have about mathematics is "when will I ever use this?" Many math teachers would probably struggle to give a coherent answer, beyond being very good at following precise directions. They will say "critical thinking" but not much else concrete. Meanwhile, the same teachers must, with a straight face, tell their... | |
| | | | |
fredrikj.net
|
|
| | | | | ||
| | | | |
blog.computationalcomplexity.org
|
|
| | | The great game theorist Robert Aumann writes about consciousness . Sometimes, people express perplexity as to the nature of the problem. Th... | ||
