AbouBenAdhem@lemmy.world to ask_math@lemmy.worldEnglish · 4 months agoIs there a form of mathematical induction that works for uncountable sets?message-squaremessage-square1linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareIs there a form of mathematical induction that works for uncountable sets?AbouBenAdhem@lemmy.world to ask_math@lemmy.worldEnglish · 4 months agomessage-square1linkfedilink
minus-squarecoherent_domainlinkfedilinkEnglisharrow-up2·7 days agoCoinduction works on some uncountable set, for example, streams (or infinite list) which are A^{nat}, where A is the type of the elements in the stream. It looks a bit like induction on finite list, but slightly different.
Coinduction works on some uncountable set, for example, streams (or infinite list) which are A^{nat}, where A is the type of the elements in the stream. It looks a bit like induction on finite list, but slightly different.