The measure of a mathematician is how many names ze can put after the Curry-Howard-... correspondence
@argletargle Actually, the measure of a mathematician is a nonnegative real function from a delta ring that is 0 for the empty set and sums
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
The measure of a mathematician is how many names ze can put after the Curry-Howard-... correspondence
@argletargle Actually, the measure of a mathematician is a nonnegative real function from a delta ring that is 0 for the empty set and sums
