[PDF] Structures algébriques suggérées par la logique mathématique

View - Download Structures algébriques suggérées par la logique mathématique

Previous PDF

Next PDF

BULLETIN DE LAS. M. F.MAURICE L"ABBÉ

logiquemathématique Bulletin de la S. M. F., tome 86 (1958), p. 299-314 © Bulletin de la S. M. F., 1958, tous droits réservés. L"accès aux archives de la revue " Bulletin de la S. M. F. » (http: //smf.emath.fr/Publications/Bulletin/Presentation.html) implique l"accord avec les conditions générales d"utilisation (http://www.numdam.org/ conditions). Toute utilisation commerciale ou impression systématique est constitutive d"une infraction pénale. Toute copie ou impression de

ce fichier doit contenir la présente mention de copyright.Article numérisé dans le cadre du programme

Numérisation de documents anciens mathématiques http://www.numdam.org/

Réunion des Mathématiciens

d'Expressio n latin e (1957 Nice) Bull. Soc. math.

France^

86,
1958.
p 299
3i4

STRUCTURES

ALGÉBRIQUES

SUGGÉRÉES

PAR LA

LOGIQU

E

MATHÉMATIQUE

MAURIC

E

L'ABBÉ.

(Montréal) 1

Logique

et mathématiques. La logiqu e mathématiqu e es t un e disci-pline qui compte un peu plus d'un siècle d'existence. On fait habituellement remonte r la naissanc e de cett e form e modern e de la logiqu e BOOLE plu s précisémen t l a publicatio n en 1847
de son

Ouvrag

e intitul

Thé

mathe-matical analysis of logic. Cependant, les travaux de BOOLE et de ses succes- seur s immédiats de

SCHRÔDE

R pa r exemple son t aujourd'hu i considéré s comm e oeuvre s d'algébriste s plutô t qu e de logiciens le poin t de dépar t e tl'intention relevaient certainement de la logique, mais la méthode et les résultat s restaien t algébriques C'est en fait FREGE don t les travau x paruren t l a fi n d u siècle dernier qu i devrai t

êtr

e considér comme le véritabl ecréateur de cette méthode sui generis qui donne à la logique sa forme actuelle La logiqu e mathématiqu e s'es t considérablemen t développé e depui s un e trentain e d'années Il exist e actuellemen t au x

États-Unis

en

Allemagne

enPologne, en Angleterre et dans plusieurs autres pays, des groupes importants de mathématicien s spécialiste s de l a logique

Plusieur

s périodique s son t destiné s uniquemen t l a publicatio n de s travau x de logiqu e mathématique .Les colloques et les instituts se multiplient. Une abondance de manuels et de traité s exposan t les partie s déjà classique s de la logiqu e modern e son t main tenan t publiés Tou t ceci reflèt e bie n l'activit et l a vigueu r croissant e decette discipline. Dan s les dernière s années la logiqu e s'est de plu s en plu s rapproché e des mathématique s a u sen s habitue l d u mot Il n' y a pa s si longtemps c'est

300 M. L'ABBÉ.

pouss pa r des préoccupation s d'ordr e philosophiqu e qu'o n venai t la logique La philosophi e n'étai t certes pa s un e voie d'accès facile De nos jours la situatio n est for t différente Les deu x instrument s fondamentau x en logique mathématiqu e sont deu x branche s propremen t mathématique s d'un e part la théoriquotesdbs_dbs46.pdfusesText_46

[PDF] les structures algébriques exercices corrigés pdf

[PDF] les structures de données cours informatique

[PDF] Les subordonnées : Alors que et tandis que, ils expriment l'opposition, le temps ou les deux

[PDF] LES SUBORDONNES SVP !!

[PDF] Les substances edeine et cyclhoheximide agissent a deux phases differents d'une des etapes de la synthese de protine

[PDF] Les substitus et leurs référents!Urgent besoin d'aide!!!

[PDF] les substituts exercices

[PDF] les substituts grammaticaux 1am

[PDF] les substituts grammaticaux et lexicaux exercices français facile

[PDF] les substituts grammaticaux exercices 3am

[PDF] les substituts grammaticaux pdf

[PDF] les substituts lexicaux et grammaticaux 3am

[PDF] les substituts lexicaux et grammaticaux exercices corrigés pdf

[PDF] Les succès de L'Union Européenne

[PDF] Les Sud : Croissance Démographique et Richesses