Introduction to Bayesian Scientific Computing

The book of nature, according to Galilei, is written in the language of mat- matics. The nature of mathematics is being exact, and its exactness is und- lined by the formalism used by mathematicians to write it. This formalism, characterized by theorems and proofs, and syncopated with occasional l- mas, remarks and corollaries, is so deeply ingrained that mathematicians feel uncomfortable when the...