Olá, João Acho que o resultado de sua pesquisa só mostra quanto estamos acostumados com a formalização de funções na Teoría de Conjuntos. Particularmente, acho que a formalização de funções como conjuntos de pares ordenados é só uma codificação que funciona, mas que não mostra seu caráter procedimental/computacional, e que é bastante contraintuitiva. Acho muito mais intuitiva a formalização de funções na Teoria de Tipos, onde funções são representadas por meio de termos do cálculo lambda, que são algoritmos que permitem nao só expresar mas também calcular funções.
Abs, Juan Carlos On Sun, Jan 28, 2024 at 5:48 AM Joao Marcos <botoc...@gmail.com> wrote: > E o vencedor é... > > On Wed, Jan 24, 2024, 17:08 Joao Marcos <botoc...@gmail.com> wrote: > >> O que vocês pensam desta asserção? Podem registrar suas opiniões aqui: >> >> https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ&s=19 >> >> JM >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para acessar essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiBq60CC-KEsMgCdtHBv3k7LpxSXVoJN9yk3iwzSrHdHg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiBq60CC-KEsMgCdtHBv3k7LpxSXVoJN9yk3iwzSrHdHg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACkoYSpfpTKYNo9Ef5WSoPd5Jzfmq-tBfdmdFkoA%3D0O2F6M_4A%40mail.gmail.com.
