Fødsel |
25. februar 1943 Drummondville |
---|---|
Nasjonalitet | Kanadisk |
Aktivitet | Matematiker |
Jobbet for | University of Quebec i Montreal |
---|---|
Felt | Kategoriteori |
Medlem av | Royal Society of Canada |
Forskjell | Acfas Urgel-Archambault-prisen (1982) |
André Joyal er en matematiker i Quebec , født i 1943 i Saint-Majorique-de-Grantham .
Han har en bachelor og en mastergrad fra University of Montreal . André Joyal bor i Montreal. Han er far til tre barn.
André Joyal har vært professor i matematikk ved University of Quebec i Montreal siden 1972 . Han var forfatter av forskningsartikler med mange samarbeidspartnere: Gilbert Labelle , Pierre Leroux (1942-2008), François Bergeron, etc.
Han er spesielt kjent for sitt arbeid i kategoriteori med anvendelser innen logikk , kombinatorikk , toposteori , algebraisk topologi og homotopiteori . Han er også skaperen av den kombinatoriske teorien om artsstrukturer (in) . I tillegg oppdaget han semantikken til Kripke-Joyal . I samarbeid med Myles Tierney generaliserte Andrew Joyal Galois-teorien til Alexander Grothendieck . De siste tretti årene har han utviklet teorien om kvasi-kategorier . Han kjente Samuel Eilenberg godt, en av grunnleggerne til Saunders Mac Lane , av algebraisk topologi. Til slutt er han medforfatter med Ieke Moerdijk (en) av boken Theory of Algebraic Sets .
I 2013 var han medlem av School of Mathematics ved Institute for Advanced Study , Princeton , New Jersey , USA .
Fra ungdomsårene var André Joyal interessert i vitenskap generelt. Han liker spesielt å lese fysikk- og astronomibøker på Saint-Majorique-de-Grantham-biblioteket. Senere fortsatte han studiene ved en høyskole for å oppnå et diplom som tekniker i elektronikk ( 1961 ). Å ha stor intellektuell nysgjerrighet, studerte han selvlært i algebra og matematisk analyse .
Hans kjærlighet til matematikk førte til at André Joyal naturlig gjorde teoretisk forskning i matematikk. André Joyal tror faktisk at det vil være mer nyttig for menneskeheten i en mer eller mindre fjern fremtid. Selv å være matematiker-teoretiker som ikke hindrer ham i å innta en politisk posisjon innimellom .
André Joyal legger til at det er nødvendig å utøve en kontinuerlig kreativ aktivitet for å få glede av den. Og at dette er mer eller mindre bevisst . Og de resulterende forholdene er mer eller mindre direkte. I tillegg bekrefter han at det fremkommer en viss grad av tilfredshet fra matematisk skapelse.
André Joyal er også interessert i menneskelig tanke som sådan: “matematikk er mer en tankevitenskap enn fysikk og spesielt matematisk logikk . "
Han er også interessert i matematisk logikk for å bedre forstå metodene for tenkning i matematikk: tanken som reflekterer over tankeprosessen.
André Joyal insisterer også på at matematisk strenghet er viktig i matematisk aktivitet, men at det ikke er nok. Og han legger til, det er også en "ikke-streng modus" som fungerer som en støtte for demonstrasjonen. Han sier det er få tekster som omhandler intuitivt og geometrisk innhold relatert til matematiske bevis .
I følge Joyal: ”Det burde være team, betalte mennesker som jobber med dette. "