Re: [Logica-l] re-contando números

2023-07-03 Por tôpico 'samuel' via LOGICA-L
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

[Logica-l] o ChatGPT sob as lentes da comunidade de Raciocínio Automatizado

2023-07-03 Por tôpico Joao Marcos
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.

[Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas

2023-07-03 Por tôpico Marcos Silva
É 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

[Logica-l] A.I. Is Coming for Mathematics, Too

2023-07-03 Por tôpico Joao Marcos
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

Re: [Logica-l] re-contando números

2023-07-03 Por tôpico 'samuel' via LOGICA-L
... 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

Re: [Logica-l] re-contando números

2023-07-03 Por tôpico Marcelo Finger
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

Re: [Logica-l] re-contando números

2023-07-03 Por tôpico Claudio Callejas
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>)