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
(abaixo, segue mensagem repassada para público geral, docentes do nosso
Departamento de Matemática)
*
Prezados,
Saudacoes,
A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA de
Lógica e Fundamentos da
Matemática e a Homenage
Oi,
Tem a haver com o assunto de ontem (geometria e lógica), mas como é de
inteligência artificial achei que caberia melhor uma nova conversa.
"Inteligência artificial resolve problemas de geometria no nível de
medalhistas
da olimpíada internacional"
https://deepmind.google/discover/blog/alpha
... 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 es
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:49:20 UTC+1, j
... Touché !!!
Isso me lembra mais o joguinho de tentar descobrir a història completa
através de respostas "sim", "nao" e "irrelevante".
O exemplo mais clássico é: "homem olha pro lado, acende um fósforo e morre".
... ao cabo de meia hora, uma hora, trabalhando em grupo dá pra recuperar a
hist
... 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 1
*
O encapsulamento do código evita que o cliente faça perguntas bobas,
como "será que {a}∈(a,b)?"
... Opa,
E conversando com uns amigos aqui apareceu a seguinte referência (mais
técnica) que chega
a criar o "corpo dos números origamicos" (!!!)
New York Journal of Mathematics
New York J. Math. 6 (2000) 119–133.
A Mathematical Theory of Origami Constructions
and Numbers
Roger C. Alperin
Dispo
Olás,
Essa questao da "coisa" x "implementacao da coisa", eu confesso que em
geral os teoristas de conjuntos ficamos meio viciados nisso (guilty as
charged),
Entao se você me perguntar o que *é* o par ordenado (a,b) a tendência é que
eu diga que
(a,b) = { {a}, {a,b} }
Mas esse tipo de pensam
... Sobre origamis,
Origamis (principalmente por permitir movimentos do tipo "deslizar", o que
aí já entra topologia além
da geometria) sao capazes de "performar" operacoes que a régua e o compasso
nao permitem
(nao sei se isso aparece na reportagem que nao consegui ler, se estou
chovendo no mo
... Já que chegamos nas "coisas que alunos dizem",
Outra coisa interessante é que aluno acha que "funcao tem que ter fórmula".
Aí é que a pessoa nao entende o Axioma da Escolha de jeito nenhum (porque se
o Axioma da Escolha se fez necessário para criar uma funcao-escolha é
porque nao
se tinha me
Caros,
Repassando a pedido dos organizadores.
***
Seguem algumas instruçoes (principalmente para os estudantes interessados)
sobre
a participacao na Semana Temática de Lógica da UFBA (Campus Ondina da UFBA,
Salvador,
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 resolv
Oi Joao,
Salve, estava devendo falar alguma coisa aqui.
Olha, a experiência aqui na UFBA (e eu me lembro que mesmo antes disso
cheguei a fazer coisas do tipo quando dava aula pra faculdades
particulares, coisa de 25 anos atrás, afffe como o tempo passa hehe),
É a seguinte:
Temos no primeiro s
Prezados,
Foi aberto em 02/01 um concurso da UFBA, e o nosso Departamento de
Matemática tem 02 vagas para Matemática, sendo 01 vaga em regime de 20
horas e 01 vaga em regime de Dedicaçao Exclusiva.
Como tem sido praxe nos últimos anos, a titulaçao exigida abre a
possibilidade de inscriçao par
Prezados
Recebi informes sobre os seguintes eventos, que ocorrerao em semanas
consecutivas no início de julho de 2024:
---> TACL - Topology, Algebra and Categories in Logic
Barcelona, 01-05 Julho 2024 (com Escola 25-28 Junho)
Site da conferência:
https://iiia.csic.es/tacl2024/
---> Summer Co
Caros,
Comentário rápido, sem elaborar muito,
Me parece ingênuo imaginar que a Matemática não vá enfrentar novos
"momentos de quebra de paradigmas" (como os bem conhecidos
e descritos no texto, que são os de sempre, descoberta dos irracionais,
geometrias não-euclidianas, crise dos fundamentos
Caros
Saudações,
Estão disponibilizadas no nosso canal do YouTube (Mathematical Logic UFBA)
dois seminários que apresentei sobre o "Teorema da Reflexão de Lévy", que é
um teorema importantíssimo de Teoria dos Conjuntos (parte do arcabouço
teórico da técnica de forcing) e que eu encontrei uma
Oi gente,
Aproveitando pra comentar da dúvida que eu apresentei na apresentação da
Lidia Batinga (que pro framework dela
deu pra ver que a resposta era "sim").
Aí, todo mundo pode dar aqui um pitaco que eu estou curioso com isso já faz
uns três anos.
Lá vai:
O primeiro axioma de Teoria dos Co
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á
Salve Daniel, prazer falar com você, como sempre também, e pelo visto se
você estivesse na live ela não terminaria pois seus
questionamentos são bastante interessantes e a coisa iria embora no
tempo...
Primeiro, registrar que "o meu amigo de Brasília" já me deu bronca dizendo
que não era exata
Oi gente, oi Renata,
Desculpem a demora em responder, estou meio devagar nesta semana. 8-(
Então, vejam só,
O que eu tenho participado bastante, de 2015 pra cá, são dos "joint
meetings" entre as sociedades matemáticas
de dois países (Brasil-Espanha 2015, Itália 2016, França 2019, Portugal
2022
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
Oi João,
Como "inteiros positivos" não vale como resposta... Não tenho resposta
válida pra sua pergunta não. Eu sempre uso "inteiros positivos"
quando quero me referir aos... inteiros positivos.
Só observo que a sua pergunta tangencia (ou mais do que tangencia...) a
famosa polêmica (?) do zero
Oi gente,
Quase "off topic" mas pra quem se interessa por exemplos interessantes em
Ciência,
Hoje, muito por acaso, eu ouvi falar pela primeira vez do "Efeito Mpemba":
https://en.wikipedia.org/wiki/Mpemba_effect
Esse efeito é nomeado em homenagem a um jovem estudante de colegial da
Tanzania
>> []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
is precisamente, a de que todos os arenques
>> são, na verdade, arenques vermelhos, ou que, pelo menos a princípio,
>> todos
>> os arenques possam ser potencialmente vermelhos, mesmo que não
>> necessariamente o sejam (o que leva a nós, os matemáticos, a, por certas
>
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 é
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:*"Quando as
Prezados,
Saudações.
A Universidade Federal da Bahia abriu chamada para a contratação de
Professores Visitantes em 2023. Vejam a mensagem encaminhada no final, com
mais informações e o link para o Edital.
O perfil procurado é de um pesquisador ativo que esteja pronto para atuar
em pesquisa,
(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,
>
> A questão é que
Olá,
A sua definição é essencialmente a definição da soma ordinal, acertando
aqui e ali um detalhe,
A questão é que pode se provar por induçao finita que a soma ordinal e a
soma cardinal coincidem.
Nos livros de conjuntos, em geral, a cardinalidade é o menor ordinal para o
qual o conjunto tem
... 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 de uns do
Caros,
Retomando uma mensagem do Walter,
Não sei se vocês tentaram, mas há coisa de uns dois meses eu por teste
perguntei "quais são as maiores contribuições à lógica de..." para vários
casos
(no ChatGPT), ou uma pergunta semelhante,
e na verdade os textos gerados para Walter Carnielli, Marce
Caros,
Só pra confirmar a informação da UFBA que apareceu,
Por vários anos aqui no Departamento de Matemática houve concursos por
subáreas específicas,
E no caso de Lógica conseguimos (não foi fácil...) que fosse possível a
inscrição de Doutores em Filosofia, desde que a tese de doutorado
fos
t; https://scottaaronson.blog/?p=304
> >>
> >> Atés
> >>
> >> []s Samuel
> >>
> >> Ps: Detratores do Latex pulem a primeira razão, hehe...
> >> ----- Mensagem original -
> >> De: Walter Carnielli
> >> P
Olás
Na verdade é uma série de quatro artigos, estão os quatro no perfil
ResearchGate do autor.
Além da Conjectura dos Primos Gêmeos e da Infinitude dos Primos de
Mersenne, um deles resolve também
a Conjectura de Goldbach !!!
Nessa discussão no MathOverFlow que o Aldo mandou o link, ontem já
... 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 um abraço aper
Caros
Só pra confirmar e reforçar (amanhã está indo uma mensagem a todos os
inscritos com esta e outras informações...)
Marcamos o início das atividades científicas para a tarde da segunda-feira
para dar
a chance de quem quisesse marcar a sua chegada em Salvador na segunda de
manhã pudesse ec
Caros,
Escrevo pra lembrar que disponibilizamos um link para que vocês carreguem
os arquivos de suas apresentações no EBL (tentando aproveitar melhor o
tempo, evitando o tempo morto de ficar usando pendrives antes das
apresentações).
Quem puder carregar os arquivos das apresentações até o dia
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, checamos no restauran
Caros,
Diante de alguns questionamentos, checamos no restaurante: haverá a opção
de moqueca vegetariana.
Pelas receitas que vi na Internet, uma moqueca vegatariana não tem nada de
origem animal no seu preparo (nada nem no molho),
logo serve a princípio como opção vegana.
Lembrando que as inscr
... O cardápio será
--> entradas: mini acarajé, mini abará, bolinho de peixe
--> pratos principais:
MOQUECA DE PEIXE
MOQUECA DE CAMARÃO
BOBÓ DE CAMARÃO
FILÉ Á PARMEGIANA
FILÉ DE FRANGO COM LEGUMES
--> sobremesas:
PUDIM DE LEITE OU AMBROSIA.
-Cada convidado terá direito a uma das opções
... Ab
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ógica
---
Você
Caros,
Nesta semana estarei sempre escrevendo com novidades sobre o vindouro EBL,
A mensagem de agora é:
---> Conseguiremos garantir, para os que já se inscreveram no Formulário do
Jantar
da Conferência (que vai ocorrer na noite da quarta-feira dia 14).
O formulário está em:
ebl2021.ufba.br
A
Prezados,
Saudações,
Algumas informações sobre o XX EBL em Salvador - que já está chegando !
Todo mundo empolgado ?
---> Segunda, 05 de setembro, é o último dia para preencher o formulário de
inscrição no EBL (quem não preencher vai ter que fazer a inscrição
"manualmente" na sua chegada,
o qu
... 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-feira, 16 d
Caros
Atualizando as informações (sobre as sessões de Lógica Matemática do
Brasil-Portugal),
---> a sessão presencial de quinta-feira 18/08 às 14hs vai ser transmitida
ao vivo (a famosa "live") no canal de YouTube do grupo de Lógica Matemática
da UFBA:
https://www.youtube.com/channel/UCSqOfro
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 conquista! Muit
... Legal,
Essa sua observação me lembra uns truques com quantificadores que livros
americanos de topologia dos anos 50 usavam...
Por exemplo, em algum desses livros você encontra coisas do tipo "dada
qualquer família de subconjuntos de um conjunto X, a família de todas as
suas intersecções fi
Olá,
Boa pergunta, eu deveria saber mais de etnomatemática para responder !
Fiz a pergunta porque é muito comum encontrar por aí (por exemplo no site
Quora que obviamente tem
muitos amadores,além de gente que recebe por postar variações das mesmas
perguntas sempre...) pessoas que argumentam con
... 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:
>
Olá Claudio,
Na página 103 aquele R pode até ser uma "relação-classe", e em boa parte
das aplicações pode ser até a relação de pertinência (entendida como
relação-classe). A primeira vez que aparece pred(A,x,R) no livro é na
página 14, especificamente para ordens lineares (no sentido estrito,
Olá,
Mas Davey/Priestley inclui o x ou não ? Porque até onde me lembre o down
set de x pega o x próprio e todos abaixo, o Cláudio
aí não quer pegar o x.
Abraço
[]s Samuel
Em sexta-feira, 3 de junho de 2022 às 10:43:28 UTC-4, Petrucio Viana
escreveu:
> Bom dia!
>
> Na "nova bíblia" sobre ret
Olá,
Sim, por isso eu comentei que era uma notação bastante usada em teoria de
conjuntos. Quando a gente vai pra topologia por exemplo a gente costuma
chamar esse tipo de coisas de semi-retas ! E aí gera a topologia da ordem
tomando a família das semi-retas, nos dois sentidos, como subbase.
Po
Olá,
Em teoria dos conjuntos costumamos usar pred(a,x,r), predecessores de x no
conjunto ordenado (a,r), para esse conjunto ao qual você
se refere.
Fazemos isso mais normalmente para ordens lineares, mas não vejo porque não
usar a mesma notação se a ordem não for linear.
Abraço
[]s Samuel
Caros,
Caso não tenha ficado claro, o valor com desconto da inscrição tem que ser
pago JUNTO com a anuidade 2022, então por exemplo para professores
teremos
250 early bird de inscrição + 150 anuidade da SBL = 400 total (o que dá
um desconto de 100 reais com relação ao que pagam os não-associa
CALL FOR REGISTRATION
1st Meeting Brazil-Colombia in Logic
(1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia)
Online Meeting
Universidad Nacional de Colombia at Bogotá – December 14-17, 2021
No registration fee
***
Caros,
Na condição de membro do Membership Committee da ASL, venho fazer minha
propaganda anual da associação.
Já é o momento para ou renovar ou fazer pela primeira vez a associação à
ASL para o ano de 2022, além dos volumes físicos de revistas escolhidas
(que você pode escolher duas entre JS
... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser o
Avigad.
https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para can
ema que
> costuma afligir os mais jovens com mais gravidade).
>
> Grato e tudo de bom,
> ---Julio Stern
>
>
> --
> *From:* 'samuel' via LOGICA-L
> *Sent:* Sunday, September 19, 2021 9:19 PM
> *To:* LOGICA-L
> *C
... E o site já está no ar:
http://ebl2021.ufba.br/
Em domingo, 19 de setembro de 2021 às 16:50:30 UTC-4, samuel escreveu:
> Caros,
>
> A esta altura a grande maioria de vocês já foi informada disso pelo
> Boletim da SBL, que foi
> enviada a todos os associados,
>
> Mas, pra quem não esteja as
Caros,
A esta altura a grande maioria de vocês já foi informada disso pelo Boletim
da SBL, que foi
enviada a todos os associados,
Mas, pra quem não esteja associado no momento, a confirmação: o próximo EBL
vai acontecer presencialmente em Salvador, Bahia, entre 12 e 16 de Setembro
de 2022.
A
66 matches
Mail list logo