Carte Rare

Logique combinatoire

branche de la logique mathématique

Valeur

50 W

Attaque

259

Défense

207

Joueurs

1

390 vues Wikipédia ces 30 derniers jours

En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence[Laquelle ?] et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de…