timelets: (Default)
timelets ([personal profile] timelets) wrote2018-01-18 11:43 pm
  • Add Memory
  • Share This Entry
Entry tags:

Type theory

http://www.science4all.org/article/type-theory/
Now, following Poincaré’s quote, mathematics mainly boils down to determining what (different) constructions can be given the same name.


via bamalip
  • Add Memory
  • Share This Entry
(0 comments)

Post a comment in response:

If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Links will be displayed as unclickable URLs to help prevent spam.