Projet:Logique

Portail

Projet

Discussions

Suivi

Présentation

Ce projet, existant depuis 2006, a pour objectif de permettre aux différents contributeurs la mise en commun de leurs efforts et de discuter ensemble des questions relatives à la logique et au portail sur la logique.

Depuis 2011, ses participants se retrouvent principalement sur le Projet:Mathématiques et son lieu général de discussion qu'est le Thé.

Modifier

Pour participer

Pour participer au projet vous pouvez...

traduire un article manquant à partir d´un Wikipédia en langue étrangère ;
compléter ou corriger les articles existants, leur ajouter le modèle {{Portail|logique}} ;
rédiger vous-même un article inédit.

Les articles à compléter :

Les articles manquants :

Arthur PriorArthur Prior
ε₀ (en)

Vous pouvez aussi consulter la liste des demandes d'articles.

Modifier

Modèles

Recensement des modèles de logique :

Les modèles "référence" pour citer les auteurs classiques se trouvent sur : Projet:Mathématiques/Bibliographie sur la logique
Modifier

Évaluation

Sur les 942 articles du Portail:Logique, 590 n'ont pas encore le modèle {{Wikiprojet|Logique|?}} en page de discussion.

██████████37,4 % d'évaluation / Portail:Logique

Pour voir l'écart, utiliser un de ces outils

Logique
Avancement	Maximum	Élevée	Moyenne	Faible	À évaluer	Total
	Importance
AdQ		2	1		1	4
BA	1		1	1		3
A			2			2
B	9	7	2	1	12	31
Bon début	12	15	18	11	87	143
Ébauche	13	10	24	23	99	169
À évaluer						0
Total	35	34	48	36	199	153^(?)
Dernière mise à jour : 13 novembre 2024. Cette boîte : voir • disc. • mod.

Modifier

Annonces

2006 : création du projet Logique
17 avril 2007 : Tractatus logico-philosophicus a été promu Bon article
19 février 2015 : Aristote a été promu Bon article
2 octobre 2016 : Alfred North Whitehead a été promu Article de qualité
Modifier

Participants

Nom	Spécialité ou compétence
Pierre de Lyon	Logique mathématique orientée théorie de la démonstration, théorie des types et lambda-calcul. Je m'intéresse aussi à l'histoire
Léna	Les Lois de De Morgan (ma première contribution !) mais sinon, lambda-calcul, calcul des prédicats, validation formelle et intérêt pour le reste
Lepticed7	Logique du premier ordre, logique de description.
JeanCASPAR	Théorie des types, théorie des catégories, sémantique.