Ingebrigt Johansson

Ingebrigt Johansson
Page d'aide sur l'homonymie Pour les articles homonymes, voir Johansson.

Ingebrigt Johansson (24 Octobre 1904, Narvik – 24 Avril 1987, Oslo) est un mathématicien norvégien. Il a développé le système de logique symbolique connu sous le nom de logique minimale.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ingebrigt Johansson de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Johansson — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Johansson est un nom de famille notamment porté par : Andreas Johansson (football) (1978 ), joueur suédois de football. Andreas Johansson (hockey sur …   Wikipédia en Français

  • Calcul des propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… …   Wikipédia en Français

  • Minimal logic — Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is a variant of intuitionistic logic that rejects not only the classical law of excluded middle (as intuitionistic logic does), but… …   Wikipedia

  • Kalkül des natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Kalküle natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Natürliche Deduktion — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Natürliches Schließen — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Systeme natürlichen Schliessens — Systeme (oder Kalküle) natürlichen Schließens sind ein Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule, entwickelt wurde. Der Begriff des Kalküls des natürlichen… …   Deutsch Wikipedia

  • Systeme natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule,… …   Deutsch Wikipedia

  • Logique minimale — La logique minimale, créée par Ingebrigt Johansson, est, comme la logique intuitionniste, une variante de la logique classique. Les trois logiques diffèrent sur la façon de traiter la négation et la contradiction dans le calcul des propositions… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”