DECISION PROCEDURES FOR VERIFICATION   . . . Abstract . . . Biography Harvey Friedman, Ohio State University     4:00 PM (refreshments 3:45), Stata Center, 32G-7th Floor Lounge CSAIL Seminar -   Host: Vijay Ganesh, MIT-CSAIL -   Contact: Mary McDavitt, mmcdavit@csail.mit.edu

Biography

Harvey Friedman is one of the leading mathematical logician of our time, currently a professor at Ohio State University in Columbus, Ohio. He is noted especially for his work on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".

Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, with a dissertation on Subsystems of Analysis. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He delivered the Tarski lectures in 2007.