ESP Biography
ANDREW KOCHE, Aspiring polymath
Major: 21M College/Employer: MIT Year of Graduation: 2016 

Brief Biographical Sketch:
Born in Chicago, moved to New York to London to New York. I did/do a wide variety of activities, from Science Olympiad to playing trombone to rowing to the MIT 6.270 Autonomous Robot Competition. However, my first "love" was math, which I initially liked for the sort of fun problems I saw. As I progressed and enjoyed a variety of scientific pursuits, though, I came to appreciate the great utility of mathematics and undeniable importance of mathematical philosophy. Past Classes(Clicking a class title will bring you to the course's section of the corresponding course catalog)M7293: Logic, models, and computation in HSSP Summer 2013 (Jul. 07, 2013)
An introduction to logic, model theory, and computation as it relates to models. Discussion of topics including quantifier elimination, isomorphism, and the practical significance of various theorems.
M5990: Foundations of Mathematics in HSSP Summer 2012 (Jul. 08, 2012)
Learn how and why we study mathematics, starting with the most intuitive assumptions and models. A broad (and proofbased) look at mathematics, starting with logic, set theory, and number systems.
M5163: What Is a Proof and Why Should I Care? in Splash! 2011 (Nov. 19  20, 2011)
An explanation of the concept of proof within the context of an axiomatic system, touching on practical, philosophical, and purely mathematical aspects of proof with many examples.
