## You are here

Homeinhabited set

## Primary tabs

# inhabited set

*inhabited*, if there exists an element $a\in A$. Note that in classical mathematics this is equivalent to $A\neq\emptyset$ (i.e. $A$ being nonempty), yet in intuitionistic mathematics we actually have to find an element $a\in A$.
For example the set, which contains $1$ if Goldbach’s conjecture is true and $0$ if it is false is certainly nonempty, yet by today’s state of knowledge we cannot say if $A$ is inhabited, since we do not know an element of $A$.

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

03F55*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier

## Info

## Versions

(v6) by mathwizard 2013-03-22

## Comments

## Formal Definition

Hi,

I appreciate the difference between intuitionistic maths and classical maths, and can see roughly what you mean by an 'inhabited' set. However, I was wondering if you could make the definition a bit clearer. In particular, what are you taking as the definition of nonempty? How formally does this differ from an inhabited set?

Thanks,

Grayum

## Re: Formal Definition

I don't know, but I suspect it means that an explicit constructive proof exists of this fact. (That's not a particularly formal definition either.)

## Re: Formal Definition

Hi,

I suspect that Mr. mathwizard takes the definition of nonempty in the

classic sense. Furthermore, if one demonstrates that the Goldbach's conjecture turns out to be true or false, the set stops of being inhabited. Although I think that such definition lacks much utility.

Pedro

## Re: Formal Definition

By nonempty I mean being not equal to the empty set (i.e. the set with no elements.

The point is that in intuitionistic mathematics a proof of a statement with the existential quantifier has to contain an algorithm by which I can construct an object which satisfies these conditions. Therefore I cannot prove the statement "there is an a in A" in the example by saying "Goldbach's conjecture is either true or false, therefore A cannot be the empty set". This only changes if Goldbach's conjecture turns out to be either true or false.

--

"Do not meddle in the affairs of wizards for they are subtle and quick to anger."

## Re: Formal Definition

"I suspect that Mr. mathwizard takes the definition of nonempty in the classic sense"

I was wondering what he took to be the 'classic sense' - his reply suggests not being equal to the empty set.

"Furthermore, if one demonstrates that the Goldbach's conjecture turns out to be true or false, the set stops of being inhabited."

I'm not sure this is the case - the set will be inhabited once Goldbach's conjecture is proved or disproved.

"Although I think that such definition lacks much utility."

I think it is the sort of thing that allows people who are (philosophically) intuitionistically inclined to sleep at night, but doesn't add a great deal more.

## Re: Formal Definition

Can you say that either A is inhabited or A is not inhabited?

It is easy to see that constructing a member of A proves that A is inhabited, but how would one show that A is not inhabited?

Can the truth value of Goldbach's conjecture be ascertained in the absence of a valid intuitionistic proof? Does "the truth value of Goldbach's conjecture" have any meaning apart from the existence of such a proof?

> By nonempty I mean being not equal to the empty set (i.e.

> the set with no elements.

> The point is that in intuitionistic mathematics a proof of a

> statement with the existential quantifier has to contain an

> algorithm by which I can construct an object which satisfies

> these conditions. Therefore I cannot prove the statement

> "there is an a in A" in the example by saying "Goldbach's

> conjecture is either true or false, therefore A cannot be

> the empty set". This only changes if Goldbach's conjecture

> turns out to be either true or false.

>

>

>

> --

> "Do not meddle in the affairs of wizards for they are subtle

> and quick to anger."