2 ms·I would argue that CS and type theory explores the very foundations of math.by threatofrain 8y agoI would argue that CS and type theory explores the very foundations of math.