Joseph Mileti, "Modern Mathematical Logic" (Cambridge UP, 2022)
New Books in Science, Technology, and Society
00:00
What Are You Working on Right Now?
i like the way in which there's this kind of inner disciplinarity in mathematics, that one field will affect another. What i like to study is sort of, how complicated are certain mathematical objects. And so what i like to do is not just have a dictionary of this mathematical object but also a complexity index. We can then infer from that that any proof of this must involve some constructive techniques.
Play episode from 41:58
Transcript
