Tag Archives: induction

\epsilon Induction

Induction over natural numbers is a standard tool in Mathematics. But what about doing induction over real numbers´? The structure is different and it’s not immediately clear what is meant, so let me clarify it. Let be a proposition that … Continue reading

Posted in Maths, University | Tagged , | Leave a comment