My gut instinct says Homotopy Type Theory. Best wishes, Adam P. Goucher [P.S. Boolean algebra was both more recent and more consequential than complex numbers -- the idea that one can identify {false, true} with F_2 and perform algebra upon it.]
Sent: Thursday, March 01, 2018 at 11:47 PM From: "Bernie Cosell" <bernie@fantasyfarm.com> To: math-fun@mailman.xmission.com Subject: [math-fun] next breakthrough?
i know this is vague, but my wife was reading about the history of i and wondered what the next great fundamental conceptual breakthrough might be. it took something like 1500 years for complex numbers to get understood and now they're used everywhere. it's now been about 250 years and she was wondering what might be the next breakthrough be that could be as consequential as complex numbers are.
/bernie\ -- Bernie Cosell bernie@fantasyfarm. com -- Too many people, too few sheep -- _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun