É verdade Walter que a Suiça é também conhecida para ser o país mais limpo
do mundo:
https://www.youtube.com/watch?v=aCHCPuUMkXg
O dinheiro é geralmente muito sujo. Imagina uma moeda de 50 centavos em
circulação desde do início do plano real.
A moeda passou nas mãos de milhares de pessoas, que às v
Creio que a situação é de possível intersecção, não necessariamente
subconjunto. =)
On Thu, Mar 30, 2023 at 12:46 PM Bruno Lopes wrote:
> Uma pergunta sincera (não, não é provocativa): a comunidade de métodos
> formais considera lógicos como parte dela? Minha impressão (que pode estar
> errada)
Bruno.
V confundiu a comunidade de métodos formais com outra, a de métodos
informais.
Não fiquei com a impressão de que o formulário discriminava os lógicos.
Nem a semântica, nem a teoria da prova e, pasmem, nem a teoria de
categorias ...
[]s
On Thu, Mar 30, 2023 at 12:46 PM Bruno Lopes wrote
Eu entendi que esse formulário era pra todas as pessoas com algum
interesse por métodos formais...
On Thu, 30 Mar 2023 at 12:46, Bruno Lopes wrote:
> Uma pergunta sincera (não, não é provocativa): a comunidade de métodos
> formais considera lógicos como parte dela? Minha impressão (que pode esta
Vendendo chocolate que não produz e lavando dinheiro que nao gerou.
É de se recomendar também "La Suisse lave plus blanc" de Jean Ziegler.
W.
Sobre axiomas recomendo o livro de Max Gunther
"Os Axiomas de Zurique" (o livro explica bem como a Suíça se tornou um
país rico vendendo chocolate)
Uma pergunta sincera (não, não é provocativa): a comunidade de métodos
formais considera lógicos como parte dela? Minha impressão (que pode estar
errada) é de que não.
Abraços,
Bruno.
Em qui., 30 de mar. de 2023 15:45, Joao Marcos
escreveu:
> "O objetivo deste formulário é produzir um mapeamen
... e pode se perguntar: como um país onde não há cacau se tornou famoso
por produzir o melhor chocolate do mundo?
O paradoxo Suiço se explica pela química.
O chocolate é bom para sexualidade, o coração e traz felicidade, ver por
exemplo:
"Sexualité, cœur et chocolat" Francesco Bianchi-Demicheli, L
"O objetivo deste formulário é produzir um mapeamento atualizado da
comunidade de Métodos Formais no Brasil."
https://docs.google.com/forms/d/e/1FAIpQLSeTs_eOl7a9CoOVc8oPTyN8_RywMOzAmWkSBrR-2XJSGREzRw/viewform
O formulário pode ser respondido até amanhã.
(agradeço a Karina Roggia por me chamar a a
Obrigada por compartilhar! Muito bom!
Abraços,
On Thu, Mar 30, 2023 at 12:51 AM Joao Marcos wrote:
> https://topos.site/blog/2023/03/seventy-years-using-fixed-points/
>
> Talk @ Computer Science Logic (CSL 2023)
> https://topos.site/files/Scott_Seventy_Years_Using_Fixed_Points_Slides.pdf
> http
