Ingebrigt Johansson

mathématicien norvégien

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

Ingebrigt Johansson
Image dans Infobox.
Ingebrigt Johansson (avant 1933).
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 82 ans)
OsloVoir et modifier les données sur Wikidata
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.

BibliographieModifier

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

Notes et référencesModifier

Liens externesModifier