/explore
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
mycqstate.wordpress.com
This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
micromath.wordpress.com
Continuing the theme of alternative approaches to teaching calculus, I take the liberty of posting a letter sent by Donald Knuth to to the Notices of the American Mathematical Society in March, 1998 (TeX file). Professor Anthony W. Knapp P O Box 333 East Setauket, NY 11733 Dear editor, I am pleased to see so... |
|
| | | | | ||
| | | | |
stackoverflow.blog
[AI summary] An in-depth look at why the Rust programming language is gaining popularity, focusing on its static typing, memory safety, and performance advantages over C, C++, and managed languages. |
|
| | | |||
