[Logica-l] Pos-Doc em Roma, Universidade Tor Vergata

[Walter Carnielli]

*PURITY AND SIMPLICITY OF MATHEMATICAL PROOFS*
*(12 months postdoc position, University of Rome Tor Vergata. Supervisor:
Gabriele Pulcini)*

A one-year postdoc position is now open at the Dep. of Literary,
Philosophical and Art History Studies, University of Rome Tor Vergata. The
position is founded by the Italian Ministry of Education, Universities and
Research within the national project PUMa (Proof and understanding in
mathematics) involving the Scuola Normale in Pisa, the IUSS in Pavia, and
the universities of Torino and San Raffaele in Milan.

The postdoctoral researcher is expected to carry out his research in the
fields of proof-theory and philosophy of mathematics. In particular, the
focus shall be on Hilbert's 24th problem concerning the possibility to
devise logico-mathematical criteria for determining the simplest, given two
demonstrations of the same theorem. The problem of the "purity of methods"
in mathematics -- especially in connection with the one about the
simplicity of proofs -- can be also considered as a central issue. The
research shall be led by examining both formalized and "ordinary",
non-formalized, proofs as they occur in the mathematical practice.

Gross income: 25000 euros per year

Web page for online applications (English version available):
https://pica.cineca.it/uniroma2/f1-2023-0071/

*Deadline: November 18, 2023*

Email me for informal enquiries:
gabriele.pulc...@uniroma2.it

-- 
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/CAOrCsLd1v63cjC5gk0sMaZMs--%3DoTjFVEvNOCdD3DLW6qTu1KQ%40mail.gmail.com.

Re: [Logica-l] sobre os fundamentos da matemática

[Walter Carnielli]

Em sex., 3 de nov. de 2023 22:03, Joao Marcos  escreveu:

> O que acham os colegas disto?
>
> What do we mean by "the foundations of mathematics"?
> https://lawrencecpaulson.github.io/2023/11/01/Foundations.html
> "The world has moved on. People no longer worry about the issues that
> were critical in the 19th century: the role of the real numbers, the
> role of infinity, the status of infinitesimals, the very consistency
> of mathematics. And the reason is simple: because Herculean work in
> the 19th and 20th centuries largely banished those issues from our
> minds."



Ok, o trabalho hercúleo nos séculos 19 e 20 baniu  em grande parte tais
> questões de nossas mentes.


E o que entrou no lugar?

Ou chegamos ao fim da filosofia dos fundamentos, como queria Fukuyama com o
"fim da história "?

W.





>
> 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_Ljiw9HNqX3EUjo_e4wEVSCGEYGGc%3D_wC5D6QE0mGFiRKA%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/CAOrCsLfmz_uZQxiAEUW6PKNDtsQ5t2HMWqO%3Dd0pw5nv_yxQ0zw%40mail.gmail.com.

[Logica-l] sobre os fundamentos da matemática

[Joao Marcos]

O que acham os colegas disto?

What do we mean by "the foundations of mathematics"?
https://lawrencecpaulson.github.io/2023/11/01/Foundations.html
"The world has moved on. People no longer worry about the issues that
were critical in the 19th century: the role of the real numbers, the
role of infinity, the status of infinitesimals, the very consistency
of mathematics. And the reason is simple: because Herculean work in
the 19th and 20th centuries largely banished those issues from our
minds."


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_Ljiw9HNqX3EUjo_e4wEVSCGEYGGc%3D_wC5D6QE0mGFiRKA%40mail.gmail.com.

[Logica-l] Fwd: Postdoc position in Rome Tor Vergata (deadline, November 18th)

[Marcelo Esteban Coniglio]

-- Forwarded message -


PURITY AND SIMPLICITY OF MATHEMATICAL PROOFS
(12 months postdoc position, University of Rome Tor Vergata.
Supervisor: Gabriele Pulcini)

A one-year postdoc position is now open at the Dep. of Literary,
Philosophical and Art History Studies, University of Rome Tor Vergata.
The position is founded by the Italian Ministry of Education,
Universities and Research within the national project PUMa (Proof and
understanding in mathematics) involving the Scuola Normale in Pisa,
the IUSS in Pavia, and the universities of Torino and San Raffaele in
Milan.

The postdoctoral researcher is expected to carry out his research in
the fields of proof-theory and philosophy of mathematics. In
particular, the focus shall be on Hilbert's 24th problem concerning
the possibility to devise logico-mathematical criteria for determining
the simplest, given two demonstrations of the same theorem. The
problem of the "purity of methods" in mathematics -- especially in
connection with the one about the simplicity of proofs -- can be also
considered as a central issue. The research shall be led by examining
both formalized and "ordinary", non-formalized, proofs as they occur
in the mathematical practice.

Gross income: 25000 euros per year

Web page for online applications (English version available):
https://pica.cineca.it/uniroma2/f1-2023-0071/

Deadline: November 18, 2023

Email me for informal enquiries:
gabriele.pulc...@uniroma2.it



—
Gabriele Pulcini

Associate Professor
Dep. of Literary, Philosophical and Art History Studies
Tor Vergata School of Humanities
Via Columbia 1 — 00133 Roma
—

-- 
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/CAKuKcnLgX6MRvSnF53K3JGRtAd%2BM1-UZ5sCDkO_xGAwStxrUyg%40mail.gmail.com.

[Logica-l] SBFA: Equilíbrio Reflexivo na Lógica (ter, 7/11, 18hs)

[Marcos Silva]

Car@s,


nesta terça, dia 7/11, aas 18hs, a Sociedade Brasileira de Filosofia
Analítica (SBFA) promoverá uma palestra sobre a aplicação de
Equilíbrio Reflexivo na Epistemologia da Lógica, com Ben Martin, da
Universidade de Pádua.


https://www.instagram.com/p/CzHa5g-J6Dd/?igshid=Y2NkYjk0MDhjYg==


A palestra e a discussão serão mediadas por mim. A atividade será
transmitida ao vivo pelo canal da SBFA:

https://www.youtube.com/@SbfaBspha


Favor ajudar a divulgar, se possível.


Obrigado!


Abraços,

Marcos

-- 
Marcos Silva (UFPE/CNPq)
Philosophy Department
Federal University of Pernambuco, Brazil Ca
President of the Brazilian Society for Analytical Philosophy (SBFA
)
Director of Graduate Studies (PPGFIL/UFPE
)
Editor-in-chief Revista Perspectiva Filosófica

https://sites.google.com/view/marcossilvaphilosophy
"amar e mudar as coisas me interessa mais"

-- 
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/CAGZ3pz%2BokQAkFuHyjvGrpq%3D1bAS%2B1VamSvbH-5-yz9wqMCXZsA%40mail.gmail.com.