Ingebrigt Johansson

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

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

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

  1. ↑ Ingebrigt Johansson, « Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus », sur eudml.org, Compositio Mathematica (ISSN 0010-437X, consulté le ), p. 119–136.

Liens externes

Mathématicien norvégien du XXe siècle (14)
Logicien norvégien (2)
Décès à Oslo (409)
Décès à 82 ans (7318)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/Ingebrigt_Johansson) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « Ingebrigt Johansson » :
Jacques Ballieu, Passoa15, Speculos, Anne Bauval, Gz260, Addbot, Coyote du 57, Bot de pluie, HunsuBot, Pld, Mywiz, Psychoslave, Foudebassans, CodexBot, 1 utilisateur non enregistré.