Michael Detlefsen (logic, history and philosophy of mathematics) at the University of Notre Dame has been awarded a multi-year million-dollar research grant by the French National Research Agency. Details here.
To be worth using, a detector needs not only (A) not get very many false positives, but also (B) get…




Leave a Reply