Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.

[Joao Marcos]

Neste outro vídeo, aparentemente na própria CMU, o Hoskinson (33 anos
de idade) fala um bocado sobre Matemática, fala sobre a ideia de criar
"open-source textbooks" para estudantes (do Ensino Médio em diante, de
qualquer parte do mundo) por meio do Centro que está criando, e fala
também sobre a importância dos Métodos Formais no modelo de negócios
que o deixou rico:
https://youtu.be/gCLJOrJFLZQ
(Devo dizer que uma certa afirmação que ele faz sobre o número de
"practicing mathematicians" na África me soa incorreta.)

%%%

Agora, vou também
"dar uma queixadinha
Porque eu sou um rapaz latino-americano
Que também sabe se lamentar":

Infelizmente, por falta de visão e estratégia, a minha universidade (e
o meu departamento, que não foi capaz de acolhê-lo enquanto ele esteve
dando sopa por aqui) acabou de _perder_ aquele que é possivelmente o
maior especialista nacional na área de Métodos Formais...  E não foi a
nossa única perda...

Enquanto isso, a grande inteligência brasileira (e da UFRN) está agora
com a convicção de que vai se tornar _grande potência na área de IA_
(de onde a inteligência vai tirar os profissionais que ele não forma
nem é capaz de atrair ou manter, eu não sei).
https://www.gov.br/mcti/pt-br/acompanhe-o-mcti/transformacaodigital/inteligencia-artificial
Pelo que pude acompanhar, tivemos um concurso em julho para esta área
no IMD/UFRN e ninguém foi aprovado, e abrimos depois disso abrimos no
DIMAp/UFRN um edital de remoção também para esta área e não tivemos
sequer candidatos?

%%%

[]s, JM


JM

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiEpKPtCkeSfANZfOCsc76Yr8wHDnXB58u2t8T4%2Bao2Cw%40mail.gmail.com.

Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.

[Joao Marcos]

> Eu suspeito que os 20 milhões de dólares sejam basicamente o custo da 
> construção de um novo prédio para abrigar o centro, nem tão grande assim, com 
> alguma mobília, equipamentos, talvez alguma reserva para manutenção por algum 
> tempo.

Aqui neste vídeo (https://youtu.be/3snIzhjqsk0) o próprio Hoskinson
(bilionário dos blockchains) fala sobre o Lean, sobre a importância
das demonstrações matemáticas e sobre algumas das conquistas de
formalização da matemática, e sobre "a interseção entre Computação,
Matemática, Filosofia e Lógica").  Ele também fala sobre a verba que
está doando, que resultará em 1 milhão de dólares por ano, durante um
certo número de anos, e alguma verba adicional para a Carnegie Mellon
construir seu puxadinho, ou gastar como melhor lhe aprouver, neste
projeto.  Ele afirma, ainda, que pretende aumentar o investimento
("entre 200 e 250 milhões ao longo da próxima década, ou duas
décadas"), no futuro, para que o Centro se transforme em um Instituto.
Está claro que vai ter bastante verba, em particular, para contratar
pós-doutorandos e estudantes de pós-graduação, e é bom a gente não
subestimar o que o Avigad será capaz de fazer com essa grana.  Talvez
a Giselle Reis, que trabalha na CMU e faz parte da nossa comunidade,
tenha mais notícias pra dar pra gente sobre isso?

Sobre puxadinhos, recordo-me de ter ficado surpreso ao descobrir, em
breve passagem por Palo Alto, que a Stanford Encyclopedia of
Philosophy é administrada por um único funcionário que habita uma
única salinha na universidade de Stanford (universidade na qual o
prédio da Computação foi doado por Bill Gates, e o prédio da
Engenharia Elétrica foi doado por David Packard, já que a Microsoft e
a HP ---e a Valeria de Paiva :-D--- estão logo ali do lado).

[]s, Joao Marcos

--
http://sequiturquodlibet.googlepages.com/

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhdXQbh91u6oABixmJnWjW8HtZ8-CHNDsfH__Hxtj0Y1g%40mail.gmail.com.

Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.

[Carlos Augusto Prolo]

Eu suspeito que os 20 milhões de dólares sejam basicamente o custo da
construção de um novo prédio para abrigar o centro, nem tão grande assim,
com alguma mobília, equipamentos, talvez alguma reserva para manutenção por
algum tempo.

 Abraço,

Prolo



On Wed, Sep 22, 2021 at 9:38 PM Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> wrote:

> Fantástico!
> Ítala
>
> Em qua., 22 de set. de 2021 às 20:51, 'samuel' via LOGICA-L <
> logica-l@dimap.ufrn.br> escreveu:
>
>> ... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser
>> o Avigad.
>>
>>
>> https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html
>>
>>
>> --
>> 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 ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ec9e09af-181b-4ff3-be62-9a4b4c23470cn%40dimap.ufrn.br
>> 
>> .
>>
> --
> Prof. Dr. Itala M. Loffredo D'Ottaviano
> Full Professor in Logic and the Foundations of Science
> Centre for Logic, Epistemology and the History of Science
> University of Campinas
>
> --
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4DkeTbA5wrp0bH2Q30UXr2CeUYCMArkr3DDHmhNBJNYg%40mail.gmail.com
> 
> .
>

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD7MeJvKg-OCDBc5Nv1R1-2R3-X1zM4TA8skgQGenP0LVPnCEw%40mail.gmail.com.

Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.

[Itala Maria Loffredo D'Ottaviano]

Fantástico!
Ítala

Em qua., 22 de set. de 2021 às 20:51, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> ... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser
> o Avigad.
>
>
> https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html
>
>
> --
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ec9e09af-181b-4ff3-be62-9a4b4c23470cn%40dimap.ufrn.br
> 
> .
>
-- 
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Centre for Logic, Epistemology and the History of Science
University of Campinas

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4DkeTbA5wrp0bH2Q30UXr2CeUYCMArkr3DDHmhNBJNYg%40mail.gmail.com.

[Logica-l] 20 milhões de dólares para um projeto para formalização de matemática [...]

[Walter Carnielli]

Fantástico, certamente  Jeremy Avigad  tem toda a envergadura  para
isso- trabalha simultaneamente com  Filosofia e Matemática, e se
alguém pode levar esse  "monstro"  adiante ele é um deles.

 Mas eu pessoalmente acho que há riscos, se  a coisa não for feita com
  devidas cautelas. Para quem se  interessa, escrevi um artigo
recente sobre  os risco da  Inteligência Artificial na agenda
filosófica:

 "How AI can be surprisingly dangerous for the philosophy of
mathematics — and of science" .  Circumscribere Vol. 27 (2021)

https://revistas.pucsp.br/index.php/circumhc/article/view/55033

Críticas, contra-argumentos e "dislikes"  serão  apreciados e  considerados :-)

Abs,
Walter



Em qua., 22 de set. de 2021 às 20:51, 'samuel' via LOGICA-L
 escreveu:
>
> ... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser o 
> Avigad.
>
> https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html
>




-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcWdnOpOz%3DMG2OMczdioBQ8TOvryJZAf3LckZBvmv1Fjw%40mail.gmail.com.

[Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.

['samuel' via LOGICA-L]

... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser o 
Avigad. 

https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ec9e09af-181b-4ff3-be62-9a4b4c23470cn%40dimap.ufrn.br.

[Logica-l] Posicao de Post-Doc na Polônia (36 meses)

[Walter Carnielli]

Olá  jovens doutores buscando posição:

 acabo de receber esta msg de um amigo na Polônia.


Eles continuam procurando um candidato, se alguém se interessar pf me
escreva em privado, eu ajudarei a fazer os contatos.
 Abs,

Walter


>Hi Walter, I am writing to you since I have a
> job offer for a young post-doc (up to 7 years after Ph.D.) and thought
> that you might know about somebody who could be interested. The
> position is within the scientific project "Logico-philosophical
> foundations of geometry and topology". For 36 months, starting on the
> 1st January 2022. Good conditions, lots of benefits and opportunities.
> All the details can be found here:
>
> https://euraxess.ec.europa.eu/jobs/683672
>
> Please spread the word if you do not mind.
>
> All the best,
> Rafał
>

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLe5GUb4MVb2ew-P_sEdeaKnPdnFh9jhJa3rmfk6cTV6hg%40mail.gmail.com.

[Logica-l] Fwd: Six Postdoc Positions, Bochum

[Joao Marcos]

-- Forwarded message -

Six Postdoc Positions in Bochum! (German version below)

Project: INTERACT! New forms of social interaction with intelligent systems

Ruhr-Universität Bochum (RUB) is one of Germany’s leading research
universities. The University draws its strength from both the
diversity and the proximity of humanities, natural sciences and
engineering disciplines on a single, coherent campus. This highly
dynamic setting enables students and researchers to work across
traditional boundaries of academic subjects and faculties.

We are offering six full-time postdoctoral positions (comparable to an
assistant professorship), beginning on 1st November 2021 (or
thereafter as soon as possible), for three years (m/w/d; Tariff: 100%
TV-L E13 / 39,83 hrs./week, Duration of contract until 31 Oct 2024).

The Postdocs will be part of an interdisciplinary research team,
currently consisting of six professors from Philosophy, Media Science,
Education Science and Economics, to be extended successively in the
upcoming years. The project INTERACT! is funded by the State of
Northrhine Westfalia. Together the whole team will investigate
theoretical and ethical issues arising in the context of new forms of
social interaction between humans via social media and between humans
and artificial intelligent systems and engage in experimental research
in the context of integrating AI-systems in education and at the
workplace in teams with humans, but also in public institutions (e.g.,
elderly care).

The positions leave plenty of freedom for developing one’s own
research profile. Since funding comes solely from a public source, the
position does not include any teaching duties. In addition to research
on the project, we expect the postdocs to develop their own
independent research profile and grant application as well as
international networking activities during the contract phase.

We are looking for postdocs with a background in the following fields
(associated with the respective PI):

Postdoc #1 (Philosophy) with expertise in social epistemology and/or
philosophy of cognition. This project (PI: Prof. Dr. Tobias Schlicht)
investigates the situatedness of social interaction among humans via
social media and its effects on the acquisition, transfer and
preservation of knowledge in such contexts, discussing the effect of
fake news distribution, formation of echo chambers and alternative
public digital spheres.

Postdoc #2 (Philosophy) with expertise in theories of understanding
others, including the Theory-of-Mind debate, and in theories of
human-machine interaction. For the interdisciplinary research a good
expertise in philosophy of mind and cognition is needed and should be
complemented by deep knowledge in one discipline of cognitive science
(PI: Prof. Dr. Albert Newen)

Postdoc #3 (Philosophy) with expertise in philosophy of emotions and
ethics, and ideally specifically in ethics of AI (PI: Prof. Dr. Eva
Weber-Guskar). This project investigates moral and ethical topics in
human-machine-interaction, especially with systems equipped with
emotionalized artificial intelligence, like social chatbots, care
robots or digital well-being apps.

Postdoc #4 (Education Psychology/Educational Technology/HCI) with
expertise in the area of computer-supported collaborative learning
(CSCL) and/or learning in digital settings with intelligent (AI)
support (PI: Prof. Dr. Nikol Rummel). This project takes an
educational psychology-rooted HCI perspective on the implications of
integrating AI support in educational settings for the interplay
between teachers, learners and the AI (i.e. teacher-learning-AI
co-orchestration).

Postdoc #5 (Media Science) with expertise in media theory, media
history and/or media ethnography with a focus on digital culture. The
project (PI: Prof. Dr. Anna Tuschling) will investigate interactions
with affect technologies as well as emotion ai in different social
contexts.

Postdoc #6 (Economics/Psychology) with expertise in teamwork and team
cognition. The project (PI: Prof. Dr. Matthias Weiß) will investigate
theoretical foundations for the integration of AI-systems in work
teams and realization conditions of hybrid human-AI-systems to enable
and foster satisfactory and successful team work.

Requirements:
Candidates should have an outstanding PhD in one of the desired fields
and, ideally, background knowledge in any of the other disciplines;
experience in interdisciplinary collaboration and desire to work in an
interdisciplinary context.

Application documents:
Please send your application to carolin.wolt...@rub.de (Subject:
‚Application INTERACT‘). Your application should include a statement
of interest with a brief sketch of possible research direction(s), a
CV, copies of certificates and records, list of publications & talks,
names of two referees, and electronic copies of two publications.

Deadline of application: 10th October 2021.

For further information about the project and positions,