Ingebrigt Johansson

Ingebrigt Johansson (, Narvik, Oslo) est un mathématicien norvégien.

Pour les articles homonymes, voir Johansson.
Ingebrigt Johansson
Ingebrigt Johansson (avant 1933).
Biographie
Naissance
Décès
(à 82 ans)
Oslo
Nationalité
Activité
Autres informations
A travaillé pour
Membre de

Il a développé le système de logique symbolique connu sous le nom de logique minimale.

Bibliographie

  • 1937 : Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus[1]

Notes et références

Liens externes

  • Portail des mathématiques
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.