Branden Fitelson is Distinguished Professor of Philosophy at Northeastern University. Before teaching at Northeastern, Branden held teaching positions at Rutgers, UC-Berkeley, San José State, and Stanford and visiting positions at the Munich Center for Mathematical Philosophy at LMU-Munich (MCMP @ LMU) and the Institute for Logic, Language and Computation at the University of Amsterdam (ILLC @ UvA).
Branden Fitelson
Distinguished Professor of Philosophy, Northeastern University
Participant In:
Saturday, October 5th, 2019 at 2:30pm
Mechanization of Math
Proof, in the form of step by step deduction, following the rules of logical reasoning, is the ultimate test of validity in mathematics. Some proofs, however, are so long or complex, or both, that they cannot be checked for errors by human experts. In response, a small but growing community of mathematicians, collaborating with computer... read more! »
Sat
05
Oct
05
Oct
Saturday, October 5th, 2019 at 2:30pm
Mechanization of Math
Proof, in the form of step by step deduction, following the rules of logical reasoning, is the ultimate test of validity in mathematics. Some proofs, however, are so long or complex, or both, that they cannot be checked for errors by human experts. In response, a small but growing community of mathematicians, collaborating with computer... read more! »Saturday, September 26, 2020 at 2:30pm
Ethics & AI
Justice is blind, the saying goes, which means that a person’s particulars – their social status, race, gender, etc. – should have no bearing on fair judgement in any legal dispute. By this standard, we are all considered equal before the law. In A Theory of Justice, the philosopher John Rawls proposed the following thought experiment:... read more! »
Sat
26
Sep
26
Sep
Saturday, September 26, 2020 at 2:30pm