Abbie NormalI 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
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.