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
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
