Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Science, Technology, and Society
00:00
What Is Collaborative in Mathematics?
There was a long effort in mathematics ti sort of systematize mathematical reasoning, to turn it into something symbolic that you can totally understand the rules of. And so this asserted the origins of mathematical logic in the twentieth century. But there's lots of places where you say, this might be true, you i might not t comes back into a really interesting part of mathematical logic and the history here. El, that's another thing that we talked about earlier, and that is that mathematics is incredibly collaborative? Yes? Like, you always work with other peopleit it didn't use to be that. Back in the, you know, 60 years ago, most mathematical papers were wrtten by one
Play episode from 25:20
Transcript
