Hacker News new | ask | show | jobs
by trentmb 3811 days ago
If anyone else got curious about induction on the reals, my first interesting result was this Math.StackExchange post: http://math.stackexchange.com/questions/4202/induction-on-re...
1 comments
mturmon 3811 days ago
The induction in question here is of course on the dimension of the vector space, which is a natural number -- not the members of the vector space itself.
link
trentmb 3810 days ago
Yes- it just kick-started my curiosity is all!
link