o se
>>> aplica à Lógica, claro: o quão importante seria *para o aprendizado do
>>> neófito*, digamos, a ampla _motivação_ prática da introdução de certos
>>> métodos ou estratégias de raciocínio, ou a apresentação detalhada do
>>> _histórico_ de como certos conc
raços a todos.
[]s Samuel
--
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,
/0009-0008-4481-0028
--
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
t; Faca o calculo tal usando o metodo "bonitinho" que eu expliquei na aula
>> de 01/04 - Not OK!
>>
>> Tudo de bom, ---Julio Stern
>>
>> --
>> *From:* logi...@dimap.ufrn.br on behalf of
>> Marcelo Finger
>
best,
Jan Baedke
Heinrich Wansing
Daniel Skurt
--
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
Perspective Journal
https://periodicos.ufpe.br/revistas/index.php/perspectivafilosofica
Member of the UFPE NormAtiva Research Group
https://sites.google.com/view/normativa/home
Lattes: http://lattes.cnpq.br/9120403467225775
Orcid: https://orcid.org/0009-0008-4481-0028
--
LOGICA-L
Lista acadêmica brasileira
Research Group
https://sites.google.com/view/normativa/home
Lattes: http://lattes.cnpq.br/9120403467225775
Orcid: https://orcid.org/0009-0008-4481-0028
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu
t;
>> BEBIDA NÃO ALCOÓLICA INCLUSA: ÁGUA, REFRIGERANTE OU SUCO.
>>
>> VALOR POR PESSOA: *R$ 190,00.*
>>
>> TAXA DE SERVIÇO INCLUSA.
>>
>> SOBREMESA À PARTE.
>>
>> Os pagamentos serão feitos por PIX ao Cassiano (será disponibilizado na
>> página do EBL um QR code).
>>
>> OBS.: *Não pode
eitos por PIX ao Cassiano (será disponibilizado na
> página do EBL um QR code).
>
> OBS.: *Não podemos garantir que será possível uma opção de comida
> 100% vegana. *
>
> ***
>
> Abraços
>
> []s Samuel - em nome da Comissão Organizadora
>
>
>
--
LOGICA-L
List
Olá Itala
Grato
O mérito artístico do cartaz e de toda a identidade visual do EBL foram,
novamente, por conta do colega Marlo Souza !
Abraços
[]s Samuel
- Mensagem original -
De: Itala Maria Loffredo D'Ottaviano
Para: samuel
Cc: LOGICA-L
Enviadas: Mon, 21 Apr 2025 21:
r aos seus escritórios de pós-graduação que imprimam e
divulguem nos murais dos seus programas, agradecemos a gentileza.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no gru
action-watch-mass-resignations-list/
>
> []s, Joao Marcos
>
>
> --
> https://sites.google.com/site/sequiturquodlibet/
>
--
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
Oi Valéria,
>
> O "open letter" que está bem à vista, é outro, é endereçado aos leitores.
>
> Abraços
>
> []s Samuel
> - Mensagem original -
> De: Valeria de Paiva
> Para: samuel
> Cc: LOGICA-L , Joao Marcos
> Enviadas: Wed, 09 Apr 2025 16:01:27
Oi Valéria,
O "open letter" que está bem à vista, é outro, é endereçado aos leitores.
Abraços
[]s Samuel
- Mensagem original -
De: Valeria de Paiva
Para: samuel
Cc: LOGICA-L , Joao Marcos
Enviadas: Wed, 09 Apr 2025 16:01:27 -0300 (BRT)
Assunto: Re: [Logica-l] Re: novo
rão feitos por PIX ao Cassiano (será disponibilizado na
página do EBL um QR code).
OBS.: *Não podemos garantir que será possível uma opção de comida
100% vegana. *
***
Abraços
[]s Samuel - em nome da Comissão Organizadora
--
nternational/
>
>
> 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 rec
as possibilidades de
acomodação em Serra Negra.
Agradecemos a iniciativa da Luisa, e pedimos a todos que repassem esta
informação para suas orientandas.
Obrigado
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo e
Parabéns aos membros desta lista, neste dia, por mantê-la viva e
relevante ao longo dos últimos 19 anos!
Cumprimentos lógicos,
O Administrador da LOGICA-L
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se
Ricardo, a sua mensagem foi postada na lista no dia 06/03:
https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/x33P21rsBS4/m/sB_8T6shAgAJ
O endereço da administração da lista é este que ora lhe responde. Você
mandou mais de uma cópia desta mensagem no mesmo dia, e apenas as cópias
adicionais
le, envie um
e-mail para
logica-teoria-dos-conjuntos-e-topologia-geral+unsubscr...@googlegroups.com.
Para ver esta conversa, acesse
https://groups.google.com/d/msgid/logica-teoria-dos-conjuntos-e-topologia-geral/718643925.6063856.1740835965638%40mail.yahoo.com.
--
LOGICA-L
Lista acad
informação (extra-oficial, é claro) que é muito fácil
combinar com taxistas grupos para ir a Campinas ou a São Paulo desde Serra
Negra, três a quatro pessoas num carro, pode ser até mais barato do que
ônibus.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e est
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
|
|
|
| | |
|
|
|
| |
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
|
|
|
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem
receber e-mails dele, envie um
e-mail para
logica-teoria-dos-conjuntos-e-topologia-geral+unsubscr...@googlegroups.com.
Para ver esta conversa, acesse
https://groups.google.com/d/msgid/logica-teoria-dos-conjuntos-e-topologia-geral/718643925.6063856.1740835965638%40mail.yahoo.com.
--
LOGI
estavam incomodadas com o formulário de associação
> que estava no site da SBL, pois ainda havia referência ao ano de 2024 no
> formulário, mas isso também foi corrigido já.
>
> ... Vejo todos em breve em Serra Negra
>
> []s Samuel
>
>
>
--
LOGICA-L
Lista acadêmica brasileira
ção tem que ser
feita até ***15 de março*** !!!
Algumas pessoas também estavam incomodadas com o formulário de associação
que estava no site da SBL, pois ainda havia referência ao ano de 2024 no
formulário, mas isso também foi corrigido já.
... Vejo todos em breve em Serra Negra
[]s Samuel
--
://sites.google.com/view/normativa/iv-col%C3%B3quio-normativa
Abraço,
Thiago Andrade
--
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 inscr
submissão de arquivos
.tex no formulário Google Docs, isso também foi corrigido. Agradecimentos à
equipe.
Desejo a todos uma boa submissão até sexta-feira e vejo todos em breve.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
Lopes (Scientific Committee, Chair)
--
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-
dia Logica can be accessed
via this link: https://www.editorialmanager.com/stud/
Please make sure to submit your paper with the article type "Special
issue of Studia Logica in memory of Nuel Belnap (1930-2024)". The
deadline for submissions is January 31, 2025.
===
--
LOG
Caros
Más notícias, Zoe morreu ontem.
https://www.fields.utoronto.ca/news/Memoriam-Dr-Zo%C3%A9-Chatzidakis
Abraços
[]s Samuel
--
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 "L
-zermelofraenkel-set-theory/FB0305E7BEDF217A163F36D99065B75E?utm_source=SFMC&utm_medium=email&utm_content=Article&utm_campaign=New%20Cambridge%20Alert%20-%20Issues&WT.mc_id=New%20Cambridge%20Alert%20-%20Issues
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes d
>>>
>>>
>>> Em qua., 11 de dez. de 2024 às 08:21, Marcelo Finger
>>> escreveu:
>>>
>>>> Que tristeza, estou chocado!
>>>>
>>>> Meus sinceros sentimentos aos parentes e amigos!
>>>>
>>>&
entific Committee, Chair)
--
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
t;
>> Marcelo
>>
>>
>> Em qua., 11 de dez. de 2024 às 08:21, Marcelo Finger
>> escreveu:
>>
>>> Que tristeza, estou chocado!
>>>
>>> Meus sinceros sentimentos aos parentes e amigos!
>>>
>>> Em ter., 10 de dez. de 2024 às 2
Caros,
Com dor no coração informo que o colega e amigo Claus Akira Matsushigue faleceu
hoje de manhã em Brasília, aos 59 anos de idade.
Conforto aos familiares e amigos.
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
ntre possíveis interessados.
Atenciosamente,
Cristina Lizana
Vice-coordenadora do Mestrado em Matemática
Instituto de Matemática e Estatística - UFBA
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscr
.uam.mx
<https://mail.google.com/mail/u/0/#m_4591014588678758515_NOP>
https://sites.google.com/izt.uam.mx/marlisha
--
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&
a mais informações, podem me contatar por e-mail privado:
> conig...@unicamp.br <mailto:conig...@unicamp.br>.
>
> Atenciosamente
>
> Marcelo
>
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
>
> ---
>
ada, assim como link para inscrição, em
https://sbl.org.br/pmwiki.php/Main/Apoio
Abraços
[]s Samuel
--
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
Gr
ink: https://www.editorialmanager.com/stud/
Please make sure to submit your paper with the article type "Special
issue of Studia Logica in memory of Nuel Belnap (1930-2024)". The
deadline for submissions is January 31, 2025.
===
--
LOGICA-L
Lista acadêmica brasileira dos profissionais
- coordenadora
> Kaline Nascimento (IFRN)
> Sanderson Molick (IFPA)
>
> --
> Bruno Lopes
> Professor Adjunto
> Instituto de Computação
> Universidade Federal Fluminense
> http://www.ic.uff.br/~bruno
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionai
--
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-
-mail no
grupo.
Obrigado desde já,
André
--
**Esse e-mail foi enviado por um estudante da Universidade Federal de
Viçosa**
--
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
the
Section of Logic (https://czasopisma.uni.lodz.pl/bulletin/index).
Organizers
The workshop is organized by University of Lodz in collaboration with
Nicolaus Copernicus University in Toruń
with the support from the European Research Council.
For any inquiries, please write at jarmuzek[at]umk[dot]pl.
the
Section of Logic (https://czasopisma.uni.lodz.pl/bulletin/index).
Organizers
The workshop is organized by University of Lodz in collaboration with
Nicolaus Copernicus University in Toruń
with the support from the European Research Council.
For any inquiries, please write at jarmuzek[at]umk[dot]pl.
-- Forwarded message -
Subject: [Logica-l] Shani Louk: ouf topics, não é?
>
> https://twitter.com/HenMazzig/status/1773318588775948699
Sem dúvida. E a cláusula número 9 das regras de convívio, que segue
ativa, será aplicada.
https://docs.google.com/docu
PessoALL:
Esta semana a LOGICA-L,
"uma lista direcionada aos profissionais e estudantes
de LÓGICA de todo o Brasil (and elsewhere!)"
completou *18 anos de vida*. Parabéns para ela, e para a comunidade
envolvida nas suas discussões! Esta comunidade é e sempre foi a
verdadeira r
SEPqj%2BhqdE71DrQAO2Y3TZWnHqV30%3DBqRUY49sf1V41A%40mail.gmail.com?utm_medium=email&utm_source=footer>
.
--
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
... Caindo do alto do elevador ainda, imagine !
Obrigado Walter e Elaine,
Abraços
[]s Samuel
- Mensagem original -
De: Walter Carnielli
Para: Elaine Pimentel
Cc: samuel , LOGICA-L
Enviadas: Fri, 23 Feb 2024 15:47:57 -0300 (BRT)
Assunto: Re: [Logica-l] Logotipo e Símbolo do Grupo de
de mensagens antigas desta lista,
com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho
uma predilecao especial por catracas. 8-)
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se i
Caros,
Por problemas técnicos tivemos que trocar o link do evento da UFBA nesta semana.
É o mesmo link para todas as sessões agora.
https://meet.google.com/ecs-yvek-mmz
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você
TARDE
meet.google.com/zkb-ghoe-abf
A programação completa está disponível em
https://sites.google.com/view/semanatematicalogica2024/programa%C3%A7%C3%A3o
Observo que no link da quinta à tarde será possível participar da homenagem ao
Andreas, a partir das 17hs.
Abraços
[]s Samuel
--
LOGICA-L
pa.br/d/msgid/forumppg/CAMC%2B5mTyAXYkwmfwbOw4MftQUC2UOuAH3FuPKVR5tpjzq6iT%3DA%40mail.gmail.com?utm_medium=email&utm_source=footer>
.
--
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 &q
cover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
Atés
[]s Samuel
--
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 canc
a
>>> estudante de pós-graduação que queira aparecer na Quanta Magazine
>>> seria o de mostrar que espirógrafos também são Turing-completos.
>>>
>>> Abraços,
>>> Joao Marcos
>>>
>>>
>>> [0] Hamkins, Joel David. Lectures on
um bom problema (em aberto?) para uma
>> estudante de pós-graduação que queira aparecer na Quanta Magazine
>> seria o de mostrar que espirógrafos também são Turing-completos.
>>
>> Abraços,
>> Joao Marcos
>>
>>
>> [0] Hamkins, Joel David. Lectures on
stas bobas. ;-b
>
> (Definição de trabalho: Chamaremos de _boba_ qualquer pergunta cuja
> resposta depende da escolha de uma implementação específica. Exemplo:
> "será que 0∈1?")
>
> []s, JM
>
> --
> https://sites.google.com/site/sequiturquodlibet/
>
--
LOGIC
cia técnica
> também sobre os números espirográficos! (ou ao menos uma referência
> geral sobre a construtibilidade via espirógrafos)
>
> Abraços,
> Joao Marcos
>
>
> --
> https://sites.google.com/site/sequiturquodlibet/
>
--
LOGICA-L
Lista acadêmica brasileir
-), mas desconfio que essa questao entre mais no
> que é "existência em matemática",
> > enfim. Que aí a coisa da matemática construtiva vem em cheio também.
>
> Isto daria uma discussão deveras interessante!
>
> Abraços, Joao Marcos
>
> --
> https://sites.g
uring-completos.
>
> Abraços,
> Joao Marcos
>
>
> [0] Hamkins, Joel David. Lectures on the Philosophy of Mathematics.
> MIT Press, 2021.
> [1] Geretschläger, Robert. "Euclidean constructions and the geometry
> of origami." Mathematics Magazine 68.5 (1995): 35
t; De acordo! Você conhece livros-textos introdutórios *sobre lógica de
>> primeira ordem* que usem cálculo lambda de maneira judiciosa e
>> essencial?
>>
>
> Não conheço. Se você encontrar (ou escrever) algum, por favor me manda a
> referência.
>
>>
>> []s
s outros
dois sao
a quadratura do círculo e a duplicacao do cubo).
Atés
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 01:37:30 UTC+1, Joao Marcos
escreveu:
> da Turing-completude dos origamis
> https://www.quantamagazine.org/how-to-build-an-origami-computer-20240130/
>
>
>
; que permitem nao só expresar mas também calcular funções.
> >
> > Abs,
> > Juan Carlos
> >
> >
> > On Sun, Jan 28, 2024 at 5:48 AM Joao Marcos wrote:
> >>
> >> E o vencedor é...
> >>
> >> On Wed, Jan 24, 2024, 17:08 Joao
resencialmente ao evento.
***
Abraços
[]s Samuel
--
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
radas
> em
>
> Site: https://sologica.weebly.com/
>
> Instagram: sol_logica <https://www.instagram.com/sol_logica/>
>
> Twitter: sol_logica <https://twitter.com/sol_logica>
>
>
> João Mendes
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudan
plo, os passos argumentativos de mais
> interesse,
> > > > logo nas primeiras aulas, envolvem quantificadores aninhados. Se
> > > > pensamos em um curso de Matemática Discreta, conceitos como
> > > > divisibilidade, congruência-módulo, supremos e ínfimos pressupõe
/edital_docente_efetivo_n_01_2024_pdf_retificado_em_10.01.2024_para_o_site.pdf
Quem quiser me perguntar algo sobre o concurso, pode me mandar email (fora
da lista).
Abraços
[]s Samuel
--
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
es nas páginas das conferências, mas posso adiantar que os
deadlines
sao: 29 de Fevereiro para TACL, 31 de Março para Summer Topology.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem por
/SbfaBspha
>>>> Site: https://sites.google.com/view/sbfa-sbpha
>>>> Instagram: https://www.instagram.com/sbfa.sbpha/
>>>> Twitter: https://twitter.com/SbfaSbpha
>>>> Facebook: https://www.facebook.com/sbfa.sbpha/
>>>> Youtube: https://www.youtube.c
o mesmo endereço de email (
math.logic.u...@gmail.com ) o comprovante de pagamento da anuidade 2024 na SBL.
Notar que o pagamento da anuidade de 2024 deve ser realizado em 2024.
Atenciosamente,
A Comissão Organizadora
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da
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
merável de
qualquer lista finita de axiomas de ZFC que você precise para sua prova de
consistência relativa).
Abraços
[]s Samuel
--
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 &quo
, muito
bom ver jovens lógicas trabalhando.
Abraços
[]s Samuel
- Mensagem original -
De: Juan Carlos Agudelo Agudelo
Para: Samuel Gomes da Silva
Cc: Daniel Durante , Walter Carnielli
, Lista Lógica , Joao Marcos
Enviadas: Tue, 10 Oct 2023 10:52:50 -0300 (BRT)
Assunto: Re: [Logica-l
o que
empurra toda a discussão pra baixo do tapete.
- Mensagem original -
De: "Henrique Antunes"
Para: "samuel"
Cc: "LOGICA-L" , "Joao Marcos"
Enviadas: Segunda-feira, 9 de outubro de 2023 14:31:23
Assunto: Re: [Logica-l] Re: Mesa de Filosofia d
se colocar isso como axioma, nos casos em que
não ganhamos de graça um elemento "trivial".
Até mais, obrigado !
[]s Samuel
- Mensagem original -
De: "Walter Carnielli"
Para: "samuel"
Cc: "LOGICA-L" , "Joao Marcos"
Enviadas: Se
ta: o que podemos fazer de novo?” Por Luiza Ramos (USP)
>
> %%%
>
> Toda uma série de eventos de alta qualidade vêm por aí, como parte
> da segunda iteração do Encontro Brasileiro de Filósofas Analíticas:
> https://ebfanaliticas.wixsite.com/ebfa/general-5
>
> %%%
>
>
Caros,
Pra verem como a discussão que tivemos recentemente influenciou minhas
visões
de Matemática... Fiz nova live hoje !
https://www.youtube.com/watch?v=BZjOlLou948
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
na live também.
Abraços
[]s Samuel
- Mensagem original -----
De: Daniel Durante
Para: LOGICA-L
Cc: Daniel Durante , jmstern ,
LOGICA-L , marciopalmares ,
Petrucio Viana , Marcos Silva
, Grupo de pesquisa CLEA ,
valeria.depaiva , Cassiano Terra Rodrigues
, samuel
Enviadas: Tue, 0
álgebra"
tem a haver com a internalização da geometria dentro da álgebra, aí da mesma
forma a pessoa pode decidir entre "está", "pode ser", "deve ser"...
- Mensagem original -
De: Daniel Durante
Para: LOGICA-L
Cc: marciopalmares ,
[]s Samuel
- Mensagem original -
De: Jorge Petrucio Viana
Para: Samuel Gomes da Silva
Cc: Valeria de Paiva , Daniel Durante
, Marcos Silva ,
pin...@googlegroups.com , Grupo de pesquisa CLEA
Enviadas: Sat, 05 Aug 2023 14:54:05 -0300 (BRT)
Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre
sa CLEA
Enviadas: Sat, 05 Aug 2023 12:38:19 -0300 (BRT)
Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e
provas
oi Samuel,
Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta.
Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o
bá
m
>>> teorema? Ou pensa ás vezes, será que isto é verdade mesmo? Você usa
>>> intuições e afetos pra suas provas matemáticas? O que é a hipótese do
>>> contínuo? Ela pode ser provada? Por que não? E se a gente tiver um super
>>> computador? É só uma questão de
usp.br/~mfinger
> ORCID: https://orcid.org/-0002-1391-1175
> ResearcherID: A-4670-2009
>
> Instituto de Matemática e Estatística,
>
> Universidade de São Paulo
>
> Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP
> <https://www.google.com/maps/search/Rua+do+Mat%C3%A
sessão de lógica nessa edição do colóquio:
> ninguém submeteu uma proposta ou
> nossa proposta não foi selecionada?
>
> alguém sabe?
> --
> Renata de Freitas
> IME-UFF
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você e
a organização deste evento em Buenos Aires, o qual não
>> foi trivial em NENHUM sentido da palavra.
>>
>> []s, Joao Marcos
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
> --
> Gisele Dalva Secco
>
> ORCID <https://orcid.org/
de
We especially encourage submissions from members of underrepresented groups
in logic!
--
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
uardo Ochs
Para: Claudio Callejas
Cc: samuel , LOGICA-L , Marcelo Finger
Enviadas: Tue, 04 Jul 2023 03:59:49 -0300 (BRT)
Assunto: Re: [Logica-l] re-contando números
Sejam:
A = {0,1,2,3,...}
B = {1,2,3,...}
Esses dois conjuntos, A e B, são bem úteis e eu quero ter bons nomes
curtos pra el
ce.
Many thanks in advance and kind regards,
The HPS+-Team
--
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
t;> no n-1... Mas isso é apenas uma piada, obviamente. 8-)
>
> Eu conto essa piada, com outro viés. Eu falo que "contar como computeiro"
> é contar de 0 a n-1, enquanto que "contar como humano" é contar de 1 a n.
>
> []s
>
>
> On Mon, Jul 3, 2023 at 9:50
gative whole numbers
> and zero."
> >>>
> >>> Isso é uma grande confusão, claro, pois "whole numbers" é extremamente
> >>> ambíguo: dependendo de quem escreveu, o termo pode significar "números
> >>> inteiros" (isto é, "
Olá
Pelo que vi também há o registro disso, e chamam de anti-Mbpemba !!!
Até
[]s Samuel
- Mensagem original -
De: josé carlos cifuentes
Para: samuel
Cc: LOGICA-L
Enviadas: Wed, 28 Jun 2023 20:05:15 -0300 (BRT)
Assunto: Re: [Logica-l] Um "paradoxo verdadeiro" em F
ícil explicar porque isso acontece (e só acontece em
certas condições, ou seja, pode ser que pequenas variações nas condições
iniciais impedem
o fenômeno).
Pra nós lógicos... É mais um desses exemplos que alguém poderia chamar de
"paradoxos verdadeiros".
Abraços
[]s Samuel
--
LOGIC
>> []s Samuel
>>
>> Em segunda-feira, 5 de junho de 2023 às 17:04:28 UTC-4, gisele secco RS
>> escreveu:
>>
>>> Eu gostaria muito, Samuel!
>>> Obrigada,
>>> G.
>>>
>>> On Mon, Jun 5, 2023 at 1:53 PM 'samuel' v
creveu:
>
>> Eu gostaria muito, Samuel!
>> Obrigada,
>> G.
>>
>> On Mon, Jun 5, 2023 at 1:53 PM 'samuel' via LOGICA-L <
>> logi...@dimap.ufrn.br> wrote:
>>
>>> ... OK !
>>>
>>> Em segunda-feira, 5 de junho de 202
não dizer como se
> assiste :'-)
>
> Belo truque Samuel,
>
> abraços
> W.
> Em ter., 6 de jun. de 2023 07:10, escreveu:
>
>> logi...@dimap.ufrn.br
>> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logi
Oi gente,
Obrigado, até lá eu descubro o canal.
Até mais
[]s Samuel
Em segunda-feira, 5 de junho de 2023 às 17:04:28 UTC-4, gisele secco RS
escreveu:
> Eu gostaria muito, Samuel!
> Obrigada,
> G.
>
> On Mon, Jun 5, 2023 at 1:53 PM 'samuel' via LOGICA-L <
&g
de jun. de 2023 às 17:45, 'samuel' via LOGICA-L <
> logi...@dimap.ufrn.br> escreveu:
>
>> Caros,
>>
>> Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo
>> interessados eu
>> posso checar qual é
tica, e ao final discutiremos quais são os efeitos e influências (se
é que existem) desses estranhos tipos de definições na prática matemática.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grup
sponível na pagina www.propg.ufba.br
Ronaldo Lopes Oliveira
Pró-Reitor de Pesquisa e Pós-Graduação
Dayana Bastos Costa
Coordenadora de Ensino de Pós-Graduação
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem p
organizers as a pdf file at
ebru.tekin-...@rub.de
We especially encourage submissions from members of underrepresented
groups in logic!
--
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
1 - 100 de 310 matches
Mail list logo
