Ohio State nav bar

SPS Talk: Marc Lange

Marc Lange
April 12, 2024
3:45PM - 5:45PM
Virtual Talk

Date Range
2024-04-12 15:45:00 2024-04-12 17:45:00 SPS Talk: Marc Lange "Inference to the Best Explanation, Bayesian Conditionalization, and the Confirmation of Mathematical Conjectures by Mathematical Evidence" Abstract: Are mathematical conjectures confirmed by mathematical evidence in much the same way as scientific hypotheses are confirmed by empirical evidence? Perhaps, but in what way is that? A Bayesian account of confirmation seems to leave no work for "inference to the best explanation" (IBE) to do. I will suggest that IBE (suitably interpreted) can be incorporated within a Bayesian framework and is useful in understanding the confirmation of mathematical conjectures. But this approach requires both some grasp of explanatory proofs in mathematical practice and some way to apply the Bayesian framework to the confirmation of mathematically necessary truths. I will attempt to enliven my presentation with some (accessible and even amusing) examples from mathematics.Marc Lange is a Professor at UNC Virtual Talk Department of Philosophy philosophy@osu.edu America/New_York public

"Inference to the Best Explanation, Bayesian Conditionalization, and the 
Confirmation of Mathematical Conjectures by Mathematical Evidence"
 

Abstract: Are mathematical conjectures confirmed by mathematical evidence in much the same way as scientific hypotheses are confirmed by empirical evidence? Perhaps, but in what way is that? A Bayesian account of confirmation seems to leave no work for "inference to the best explanation" (IBE) to do. I will suggest that IBE (suitably interpreted) can be incorporated within a Bayesian framework and is useful in understanding the confirmation of mathematical conjectures. But this approach requires both some grasp of explanatory proofs in mathematical practice and some way to apply the Bayesian framework to the confirmation of mathematically necessary truths. I will attempt to enliven my presentation with some (accessible and even amusing) examples from mathematics.

Marc Lange is a Professor at UNC