Discuter:Logique intuitionniste

Un article de Wikipédia, l'encyclopédie libre.

	Logique intuitionniste fait partie du projet Philosophie, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à la Philosophie. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Philosophie pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

	Logique intuitionniste fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

[modifier] Déduction Naturelle

Ne serait-il pas mieux de mettre les régles de déduction naturelle dans l'article correspondant ? D'autant plus que ce dernier, est touffu, peu clair, ...

Laurent, suggére de mettre dans logique intuitionniste les motivations de Brouwer, et la nouvelle approche des mathématiques constructives.

Ce qui nous amenerait à parler des régles dans Déduction naturelle.

Marc 25 janvier 2006 à 12:44 (CET)

Je n'ai pas d'objection. Mais attendons que cet article évolue, vers plus de clarté. S'il y a redondance, on supprimera ici.

Pierre de Lyon 25 janvier 2006 à 15:34 (CET)

[modifier] Ebauche?

Cet article est-il encore une ébauche? Pierre de Lyon 14 mars 2007 à 22:59 (CET)

Personne n'ayant répondu à ma question, j'y ai répondu moi-même négativement et j'ai supprimé l'entête ébauche. Pierre de Lyon 7 novembre 2007 à 11:39 (CET)