do estrito, em
particular sim irreflexiva).
Até
[]s Samuel
Em sexta-feira, 3 de junho de 2022 às 22:36:48 UTC-4, Claudio Andrés
Callejas Olguín escreveu:
> Bom dia,
>
> O livro do Kunen, "Set Theory - An Introduction to independence proofs"
> usa essa notação de pr
... Zero ? Nevermore, nevermore.
(seria mais engraçado com raven no lugar de crow, obviamente...)
Agora falando sério, o que será mais fácil de ter o conceito - o zero ou o
conjunto vazio ?
Abraços
[]s Samuel
Em segunda-feira, 6 de junho de 2022 às 10:52:48 UTC-4, Joao Marcos
escreveu
o, se não representa quantidades não é um número,
ou não deveria ser um número, ou pelo menos número natural não é...
Caixas vazias ainda são caixas, e o número de coisas na caixa vazia é zero.
Mas isso é pelo visto bem polêmico para outrem, alhures...
Abraço
[]s Samuel
Em segunda-feira, 6 de
s de Y dá Y,
a intersecção da família vazia dos subconjuntos de Z dá Z... Para cada
conjunto uma família vazia de seus subconjuntos, e para cada uma delas uma
intersecção que funciona e que realmente ajuda na formação da tal base de
topologia que o carinha dos anos 50 queria, bem simples
e b
Caros,
Já dei os parabéns pelo twitter, mas bom registrar por aqui também.
Sen-sa-cio-nal
Parabéns a Evelyn, Daniel e Ole !
Abraços
[]s Samuel
Em terça-feira, 16 de agosto de 2022 às 08:06:00 UTC-3, Anderson Nakano
escreveu:
> Cara Evelyn, caro Daniel,
>
> Parabéns por essa
teressados a nos acompanhar !
Abraços
[]s Samuel
Em domingo, 14 de agosto de 2022 às 00:02:29 UTC-3, it...@unicamp.br
escreveu:
> Caras e caros:
>
> Também não poderei participar do encontro, pois estarei coordenando o
> Fórum mencionado pelo Walter.
> Bom encontro!
>
> Ita
... Ah sim,
E temos "um plus a mais",
No canal do YouTube do nosso grupo de Lógica (link na mensagem anterior)
Também faremos a live das duas sessões de Teoria das Categorias,
Que ocorrerão nas mesmas quinta e sexta só que na parte da manhã, às 10h30.
Abraços
[]s Samuel
Em terça
https://drive.google.com/file/d/1oaXr3s82-sx7J0zs9wwz4nIMM1Mfu8cc/view
mas já adiantamos que nós entregaremos uma cópia impressa da programação
para todos os participantes inscritos.
--> O caderno de resumos será disponibilizado nas próximas horas.
Na semana que vem voltarei com mais comentários
crever no jantar até quarta-feira
agora, dia 07,
Por 130 reais você terá direito ao jantar, bebidas incluindo alcóolicas
(água suco cerveja e caipirinha, não inclui vinho) e também ao serviço de
10%
Tudo incluído nesse preço aí.
É uma excelente notícia ! Aproveitem
Abraços e até breve
[]s
Prezados
Em
ebl2021.ufba.br
AbaProgram --> Book of Abstracts
Já está disponibilizada uma versão preliminar (faltando só ISBN a princípio)
do Livro de resumos do EBL.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lóg
as opções
... Abraços
[]s Samuel
Em segunda-feira, 5 de setembro de 2022 às 11:45:59 UTC-4, samuel escreveu:
> Caros,
>
> Nesta semana estarei sempre escrevendo com novidades sobre o vindouro EBL,
>
> A mensagem de agora é:
>
> ---> Conseguiremos garantir, para os que já s
e refere à confirmação exata de número de pessoas, para
posterior pagamento.
(Aí quem se decidir depois a ir para o restaurante talvez só possa
disfrutar do serviço a la carte)
Obrigado
[]s Samuel
PS: Apareceu na conta da Aline um depósito/transferência de 130 reais em
nome de EDUARDO N. H. A
Olás
Eu de novo.
Quem for preferir a opção vegetariana, é bom avisar a gente com
antecedência,
Me mandem esse aviso off-list.
Obrigado
[]s Samuel
Em quarta-feira, 7 de setembro de 2022 às 11:20:44 UTC-4, samuel escreveu:
> Caros,
>
> Diante de alguns questionamentos, ch
em:
https://forms.gle/VsPnWXoQkPBqqU1g8
Você também pode acessar esse link a partir da página do EBL (logo abaixo
do link
para o livro de resumos).
Abraços e até breve
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está rece
atística da UFBA.
[]s Samuel
PS: Lembrando que quem fez a declaração de interesse no jantar da
conferência, mas ainda não fez a transferência PIX, vai ser solicitado a
fazer essa transferência no momento da inscrição.
O formulário do jantar já está encerrado e o valor de 130,00 somente poderá
s
... Parabéns de novo a Evelyn, e ao Daniel e ao Ole ! Agora pelo prêmio
ANPOF !!!
Que legal ter boas notícias no final de semana.
Abraços
[]s Samuel
Em sábado, 15 de outubro de 2022 às 18:21:36 UTC-4, gisele secco RS
escreveu:
> Júbilo! Esperança!
>
> Vivas a todas e todos, e
discutidos nas próximas
semanas.
Abraço
[]s Samuel
Em sexta-feira, 28 de outubro de 2022 às 22:41:01 UTC-4, aldofigallo
escreveu:
> Os dois trabalhos Czelakowski estão sendo questionados na comunidade
> lógica.
>
> There are Infinitely Many Mersenne Prime Numbers. Applications o
num fio
do Twitter.
https://twitter.com/cdutilhnovaes/status/1587856536776368128
(o fio é bem longo, o link acima aparece depois de um UPDATE...)
Abraços
[]s Samuel
Em quinta-feira, 3 de novembro de 2022 às 07:16:57 UTC-4, samuel escreveu:
> Como dizem os jovens, "algo de errado
escrita e didática são gerais de Matemática.
Por outro lado, acho que até por uma questão da tradição ter sido criada,
o título de Doutor em Filosofia (com tese em Lógica
Matemática) continua sendo aceito na inscrição desses concursos gerais.
Até
[]s Samuel
Em quinta-feira, 15 de dezembro de
Carnielli, Marcelo Coniglio e
João Marcos eram exatamente idênticos !
Como se fossem exatamente a mesma pessoa.
Enfim...
Atés
[]s Samuel
Em quarta-feira, 12 de abril de 2023 às 10:40:12 UTC-3, aldofigallo
escreveu:
> Imaginemos que um médico tem um paciente con câncer ele decide trat
... Haha, boa, pois é, empiricamente a gente sabe que os três com certeza
são dois-a-dois distintos, pra provar
formalmente, que dificuldade hehehe...
[]s Samuel
Em quarta-feira, 12 de abril de 2023 às 13:49:01 UTC-3, Joao Marcos
escreveu:
> > Não sei se vocês tentaram, mas há coisa
conjuntos. Talvez em Matemática Discreta
alguém defina assim.
Abraços
[]s Samuel
Em domingo, 30 de abril de 2023 às 11:49:16 UTC-3, Petrucio Viana escreveu:
> Bom dia!
>
> Alguém conhece alguma referência que apresente a cardinalidade de
> conjuntos finitos baseada na defi
(a soma ordinal e a soma cardinal coincidem PARA ORDINAIS FINITOS, na
mensagem anterior, claro)
Em quarta-feira, 3 de maio de 2023 às 13:34:15 UTC-3, samuel escreveu:
> Olá,
>
> A sua definição é essencialmente a definição da soma ordinal, acertando
> aqui e ali um detalhe,
>
&g
.
Pessoas interessadas (e que queiram maiores detalhes dos trâmites
específicos de cada programa) podem contatar as pessoas abaixo que
estaremos muito felizes em ajudar.
Matemática --> Samuel (sam...@ufba.br)
Filosofia --> Henrique (henrique.antu...@ufba.br)
Computação --> Ma
Caros,
Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo
interessados eu
posso checar qual é o canal do YouTube correspondente.
Abraços
[]s Samuel
*
Palestra:*"Quan
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 é
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
os eventos anteriores do mesmo tipo, porém, me parece um "chute
educado" que vai passar ao vivo no Canal do Departamento de Matemática da
UFBA, no YouTube:
https://www.youtube.com/channel/UCx5uesxW-Jt3qdyHTEdcmwg
Então... Grandes chances de ser nesse canal. Até lá eu confirmo.
Abraço
[]s
/CtRKPs2ggu3/
Abraços
[]s Samuel
Em segunda-feira, 5 de junho de 2023 às 18:12:06 UTC-3, samuel escreveu:
> 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
> es
https://www.youtube.com/watch?v=WvRUhdU-ccY&t=4385s
Pra quem quiser ver, acima o link, adianto que houve problemas de
sincronização dos slides da tela da sala com a tela do YouTube.
Abraços
[]s Samuel
Em sexta-feira, 9 de junho de 2023 às 12:00:46 UTC-3, samuel escreveu:
>
í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
e já a defendem com vêemencia. Eu só
acho interessante.
Abraços
[]s Samuel
PS: Acrescento uma piada. Eu costumo dizer aos meus alunos que "nós
teoristas dos conjuntos começamos a contar pelo zero",
usando que n = {0,1,2,...,n-1}, ou seja, usando o n para contar os
conjuntos de cardin
... como teorista de conjuntos, fico contente de não estar sozinho nesta
então !!! Mesmo que seja entre os "não-humanos"...
Abraço, hehe,
[]s Samuel
Em segunda-feira, 3 de julho de 2023 às 13:56:53 UTC-4, Marcelo Finger
escreveu:
> Olá, Samuel.
>
>>> PS:
s nos animar a fazer alguma proposta nesse sentido
para um futuro colóquio, aí peço ajuda à
colega para nos cobrar quando estiver aberto o prazo para a próxima vez !
8-)
Abraços
[]s Samuel
Em segunda-feira, 24 de julho de 2023 às 13:17:27 UTC-4, rpdefreitas
escreveu:
> por que não temos
r facilidade, medo ou preguiça, meio
que eles concordam comigo que "a matemática é ZFC", mas que sim é possível
debater o que deveria ser
verdade "numa Teoria dos Conjuntos legal"... Não está sendo decidido como
deveria ser a Matemática, mas
sim como deveria ser "a Teor
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á
xiste x tal que x = x" é desnecessário (e Kunen
teria ficado contraditório lá no meio do
livro dele ao dizer que já supunha o universo não vazio depois de colocar
esse "axioma zero" na primeira linha
do livro então...)
Gostaria de ouvir os colegas,
Abraços, e agradeço a Lidia por
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
sa senhora, só
isso já é assunto para o pessoal
de Fundamentos que está no plantão né.
Abraços
[]s Samuel
Em domingo, 5 de novembro de 2023 às 11:25:14 UTC-4, Joao Marcos escreveu:
> Lawrence Paulson, the father of Isabelle (the theorem-prover).
>
> JM
>
> On Sun, Nov 5, 2023, 1
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
/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
stributividade do "e"
com relacao ao "ou"...
... Entao é isso, gostaria de dar meu depoimento que sim, o uso de tabelas
de verdade acaba ajudando a ensinar técnicas de demonstracao pros alunos,
de modo relaxado e mnemônico possivelmente, mais é isso.
Atés
[]s Samuel
PS: Bo
Caros,
Achei a programacao tao bacana que nao resisti a um recorte e cole aqui,
Parabéns aos idealizadores,
Até
[]s Samuel
15/03/2024 (6ª)
- 14:00 - 17:00 (Seminário)
Habilidades de estudos e organização
- 18:00 - 20:00 (Mesa redonda)
Problemas: quais a lógica dá conta de
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
nao
tem fórmula, imaginem.
Abracos
[]s Samuel
Em segunda-feira, 29 de janeiro de 2024 às 16:18:36 UTC+1, eduardoochs
escreveu:
> Muitos alunos daqui de Rio das Ostras têm muita dificuldade de
> entender que isto aqui é _uma_ função:
>
> $f(x) =
> \begin{cases}
> x^3 & \
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/
>
>
>
somando omega em cima dá e sobra.
(No caso aí do par ordenado, olhando de cima e fazendo a conta de cabeça o
rank vai para o máximo entre o rank(a) e rank(b) mais dois)
Atés
[]s Samuel
PS: Sobre "a descricao extensional de uma funcao sem formula" preciso
pensar mais antes de r
C. Alperin
Disponível na página do autor em https://nyjm.albany.edu/j/2000/6-8.pdf
Atés
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 12:20:03 UTC+1, Joao Marcos
escreveu:
> > ... Sobre origamis,
> >
> > Origamis (principalmente por permitir movimentos do tipo &quo
∈(a,b)?"
*
... Ao que eu responderia sorrindo, SIM !!! 8-) 8-) 8-)
Abracos
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 12:34:33 UTC+1, Joao Marcos
escreveu:
> > Essa questao da "coisa" x "implementacao da coisa", eu confesso que em
> geral
... Hum, perguntei aqui pra eles (os fas de origami, conheço alguns de
fato) e a coisa do espirografo pra eles é só lembranca da infância (o que é
meio a cara deles também). Se aparecer algo de referencia técnica eu volto
aqui e aviso...
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às
im, a pergunta boba e a resposta boba, nessa minha definicao, seria a
pergunta... irrelevante (porque só depende da implementacao escolhida,
entendo seu ponto).
Até
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 12:47:42 UTC+1, Joao Marcos
escreveu:
> > **
Olás,
Nao respondendo mas pondo um pouquinho de tempero na coisa,
Lembro que Tarski fez uma axiomatizacao da geometria elementar que é
"decidable"...
Uma possível ponte entre essas nocoes e Turing computability ?
Abracos
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 15:4
... Nao resisti a fazer uma busca aqui, e para o Joel David Hamkins pelo
menos essa ponte da minha mensagem anterior existe, ver a resposta dele em
https://mathoverflow.net/questions/30631/computability-and-geometry
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 16:52:00 UTC+1, samuel
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
nosso pensamento.
Saudacoes a todos os colegas,
[]s Samuel
As imagens podem ser visualizadas no seguinte link aberto:
https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8
PS: "A lenda" aí da mensagem eu retirei
Parabéns aos colegas Valeria de Paiva e Hugo Mariano pela iniciativa !
https://jornal.usp.br/universidade/usp-recebe-doacao-de-biblioteca-especializada-em-teoria-das-categorias/?fbclid=IwZXh0bgNhZW0CMTEAAR3QVDsJH-HZYFFWiuYY1YA6E8ACx5s829JDgXUmJqGrDGyjIEsdRoVrmp8_aem_J37lbAD_wOczWU8plXqQWQ
--
LOG
Abraços
[]s Samuel
**
Dear Colleagues,
We hope this email finds you well. We are writing to extend the warmest
invitation to the
*MITAC 2024*
* "Meeting on Interactions between Topology, Algebra, and Categories"
Repassando...
Prezados,
Encontra-se aberto o Processo Seletivo de candidatos ao Programa de
Pós-graduação em Matemática da Universidade Federal da Bahia, no curso de
*Doutorado em
Matemática da UFBA/UFAL*, para *ingresso em 2025.1 na UFBA*.
*Vagas
Prezados,
Feliz ano novo,
Acabei de receber o anúncio da publicação do artigo abaixo, só li o
abstract.
Imagino que seja do interesse de vários membros da lista.
Até breve
[]s Samuel
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/paraconsistent-and-paracomplete
Flores 24 horas: 11 9 1678 7242
Abraços
[]s Samuel
Em quarta-feira, 11 de dezembro de 2024 às 11:36:28 UTC-3, Mario escreveu:
> Caros,
>
> Muito triste! Gostava muito do Klaus. Vai fazer muita falta.
>
> Meus sentimentos à família neste momento tão difícil.
>
> Abraços,
>
&g
[Please distribute, apologies for duplicates ]
XXI Brazilian Logic Conference (EBL 2025) - Call for Contributions
*** EXTENDED DEADLINE, JANUARY 31, 2025***
The Brazilian Logic Conference (EBL) is the main event organized by the
Brazilian
https://sbl.org.br/pmwiki.php/Main/Notes
Em quarta-feira, 11 de dezembro de 2024 às 13:21:13 UTC-3, samuel escreveu:
> Prezados
>
> Obtive informações sobre o velório.
>
> Data: 12/12/2024 (amanhã)
> Horário: 13h às 16h
> Local: Velório Praxis
>
> Endereço: Av. Franci
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
[Please distribute, apologies for duplicates]
XXI Brazilian Logic Conference (EBL 2025) - Call for Contributions
*** DEADLINE APPROACHING, JANUARY 31, 2025
The Brazilian Logic Conference (EBL) is the main event organized by the
Brazilian L
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
tá contada aqui:
https://open-access.network/en/services/news/article/resignation-of-the-mlq-editorial-team
Abraços
[]s Samuel
Em segunda-feira, 7 de abril de 2025 às 12:51:27 UTC-3, Joao Marcos
escreveu:
> Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
> https://zml.i
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
--
(e sim, conseguimos incluir sobremesa no valor de 190 reais, na primeira
mensagem ainda não estava incluído mas agora está)
Em quinta-feira, 24 de abril de 2025 às 18:29:18 UTC-3, samuel escreveu:
> Caros,
>
> Só pra fechar a mensagem anterior: demorou mais do que algumas horas 8-)
para estudantes como para pesquisadores) preencher
assim que possível o Google Docs disponibilizado, e enviar o comprovante de
pagamento (pix para o Cassiano), para fins de organização.
Abraços
[]s Samuel
Em quarta-feira, 9 de abril de 2025 às 14:28:11 UTC-3, samuel escreveu:
> Ca
... Com um pouco de clica aqui e clica ali achei a open letter pra Wiley
https://retractionwatch.com/wp-content/uploads/2025/04/mlq_wiley_openletter.pdf
Em quarta-feira, 9 de abril de 2025 às 14:24:09 UTC-3, Joao Marcos escreveu:
> O interessante é ler a "open letter" que os editores fizeram par
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
sa de algo específico (recibo, declaração ou coisa do tipo), o
email de contato do evento é ebl202...@gmail.com
Abraços
[]s Samuel
Em sexta-feira, 28 de fevereiro de 2025 às 15:20:39 UTC-3, samuel escreveu:
> Caros,
>
> Agora que saíram as respostas das submissões, é bom lembrar/obse
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
çã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
--
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
que dei essa disciplina tive que tomar esse cuidado específico (o que é
muito chato).
Não tem muitas soluções fáceis para isso.
Abraços
[]s Samuel
Em quarta-feira, 9 de julho de 2025 às 09:40:32 UTC-3, Adolfo Neto escreveu:
> Acho que estão todos acima concordando, então não vou
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,
ação.
Por enquanto os pitacos seriam esses.
Abraços
[]s Samuel
Em quarta-feira, 23 de julho de 2025 às 21:40:00 UTC-3, eduardoochs
escreveu:
> Oi João,
>
> Acho que se eu dividir a sua idéia em várias em consigo puxar a
> sardinha pra brasa que me interessa.
>
> Eu IMAGINO que
//www.sbm.org.br/jointmeeting-italy/special-sessions/
Programação das sessões:
http://www.sbm.org.br/jointmeeting-italy/program/
... Estão todos convidados para prestigiar o Brasil/Itália, em especial os
colegas
sediados no Rio de Janeiro.
Grato,
[]s Samuel
PS: Enviei ontem essencialmente
eorema de Incompletude ser consequência imediata (da demonstração) do
Primeiro não é muito comentada por aí...
Aí, é só usar o Teorema de Completude para conseguir os tais modelos onde
não há modelos.
É muito divertido isso tudo, com certeza...
Atés,
[]s Samuel
On Wednesday, June 15, 2016 at 2:1
que tem um conhecimento um pouco mais
aprofundado de Lógica me chamou a atenção:
- Isso é besteira. Todos os teoremas que demonstramos são equivalentes entre si.
... Só quem entende o que diz o teorema da completude teria clareza disso.
Até,
[]s. Samuel
--
Você está recebendo esta mensagem porque se
ivalente a "ZFC é
consistente", por Soundness + Completeness) não é verificada.
... Notar que, também por completude, deverão existir modelos de ZFC onde
Con(ZFC) é válido e também deverão
existir modelos de ZFC onde Con(ZFC) não é válido ("se todos os modelos
concordassem, existiria u
mética não seja tão imprescindível assim (para a
incompletude), mas algo a mais (no caso aí, a tal da cópula) seja
necessário. Deixo esta discussão
para os mais entendidos !
Atés,
[]s Samuel
On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3, Joao Marcos wrote:
>
> Partilho uma perg
).
Seu argumento com variáveis proposicionais aparentemente procede, mas não
seria o caso
de se pensar em demonstrações/refutações do fecho universal de fórmulas que
tenham pelo menos algum símbolo relacional ou funcional ?
Atés,
[]s Samuel
On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3
... Tenho vontade de perguntar aos matemáticos(?) que escrevem os "A Beta
Books" se a Hipótese do Contínuo é
verdadeira ou falsa, só pra ver o que respondem - ou esperar pela
excomungação, um ritual de exorcismo ou o que seja.
Atés,
[]s Samuel
On Friday, June 17, 2016 at 2:35:2
divulgamos por aqui.
Atés,
[]s Samuel
On Monday, August 15, 2016 at 12:10:53 AM UTC-3, Thiago Nascimento da Silva
wrote:
>
> Olá, chega em agosto começam a sair informações sobre Cursos de Verão em
> Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém
> possui
Oi Doria,
Não tenho nenhum exemplo a mão mas te pergunto, não é exatamente esse tipo de
coisa que o Harvey Friedman faz ?
Abraço,
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo
... Lembrando que é uma opção para dar uma esticada depois da Trends na Unicamp
!
--
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...@di
... Um viva à Carolina e à lista, que sobreviverá !
Valeu Carol,
[]s Samuel
On Monday, September 12, 2016 at 7:41:24 PM UTC-3, LOGICA-L wrote:
>
> PessoALL:
>
> Parece que não será desta vez que a nossa lista será suspendida. Mesmo
> após preparar o terreno publicamente dur
concurso é
possível).
Abraços,
[]s Samuel
On Saturday, April 30, 2016 at 11:16:48 AM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Escrevo para fazer propaganda de um concurso aberto aqui no
> Departamento de Matemática da UFBA. Como preparei um texto em inglês
> vou
egarding any
> questions (apart from the list).
>
> Inscriptions: from April 29 to May 30, 2016. There is a possibility of
> extension of this deadline, but we cannot be sure of this so far. The
> selection process will take place at some moment of the second semester.
... Melhor do que isso, só se fosse brazuca e traduzisse algo como "real
contradition" como "contradição sobre os números reais"...
--
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 d
mos ver o que acontecer quando
consolidar (supostamente no ano que vem).
O novo jornal South American Journal of Logic ter ido para C em Matemática
também é desanimador...
Mas é impressão minha ou só em Matemática que houve uma piora, e nas outras
está mais estável a coisa ?
Até,
[]s Samu
upado mais
com isso...)
Atés,
[]s Samuel
On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Recebi numa lista de pesquisadores de Matemática a informação de que o
> Qualis 2015 foi divulgado (o que deve ter sido recente).
>
>
... Boa análise Hermógenes,
Esse jogo entre o Qualis-teoria-Jekyll e o Qualis-prática-Hyde ficou
interessante.
Até,
[]s Samuel
On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Recebi numa lista de pesquisadores de Matemática a informa
pero que a organização possa colocar um ônibus para
levar gente ou de Brasília ou de Goiâniapra lá na segunda dia 08 pela
manhã, fica a sugestão !!!Atés,[]s Samuel*
On Thursday, March 9, 2017 at 3:13:32 PM UTC-3, sam...@ufba.br wrote:
>
> Caros,
>
> Apenas para divulgar,
>
.br/ebl2017/ebl.html#sec-registration
>
> já estão disponibilizadas todas as informações sobre os procedimentos
> sobre
> o "registration" do próximo EBL, em Pirenópolis (valores, etc.).
>
> Atés,
>
> []s Samuel
>
> -
tml?mrauthid=151430>
Consequences
of the axiom of choice. Mathematical Surveys and Monographs, 59.
<http://www-ams-org.ez10.periodicos.capes.gov.br/mathscinet/search/series.html?id=1567>
*American
Mathematical Society, Providence, RI,* 1998. viii+432 pp. ISBN:
0-8218-0977-6
... Até
São Paulo é
o meu "Uma Miscelânea de Aplicações de Ultrafiltros em Matemática" que já
comentei aqui na lista. Na semana seguinte vai ser apresentado na VIII
Bienal da Sociedade Brasileira de Matemática, no Rio de Janeiro.
Atés,
[]s Samuel
On Thursday, April 13, 2017 at 10:32:4
... E quem ainda não me conhece eu estou mais ou menos assim:
http://www.dmat.ufba.br/docentes/samuel-gomes-da-silva
On Saturday, May 6, 2017 at 12:16:54 PM UTC-3, Samuel Gomes da Silva wrote:
>
> Caros,
>
> Dei uma sugestão informal ao Wagner e ele aceitou,
>
> Então
201 - 300 de 391 matches
Mail list logo
