New answers tagged

2

A concrete example would be the application of categories to software development as described e.g. in this presentation ; even layman can anticipate the importance of correct software and even more being sure about its correctness and that is, where mathematics hooks in: what has been proven correct is so forever. So essentially, mathematics provides ...


6

I'd claim that one should effectively refuse to respond too-directly to a question that otherwise purports to ask "why do you work on what you do?" Almost entirely, I think it is fair to say that we work on technical issues that arise in thinking about special cases of prototypes of models of ... relating to larger, more communicable issues. So, seriously, ...


4

Earlier today I was sitting at a table thinking about independent sets in graphs, inspired by What is the minimum number of independent sets for a graph with fixed numbers of vertices and edges? . Another person wondered what I was doing, and I spent less than ten minutes explaining a simple version of the problem. In order to succeed at such an endeavour, ...



Top 50 recent answers are included