Indecomposability (intuitionistic logic)
id:
indecomposability-intuitionistic-logic-196-5128846
title:
Indecomposability (intuitionistic logic)
text:
In intuitionistic analysis and in computable analysis, indecomposability or indivisibility is the principle that the continuum cannot be partitioned into two nonempty pieces. This principle was established by Brouwer in 1928 using intuitionistic principles, and can also be proven using Church's thesis. The analogous property in classical analysis is the fact that every continuous function from the continuum to {0,1} is constant. It follows from the indecomposability principle that any property o
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Indecomposability_(intuitionistic_logic)
date created:
date modified:
2023-12-27T09:38:17Z
main entity:
{"identifier":"Q3552056","url":"https://www.wikidata.org/entity/Q3552056"}
image:
fields total:
13
integrity:
13