Preliminary investigations on induction over real numbers

05/24/2023
by   Gilles Dowek, et al.
0

The induction principle for natural numbers expresses that when a property holds for some natural number a and is hereditary, then it holds for all numbers greater than or equal to a. We present a similar principle for real numbers.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset