André Joyal

André Joyal Imagem na Infobox. André Joyal em 2007. Biografia
Aniversário 25 de fevereiro de 1943
Drummondville
Nacionalidade canadense
Atividade Matemático
Outra informação
Trabalhou para Universidade de Quebec em Montreal
Campo Teoria da categoria
Membro de Royal Society of Canada
Distinção Prêmio Acfas Urgel-Archambault (1982)

André Joyal é um matemático de Quebec , nascido em 1943 em Saint-Majorique-de-Grantham .

Ele é bacharel e mestre pela Universidade de Montreal . André Joyal mora em Montreal. Ele é pai de três filhos.

André Joyal é professor de matemática na Universidade de Quebec em Montreal desde 1972 . Ele foi coautor de artigos de pesquisa com muitos colaboradores: Gilbert Labelle , Pierre Leroux (1942-2008), François Bergeron, etc.

Ele é particularmente conhecido por seu trabalho na teoria das categorias com aplicações em lógica , combinatória , teoria dos topos , topologia algébrica e teoria da homotopia . Ele também é o criador da teoria combinatória das estruturas das espécies  (in) . Além disso, ele descobriu a semântica de Kripke-Joyal . Em colaboração com Myles Tierney , Andrew Joyal generalizou a teoria de Galois de Alexander Grothendieck . Ele tem desenvolvido a teoria das quase-categorias nos últimos trinta anos . Conheceu bem Samuel Eilenberg, um dos fundadores da Saunders Mac Lane , da topologia algébrica. Finalmente, ele é co-autor com Ieke Moerdijk  (en) do livro Theory of Algebraic Sets .

Em 2013, ele foi membro da Escola de Matemática do Institute for Advanced Study , Princeton , New Jersey , EUA .

Biografia

Desde a adolescência, André Joyal se interessou pela ciência em geral. Ele gosta especialmente de ler livros de física e astronomia na biblioteca Saint-Majorique-de-Grantham. Posteriormente, continuou seus estudos em uma faculdade para obter o diploma de técnico em eletrônica ( 1961 ). Tendo grande curiosidade intelectual, estudou auto ensinou a álgebra e cálculo .

Explorando Matemática

Seu amor pela matemática levou André Joyal a fazer pesquisas teóricas em matemática naturalmente . Na verdade, André Joyal pensa que será mais útil para a humanidade em um futuro mais ou menos distante. Mesmo sendo um teórico-matemático isso não o impede de assumir posições políticas de vez em quando .

Criatividade

André Joyal acrescenta que é necessário exercer uma atividade criativa contínua para dela derivar prazer. E que isso é mais ou menos consciente . E as relações resultantes são mais ou menos diretas. Além disso, ele afirma que emerge da criação matemática um certo grau de satisfação.

Pensamento humano

André Joyal também está interessado no pensamento humano como tal: “a matemática é mais uma ciência do pensamento do que a física e particularmente a lógica matemática . "

Ele também está interessado em lógica matemática para entender melhor os métodos de pensamento em matemática: o pensamento que reflete no processo de pensamento.

Rigor matemático e conteúdo intuitivo

André Joyal também insiste no fato de que o rigor matemático é essencial na atividade matemática, mas não é suficiente. E acrescenta, existe também uma “modalidade não rigorosa” que serve de suporte para a manifestação. Ele diz que existem poucos textos que tratam de conteúdo intuitivo e geométrico relacionado a provas matemáticas .

De acordo com Joyal: “deveria haver equipes, pessoas pagas trabalhando nisso. "

Prêmios e reconhecimento

Referência

  1. Jacques Nimier , Entrevista com André Joyal .

links externos