^^Insiemistica intuitiva-ingenua / razionale.

Insiemistica ingenua / insiemistica razionale

Come per la geometria euclidea c'e' un approccio intuitivo e uno razionale, cosi' e' per l'insiemistica.

esOf:: Intuitivo / Razionale, intuizione-ragione, intuire-ragionare.

 

La questione centrale e' "definire un insieme".

Insiemistica ingenua, naive set theory NST

l'approccio intuitivo agli insiemi, implicitamente assume che

un insieme e' fatto dagli elementi che soddisfano una fissata condizione, che e' la sua definizione

questa assunzione produce paradossi  !!! 

poiche' la definizione e' fatta con una logica ingenua.

 

Piu' che paradossi della teoria degli insiemi sono paradossi di logica ingenua, che viene usata nella teoria degli insiemi.

es:

D: "l'insieme A dei concetti astratti" e' un concetto astratto ? 

R: Se rispondiamo: si, allora A∈A l'insieme ha esso stesso come elemento, ma cio' e' possibile ?

Paradosso di Russel

"the set of all sets that are not members of themselves"

leads to a contradiction, since

Bertrand Russell and Ernst Zermelo independently found (1900) the simplest and best known paradox, now called Russell's paradox.

  1. wp/Russell's_paradox > Formal presentation
  2. stanford/russell-paradox
  3. stanford/liar-paradox

 

Definire un insieme, modi  >>>

 

Approfond

Dirlo "definire un insieme"

  1. un insieme e' fatto dagli elementi che soddisfano una fissata condizione, che e' la sua definizione
  2. ogni collezione definibile a parole è un insieme.