Différences

Ci-dessous, les différences entre deux révisions de la page.

--- connaissance:comprendrepage:modele_de_stevenson_il_un_topos [2024/04/12 09:53] – ADICE
+++ connaissance:comprendrepage:modele_de_stevenson_il_un_topos [2024/04/12 10:01] (Version actuelle) – ADICE
@@ Ligne 61: / Ligne 61: @@
 ----
-==== Définition d'un Topos (essais) ====
+==== Définition d'un Topos par All Chat Bot (IA) ====
 Chat GPT
@@ Ligne 97: / Ligne 97: @@
 ----
-==== Les logiques par  all Chat Bot (IA) ====
+==== Les logiques par All Chat Bot (IA) ====
 AI Chat Bot 24/02/2024
@@ Ligne 127: / Ligne 127: @@
 Le principe du tiers exclu est largement accepté en logique classique, mais il existe d'autres systèmes logiques, comme la logique propositionnelle intuitionniste, qui rejettent ce principe et permettent des nuances intermédiaires entre la vérité et la fausseté.
-{{ youtube>lyW--Da63us?small&start=5&end=4000 |Laurent Lafforgue }}
+----
 ==== Le point de vue ====
 La mathématicienne Angela Gibney décrit **le point de vue de Grothendieck** d'une manière que je trouve particulièrement accessible : si vous voulez en savoir plus sur les gens, vous ne les regardez pas seulement individuellement, vous les regardez lors d'une réunion de famille.
+----
 ==== La distinction ====