A set is called inhabited, if there exists an element . Note that in classical mathematics this is equivalent to (i.e. being nonempty), yet in intuitionistic mathematics we actually have to find an element . For example the set, which contains if Goldbach’s conjecture is true and if it is false is certainly nonempty, yet by today’s state of knowledge we cannot say if is inhabited, since we do not know an element of .
|Date of creation||2013-03-22 14:25:24|
|Last modified on||2013-03-22 14:25:24|
|Last modified by||mathwizard (128)|