KNOG Action de Jean-François Monteil dans wikipedia. Pierre Lescanne, dit Pierre de Lyon, et Epsilon 0

x  

FR MNC Imposture et intolérance dans wikipedia francophone.

x

Portail: logique

Aller à : Navigation, rechercher

Autres discussions [liste]

• Suppression -
• Neutralité -
• Droit d'auteur -
• Article de qualité -
• Bon article -
• Lumière sur -
• À faire -
• Archives

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
Markadet	Aucune en logique, je peux seulement aider car je connais bien les recoins de Wikipédia, et ses règles et conventions.
Sanders	Connaissance dérivée de la logique, par ce que j'en vois en philosophie. Intérêt pour la logique chez Peirce, et la logique déontique.
Egoa	Connaissances orientées calcul propositionnel, calcul des prédicats et informatique. Intérêt pour le lamdba-calcul et la théorie ZF.
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
Epsilon0	Connaissances généralistes en logique, essentiellement en logique mathématique.

Portail: logique