pen icon Colloque
quote

Systèmes logiques basés sur une théorie des types transitifs

Maurice L'Abbé
ML

Membre a labase

Maurice L'Abbé

Résumé du colloque

Construction du système Σ^n dont la classe des types est K: 0,1,...,n+1. Le modèle de Σ^n consiste en une famille d'ensembles {D_k}× (D_∞=(T,F); D_1=(0,1,2,...); D_λ=ensemble des applications de D_γ). Pour 2 < k < k', α désigne le plus grand entier contenu. Des systèmes M sont construits, formant des généralisations successives du système à types finis Σ^n.

Contexte

Section :
Physique et mathématiques
news icon Thème du colloque :
Physique et mathématiques
manager icon Responsables :
Maurice L'Abbé Paul Koenig
host icon Hôte : Université Laval

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Physique et mathématiques
Systèmes logiques basés sur une théorie des types transitifs
Maurice L'Abbé
Sur deux théorèmes de multiplication nouveaux pour les fonctions U_n et V_n de Lommel
Albéric Boivin
Comportement asymptotique de la diffraction par les réseaux annulaires
Albéric Boivin
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Physique et mathématiques
Systèmes logiques basés sur une théorie des types transitifs
Maurice L'Abbé
La recherche en sciences exactes et naturelles
Maurice L'Abbé
Démonstration par récurrence: justification et méthode de présentation
Maurice L'Abbé