Ingebrigt Johansson
Ingebrigt Johansson (, Narvik – , Oslo) est un mathématicien norvégien.
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
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.