Induction, Coinduction, and Fixed Points: Intuitions and Tutorial

02/26/2019
by   Moez A. AbdelGawad, et al.
0

Recently we presented a concise survey of the formulation of the induction and coinduction principles, and some concepts related to them, in five different fields mathematical fields, hence shedding some light on the precise relation between these fields. In this article we present few tutorial examples---from set theory, number theory and real analysis---that illustrate these concepts, and the intuitions behind them, more concretely.

READ FULL TEXT
research
12/25/2018

Induction, Coinduction, and Fixed Points: A Concise Comparative Survey

In this survey article (which hitherto is an ongoing work-in-progress) w...
research
08/17/2020

Further results and examples for formal mathematical systems with structural induction

In the former article "Formal mathematical systems including a structura...
research
11/25/2011

Principles of Solomonoff Induction and AIXI

We identify principles characterizing Solomonoff Induction by demands on...
research
12/25/2018

Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, Type Theory, Category Theory, and Logic: A Concise Summary

In this note we present the formulation of the induction and co-inductio...
research
08/14/2020

Induction Models on ℕ

Mathematical induction is a fundamental tool in computer science and mat...
research
09/22/2020

The Relativity of Induction

Lately there has been a lot of discussion about why deep learning algori...
research
10/09/2019

Clause Set Cycles and Induction

In this article we relate a family of methods for automated inductive th...

Please sign up or login with your details

Forgot password? Click here to reset