Re: [Logica-l] Re: on math as art, math as language, and math as abstract thought

[Valeria de Paiva]

oi Joao Marcos,
que bom que voce gostou!
de toda forma PARABENS pra Evelyn, Joao Mendes e Mahan pela grande ideia de
organizar o SOL!

https://sologica.weebly.com/

Todos nos precisamos aprender como fazer melhor nossas pesquisas, nao e?

abracos,
Valeria

On Sun, Mar 17, 2024 at 4:46 AM Joao Marcos  wrote:

> Sim, claro, igualmente interessante:
>
> (early career section)
> How to Make a Portrait of a Bird
> Claire Voisin
> https://www.ams.org/journals/notices/202206/rnoti-p950.pdf
>
> thx, Valeria!
> JM
>
> On Sun, Mar 17, 2024 at 8:44 AM Joao Marcos  wrote:
> >
> > ‘The Rest of the World Disappears’: Claire Voisin on Mathematical
> Creativity
> > The recipient of the 2024 Crafoord Prize in Mathematics discusses math
> > as art, math as language, and math as abstract thought.
> >
> https://www.quantamagazine.org/a-mathematician-on-creativity-art-logic-and-language-20240313/
> >
> > Entrevista com Claire Voisin, para quem a Valeria me chamou a atenção
> > na excelente intervenção dela na primeira mesa-redonda do SOL, na
> > última 6a-feira.
> >
> > JM
>
>
>
> --
> https://sites.google.com/site/sequiturquodlibet/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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/CAO6j_LjVMSX2Exffd43fKb%2BmX9Jv%2B7pKMykd2uCErJboyt4GzA%40mail.gmail.com
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAESt%3DXuXPYgV%2BpGbzyUvByVJbSFD_hB0x2PKMOEXTzwtPUpf0w%40mail.gmail.com.

[Logica-l] Becas de Posdoctorado

[Aldo Figallo-Orellano]

Hola a todes,

Los interesados en aplicar a la beca tienen tiempo hasta el 15 de mayo.

https://www.ime.usp.br/en/yablonowsky-fellowship/

Saludos

Aldo



-- 


Aldo Figallo Orellano

Department of Mathematics

Institute of Mathematics and Statistics

University of São Paulo (USP), Brazil

https://sites.google.com/view/figallo

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAAd%2BSQmYvFEW46BsOZJSXWkqnnWqu4qN98%3DDy5AZ9N_MJmB%2BYg%40mail.gmail.com.

[Logica-l] Re: on math as art, math as language, and math as abstract thought

[Joao Marcos]

Sim, claro, igualmente interessante:

(early career section)
How to Make a Portrait of a Bird
Claire Voisin
https://www.ams.org/journals/notices/202206/rnoti-p950.pdf

thx, Valeria!
JM

On Sun, Mar 17, 2024 at 8:44 AM Joao Marcos  wrote:
>
> ‘The Rest of the World Disappears’: Claire Voisin on Mathematical Creativity
> The recipient of the 2024 Crafoord Prize in Mathematics discusses math
> as art, math as language, and math as abstract thought.
> https://www.quantamagazine.org/a-mathematician-on-creativity-art-logic-and-language-20240313/
>
> Entrevista com Claire Voisin, para quem a Valeria me chamou a atenção
> na excelente intervenção dela na primeira mesa-redonda do SOL, na
> última 6a-feira.
>
> JM



-- 
https://sites.google.com/site/sequiturquodlibet/

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAO6j_LjVMSX2Exffd43fKb%2BmX9Jv%2B7pKMykd2uCErJboyt4GzA%40mail.gmail.com.

[Logica-l] on math as art, math as language, and math as abstract thought

[Joao Marcos]

‘The Rest of the World Disappears’: Claire Voisin on Mathematical Creativity
The recipient of the 2024 Crafoord Prize in Mathematics discusses math
as art, math as language, and math as abstract thought.
https://www.quantamagazine.org/a-mathematician-on-creativity-art-logic-and-language-20240313/

Entrevista com Claire Voisin, para quem a Valeria me chamou a atenção
na excelente intervenção dela na primeira mesa-redonda do SOL, na
última 6a-feira.

JM

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CAO6j_Lg5rgJSRNe%2BYp6gHEO0NmOKcPE0WMuT9p-3vC28-gO7CA%40mail.gmail.com.

Re: [Logica-l] lógicas & química

[Julio Stern]

Caro Alexandre:
Nos artigos seguintes expresso algumas ideias sobre como caracterizar a 
ontologia e a metafisica de uma disciplina cientifica, utilizando a Quimica 
como exemplo.
Se for de seu interesse, boa leitura.
Note que o caminho que exploro segue uma direcao bem diferente da que voce 
investigou, estando muito mais proximo da quimica feita pelos quimicos, o que 
pode ser bom ou ruim, dependendo dos seus interesses.
Se voce gostar, podemos depois continuar a conversa.
Tudo de bom, ---Julio Stern

Julio Michael Stern (2017). Continuous Versions of Haack’s Puzzles: Equilibria, 
Eigen-States and Ontologies.  
 Logic 
Journal of the 
IGPL, 
25, 4, 
604-631.
  
doi:10.1093/jigpal/jzx017

Julio Michael Stern (2014). Jacob’s Ladder and Scientific Ontologies. 
 
Cybernetics & Human 
Knowing,
 21, 3, 
9-43.  
arXiv:1308.4015

Julio Michael Stern, Fabio Nakano (2014). Optimization Models for Reaction 
Networks: Information Divergence, Quadratic Programming and Kirchhoff’s Laws. 
 
Axioms,
 3, 109-118. 
   
doi:10.3390/axioms3010109

**

From: logica-l@dimap.ufrn.br  on behalf of Alexandre 
Rademaker 
Sent: Thursday, March 14, 2024 5:40 PM
To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA 

Subject: [Logica-l] lógicas & química


Prezados,

Estou procurando referências sobre uso de métodos formais (lógicas, provas, 
axiomatizações etc) na química. Neste momento, meu escopo é bem amplo e 
motivado por uma recente conversa na maillings do Isabelle.

https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-02/msg00036.html

A mensagem inicial, citou o livro

The Logic of Chemical Synthesis
https://ia601303.us.archive.org/25/items/Logic_of_Chemical_Synthesis_Corey_1989/Logic_of_Chemical_Synthesis_Corey_1989_text.pdf

Eu fiz referência ao artigo https://arxiv.org/abs/2210.12150, e estou 
procurando possiveis trabalhos com outros provadores de teoremas (ATP/ITP). O 
desafio é entender o domínio da química, como ela é organizada e a relevância 
dos trabalhos existentes.

Ab.,
Alexandre



--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

---
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/D1926065-420A-4560-BE73-4F2C59CBB5FF%40gmail.com.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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/CPUP152MB71773EBB96B352494928F668B62E2%40CPUP152MB7177.LAMP152.PROD.OUTLOOK.COM.