Bom dia,
Só um pequeno comentário referente a uma notação mencionada por Samuel: em
computabilidade também é utilizado \omega para denotar o conjunto dos
números naturais incluindo o zero.
Abraços,
Claudio.
El lun, 3 jul 2023 a las 15:20, 'samuel' via LOGICA-L (<
logica-l@dimap.ufrn.br>) escribi
“Undeterred after three decades of looking, and with some assistance from a supercomputer, mathematicians have finally discovered a new example of a special integer called a Dedekind number.”https://www.sciencealert.com/mathematicians-discover-the-ninth-dedekind-number-after-32-years-of-searching
Na UFRJ estamos organizando um workshop que explora a natureza das
anomalias científicas --principalmente levando em conta os avanços
ocorridos nas últimas décadas tanto na lógica não clássica aplicada ao
estudo das ciências, quanto na história e sociologia da ciência e ciências
cognitivas.
O even
... 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: Acrescento uma piada. Eu costum
Olá, 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 cardinalidade n, começamos no zero e terminamos
>> no n-1... Mas i
É hoje! :-)
Convidamos todas e todos para o nosso bate papo segunda-feira, 03 de julho.
> Conversaremos com Samuel Gomes da Silva (UFBA) sobre infinito, números e
> provas, como se um matemático e um filósofo tivessem entrado em um bar.
> O que te levou pra matemática? E pra a lógica? Por que o
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
ChatGPT and Friends through the AR Lens
https://aarinc.org/Newsletters/141-2023-06.html#chatgpt
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
A.I. Is Coming for Mathematics, Too
https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html
For thousands of years, mathematicians have adapted to the latest
advances in logic and reasoning. Are they ready for artificial
intelligence?
JM
--
LOGICA-L
Lista acadêmica brasi
