🚀 go-pugleaf

Well, one example (out of many that I have pondered) of
aspects of complexity theory that seem relevant to philosophy
is the so-called "Zero Knowledge Interactive Proof Systems"
(developed between 1983 and 1986 and currently a hot research area).

Using these things you can prove (probabalistically, with exponentially
small probability of error) that a theorem is true without giving
away any new information about the proof, except that it exists.

These things really bothered me when I first heard about them,
but now I am kind of fascinated by them. It seems to me that we
have had basically one notion of mathematical proof since Euclid,
and now after 2000+ years all of a sudden a new notion of proof appears.