John Foster presents a clear and powerful discussion of a range of topics relating to our understanding of the universe - induction, laws of nature and the existence of God.
Mathematical induction is a method of proofs that has been known to mathematicians for hundreds of years, with one of the earliest proofs dating back to Francesco Maurolico (1575). During the 19th-century it was formalized as an axiom of nonnegative integers due to the work of P…
Elements of machine learning
by Langley, Pat
fromMorgan Kaufmann series in machine learning
The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general…
How does science work? Does it tell us what the world is "really" like? What makes it different from other ways of understanding the universe? In Theory and Reality, Peter Godfrey-Smith addresses these questions by taking the reader on a grand tour of one hundred years of debate…