Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Dès les années vingt et plus particulièrement dans ses écrits d'après 1947, le mathématicien hollandais L.E.J. Brouwer présente des contre-exemples du principe logique du tiers exclu dans l'analyse mathématique. Les moyens de contre-exemple qu'invoque Brouwer, notamment l'argument du sujet créateur, présentent des expériences de pensée qui remettent en question une forme d'omniscience logique basée sur l'hypothèse que toute propriété détermine d'emblée une partition de l'univers selon qu'un objet la satisfasse ou non. Nous appelons cette hypothèse le principe de la réciprocité universelle de la complémentarité. Nous pouvons en tirer deux corollaires: 1° toute proposition est vraie ou fausse (principe du …
