CatonanoI still want to go through Structure and Interpretation of Classical mechanics
Probably in spring
Sussman quite agreed that the language currently used in math is a "natural language"
That is itì s not formal at all, that' s why it' s like a sect
Chirp! is a GNU Social instance for the Cooley and Sekula families and their friends.
Chirp! is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Chirp! content and data are available under the Creative Commons Attribution 3.0 license.