Who is the author?
The commentary had several interesting observations, and a good one was
expressed by the last sentence: "I give up!"
I consider it to be a sociological text, and there are so many research
programs on the Foundations of Mathematics that one cannot justify many of
the sweeping
Felicitações!
Acho que não existe um nome estabelecido para números naturais positivos,
porque continuavam hesitações ao decidir sobre uma definição dos números
naturais que inclui o número zero.
Não gosto o termo "counting number", pois números não contam. Sugiro que os
termos "counter" e
Felicitações!
Acho que não existe um nome estabelecido para números naturais positivos,
porque continuava hesitações ao decidir sobre uma definição dos números
naturais que inclui o número zero.
Frode Alfson Bjørdal
On Sat, Jul 1, 2023 at 9:32 PM Joao Marcos wrote:
> Viva!
>
> O inglês é uma
Boa tarde,
I came to think that someone here should know:
Stanislaw Jaskowski published a non-adjunctive paraconsistent logic, which
does not have the inference rule $\vdash A \ \& \ \vdash B\Rightarrow \
\vdash A\wedge B$. The paper first appeared in Polish: *Rachunek zdań dla
systemow
Boa tarde!
A tradução
@article{Jaskowski1999,
publisher = {Nicolaus Copernicus University Scientific Publishing House},
doi = {10.12775/llp.1999.003},
pages = {35--56},
journal = {Logic and Logical Philosophy},
author = {Stanis\l{}aw Ja\'{s}kowski},
title = {A Propositional Calculus for
Prezadxs,
Achei que esta pergunta poderia ser apropriada aqui:
Alguém desenvolveou lógicas que distinguem entre diferentes tipos de
teoremas, e fazem uso de diferentes catracas ("turnstiles"), ou meios
equivalentes, para esse fim?
Att.
Frode
--
LOGICA-L
Lista acadêmica brasileira dos
Prezadxs,
Achei que esta pergunta poderia ser apropriada aqui:
Alguém desenvolveou lógicas que distinguem entre diferentes tipos de
teoremas, e fazem uso de diferentes catracas ("turnstiles"), ou meios
equivalentes, para esse fim?
Att.
Frode
>
>
--
LOGICA-L
Lista acadêmica brasileira dos
Prezxdos,
Achei que esta pergunta poderia ser apropriada aqui:
Alguém desenvolveou lógicas que distinguem entre diferentes tipos de
teoremas, e fazem uso de diferentes catracas ("turnstiles"), ou meios
equivalentes, para esse fim?
Att.
Frode
--
LOGICA-L
Lista acadêmica brasileira dos
Prezadxs,
Deve se formar sub-eventos. :)
Att.
Frode
On Wed, Oct 12, 2022 at 11:31 AM Elaine Pimentel
wrote:
> Prezados colegas,
>
> Para aqueles que utilizam Easychair para ajudar na organização de
> conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis
> apenas para
Colegas em Irã tomaram uma iniciativa importante, e muito elogiável, nestes
dias tão nefários: desde este ano se organiza um congresso para a amistade
das nações, no dia mundial de lógica.
Siga a linke, se ter interesse:
http://araku.ac.ir/web/irfs/friendship
Att.
Frode
--
Você está
I cannot recall an announcement of this conference, so I post it:
https://orientallogic.ir/spirituality/?fbclid=IwAR0Xm7tK7TRg5-KXKu996x6_-arj7ExJLyW4vEbrcIlhxbC49DtN20d87zo
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar
"Isto não é exatamente uma resposta à sua pergunta, mas ilustra um pouco as
dificuldades da "democracia direta":"
Precisamente
On Mon, Aug 2, 2021 at 6:38 AM Joao Marcos wrote:
> Por que a lista não tem mulheres? 樂
>>
>
> Isto não é exatamente uma resposta à sua pergunta, mas ilustra um pouco
Heidi! <3
mandag 2. august 2021 kl. 00:16:42 UTC-3 skrev jyb:
> and of course Heidi
> https://en.wikipedia.org/wiki/Heidi
>
> On Mon, Aug 2, 2021 at 12:11 AM Frode Bjørdal wrote:
>
>> Pearl Pu
>>
>> https://hci.epfl.ch/members/pearl/
>> søndag 1
Rollman
> https://en.wikipedia.org/wiki/Marina_Rollman
> https://www.youtube.com/watch?v=ZuDh23a2CQ4
>
>
>
>
> On Sun, Aug 1, 2021 at 10:46 PM Frode Bjørdal wrote:
>
>> Felicitações pela sua festa nacional!
>>
>> "Na Suiça, além de Saussure, tive muitos o
Felicitações pela sua festa nacional!
"Na Suiça, além de Saussure, tive muitos outros visionários: Carl Jung,
Jean Piaget, Louis Chevrolet, Albert Hoffman, Le Corbusier, Paul Klee,
Leonhard Euler ..."
Por que a lista não tem mulheres? 樂
Frode
søndag 1. august 2021 kl. 20:31:49 UTC-3 skrev
ão em inglês disponível.
>
> Abraços,
>
> Walter
>
>
> Em qua, 30 de jun de 2021 14:46, Frode Bjørdal
> escreveu:
>
>> Olá!
>>
>> Se vende o livro de Quine em português?
>>
>> Abs.
>>
>> Frodo
>>
>> fredag 25. juni 2021 kl
Olá!
Se vende o livro de Quine em português?
Abs.
Frodo
fredag 25. juni 2021 kl. 16:58:11 UTC-3 skrev Adolfo Neto:
> Oi pessoal.
>
> Entrevistei o professor Walter Carnielli.
>
> Spotify: https://open.spotify.com/episode/3baby3b5ipyDtgRHpdvP4x
> YouTube: https://youtu.be/FBrExIIO6Hk
> Anchor:
Que tal?
GruLeN - Grupo de Lógica em Natal
Frode
fredag 25. juni 2021 kl. 09:55:06 UTC-3 skrev Marcelo Finger:
> Oi João.
>
> Obrigado por enviar a msg do Grupo de Trabalho Mulheres UFRN.
>
> Eu disse que não me importava com o nome do seu grupo, mas a minha opinião
> não importa. Se o grupo
Que tal?
GruLeN - Grupo de Lógica em Natal
Abs
Professor Dr. Frode Alfson Bjørdal
Universitetet i Oslo Universidade Federal do Rio Grande do Norte
quicumque vult hinc potest accedere ad paginam virtualem meam
Presadxs,
O fato de ser discutido pode indicar que é uma boa ideia alterar o nome.
Abraços
Frode Alfson Bjørdal
søndag 20. juni 2021 kl. 17:42:42 UTC-3 skrev Hermógenes Oliveira:
> No sábado, 19 de junho de 2021, às 22:09:18 -03, João Marcos escreveu:
> >
> > DEVEMOS MUDAR O NOME DO GRUPO?
Closures of the Paradoxes http://www.logika.umk.pl/llp/214/2-214zwa.pdf.
Abraços
Frode
--
Frode Bjørdal
Professor i filosofi
IFIKK, Universitetet i Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html
___
Logica-l mailing list
Logica-l
21 matches
Mail list logo