Bar induction
id:
bar-induction-304-7637194
title:
Bar induction
text:
Bar induction is a reasoning principle used in intuitionistic mathematics, introduced by L. E. J. Brouwer. Bar induction's main use is the intuitionistic derivation of the fan theorem, a key result used in the derivation of the uniform continuity theorem. It is also useful in giving constructive alternatives to other classical results. The goal of the principle is to prove properties for all infinite sequences of natural numbers, by inductively reducing them to properties of finite lists. Bar in
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Bar_induction
date created:
date modified:
2023-07-17T07:11:09Z
main entity:
{"identifier":"Q4857985","url":"https://www.wikidata.org/entity/Q4857985"}
image:
fields total:
13
integrity:
13