Archives par mot-clé : systèmes formels

Depuis le début du 20ème siècle les mathématiciens se sont rendu compte que les formules logiques qu’ils emploient ressemblent à des molécules. Elles s’agrègent les unes aux autres par des connecteurs logiques et peuvent se disloquer par les règles de … Continuer la lecture →