Explore >> Select a destination
|
You are here 
|
existentialtype.wordpress.com | ||
| | | | |
blog.computationalcomplexity.org
|
|
| | | | | As someone who has literally written a book on the topic, I have had many people over the years send me their attempts at P v NP proofs. On ... | |
| | | | |
pressron.wordpress.com
|
|
| | | | | Abstract: Machine and language models of computation differ so greatly in the computational complexity properties of their representation that they form two distinct classes that cannot be directly compared in a meaningful way. While machine models are self-contained, the properties of the language models indicate that they require a computationally powerful collaborator, and are better... | |
| | | | |
fredrikj.net
|
|
| | | | | ||
| | | | |
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... | ||
