Ingebrigt Johansson
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png)
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Johansson.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d5/IngebrigtJohansson.jpg/180px-IngebrigtJohansson.jpg)
Naissance | ![]() Narvik ![]() |
---|---|
Décès | ![]() Oslo ![]() |
Nationalité | |
Activité |
A travaillé pour | |
---|---|
Membre de |
modifier - modifier le code - modifier Wikidata
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
Liens externes
- Notices d'autorité
:
- VIAF
- GND
- Pays-Bas
- Tchéquie
Portail des mathématiques
Portail de la logique