Aller au contenu
Menu principal
Menu principal
déplacer vers la barre latérale
masquer
Navigation
Accueil
Portails thématiques
Article au hasard
Contact
Contribuer
Débuter sur Wikipédia
Aide
Communauté
Modifications récentes
Faire un don
Rechercher
Rechercher
Apparence
Créer un compte
Se connecter
Outils personnels
Créer un compte
Se connecter
Pages pour les contributeurs déconnectés
en savoir plus
Contributions
Discussion
Catégorie
:
Personnalité en théorie de la démonstration
3 langues
العربية
English
日本語
Modifier les liens
Catégorie
Discussion
français
Lire
Modifier
Modifier le code
Voir l’historique
Outils
Outils
déplacer vers la barre latérale
masquer
Actions
Lire
Modifier
Modifier le code
Voir l’historique
Général
Pages liées
Suivi des pages liées
Téléverser un fichier
Pages spéciales
Lien permanent
Informations sur la page
Obtenir l'URL raccourcie
Télécharger le code QR
Élément Wikidata
Imprimer / exporter
Créer un livre
Télécharger comme PDF
Version imprimable
Apparence
déplacer vers la barre latérale
masquer
Aide
Une page de Wikipédia, l'encyclopédie libre.
Article principal :
Théorie de la démonstration
.
Arborescence des biographies
↑
·
↓
Catégorie mère
Portail
Projet
Café
Arborescence des mathématiques
↑
·
↓
Catégorie mère
Projet
Portail
Café
Pages dans la catégorie « Personnalité en théorie de la démonstration »
Cette catégorie contient les 14 pages suivantes.
Outils :
Arborescence
Graphique
Décompte
Recherche interne
PetScan
Suivi
A
Wilhelm Ackermann
B
Paul Bernays
F
Melvin Fitting
Gottlob Frege
G
Gerhard Gentzen
Jean-Yves Girard
Kurt Gödel
H
Jacques Herbrand
David Hilbert
William Alvin Howard
K
Jean-Louis Krivine
L
Paul Lorenzen
P
Dag Prawitz
T
Gaisi Takeuti
Catégories
:
Mathématicien par spécialité
Théorie de la démonstration
Personnalité en logique mathématique
Catégories cachées :
Projet:Biographie/Catégories liées
Projet:Mathématiques/Catégories liées
Projet:Sciences/Catégories liées