Ingebrigt Johansson
Ingebrigt Johansson (, Narvik – , Oslo) est un mathématicien norvégien.
Pour les articles homonymes, voir Johansson.
Ingebrigt Johansson
Ingebrigt Johansson (avant 1933).
| Naissance | |
|---|---|
| Décès |
(à 82 ans) Oslo |
| Nationalité | |
| Activité |
| 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 - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.