Re: [Logica-l] Demonstrações matemáticas

Caro Paulo, a questao e, simplesmente, fundamental (relativa aos fundamentos). Aqui estamos falando de fundamentos praticos ---e nao formais--- da matematica. Certamente, este texto de TN que voce estava estudando assume como postulados (alem de uma teoria ingenua  dos conjuntos e o raciocinio

Re: [Logica-l] construtivismos o u não -construtivis mos

Eu sei provar que a raiz nésima de 2 é irracional, para todo n2, n natural. É assim (escrevendo raizn(2) para a raiz nésima de 2 e a^b para a elevado a b): Suponha que raizn(2) = p/q, onde p,q são inteiros não nulos. Daí, 2 = p^n / q^n. Ou seja, 2 q^n = p ^n. Ou, ainda, q^n + q^n = p^n. Mas esta

[Logica-l] WR x Godel

WR, Godel and the Diagonal. http://imgs.xkcd.com/comics/fetishes.png ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fw: Divulgação Concurso Matemá tica UFF /Rio das Ostras

Talvez interesse a alguem, na lista... abracos - Forwarded Message --- From: Ana Isabel Spinola belspin...@gmail.com To: Ana Isabel Spinola belspin...@gmail.com Sent: Mon, 18 May 2009 10:26:17 -0300 Subject: Divulgação Concurso Matemática UFF/Rio das Ostras Caros colegas

Re: [Logica-l] Paul Watzlawick, o teorema de Göde l e o Tractatus de Wittgenstein

Olá para todos. Para que possa ser aplicado a um sistema formal SF, o Teorema de Gödel, supõe cinco propriedades que, em termos não técnicos, podem ser assim formuladas: 1. SF tem um conjunto de axiomas tal que se pode reconhecer mecanicamente quando uma dada expressão escrita na linguagem de

[Logica-l] artigo Peirce 1870

Caros amigos logicos, algum de voces tem acesso ao artigo abaixo e, se sim, poderia me enviar uma copia dele? C. S. Peirce. Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic. Memoirs of the American Academy of

[Logica-l] obrigado por Peirce 1870

Obrigado a todos os que me enviaram o Peirce 1870. Infelizmente (ou, na verdade, felizmente), varias msgs com as copias atadas chegaram mais rapido do que eu pude avisar na lista que a primeira copia ja havia sido recebida. P. ___ Logica-l mailing

Re: [Logica-l] sugiro banir desta lista pessoas que fi cam deliberadamente ofendendo e ameaçando algum d o s demais participantes, tais como o Eduardo Och s

Ola para todos, gostaria de obter referencias ou comentarios sobre o seguinte problema: É dado um conjunto R e um conjunto S que gera R. Existe um subconjunto finito F de S que tambem gera R? Em outras palavras, (*, **, *** e remetem a explicacoes intuivas das nocoes empregadas):

Re: [Logica-l] sugiro banir desta lista pessoas que fi cam deliberadamente ofendendo e ameaçando algum d o s demais participantes, tais como o Eduardo Och s

: Marcelo Finger mfin...@ime.usp.br To: Jorge Petrucio Viana petru...@cos.ufrj.br Cc: logica-l@dimap.ufrn.br Sent: Wed, 12 May 2010 12:21:47 -0300 Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam deliberadamente ofendendo e ameaçando algum do s demais participantes, tais como o

[Logica-l] Problema da geracao finita

? abracos, P. -- Original Message --- From: Francicleber M. Ferreira francicleber.ferre...@gmail.com To: Jorge Petrucio Viana petru...@cos.ufrj.br Cc: logica-l@dimap.ufrn.br Sent: Thu, 13 May 2010 10:04:56 -0300 Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam

Re: [Logica-l] Editorial da ACM por M. Vardi

Na minha opiniao (eu sei que ninguem perguntou:-) hypercriticality nao e bem o nosso problema. O que temos por aqui e permissividade ou (exclusivo) revanchismo, que sao coisas um pouco diferentes do que Moshe esta dfizendo no editorial. Petrucio -- Original Message --- From:

Re: [Logica-l] Digest Logica-l, volume 54, assunto 30

Caros filolistas, uma tabela como esta, embora bem vinda, pois poupa o tempo de quem esta procurando a classificacao de um periodico eh, de uma certa forma, desnecessaria (o Qualis ja tem uma tabela com mecanismo de busca) e, o que talvez seja ainda pior, trai os proprios ideais do Qualis

[Logica-l] Tese sobre produti vidade x ética

Talvez seja do interesse de alguns membros da lista... Tese da USP aponta para possibilidade de comportamento antiético na publicação de artigos científicos brasileiros http://www.jornaldaciencia.org.br/Detalhe.jsp?id=78553 ___ Logica-l mailing

Re: [Logica-l] Hotel Hilbert

Caros filologicos no sitio www.uff.br/grupodelogica/hotel_hilbert_slides.pdf voces podem encontrar a aula que eu Renata de Freitas preparamos sobre esse tema a alguns semestres atras. La voces verao algumas dicas que mostram a engenharia do Hotel Hilbert nao e tao simples quanto esse video

Re: [Logica-l] trabalho do Nelson

Ola para todos, parabens pela discussao sobre o Resultado do Nelson. A lista as vezes se perde, mas nesses momentos ela mostra bem a que veio! Ha um ponto nesta discussao toda que eu nao entendi (deve ser simples de entender mas eu nao consigo ver e tambem nao estou entrando a fundo no argumento

Re: [Logica-l] trabalho do Nelson

Ops, obrigado Marcelo por me mostrar a luz:-) abracos a todos e desculpem-me pela questao sem sentido P -- Original Message --- From: Marcelo Finger mfin...@ime.usp.br To: Jorge Petrucio Viana petru...@cos.ufrj.br Cc: Lista acadêmica br logica-l@dimap.ufrn.br, Rodrigo Freire

[Logica-l] Extended deadline - EBL 2011 - Call for contributions

*** Extended deadline for submission of papers: *** *** February 29, 2012 *** Call for papers for the EBL 2011 post-conference special issues of The Journal of Applied Non-classical Logics http://jancl.e-revues.com/acceuil.jsp (please use Latex style sheet at

[Logica-l] LSFA 2012

=== [ please distribute - apologies for multiple copies ] === ** *** Extended ** ** submission deadline **

[Logica-l] LSFA 2012 - extended submission deadline

== = [ please distribute - apologies for multiple copies ] == = * Extended submission deadline ** June 22th, 2012 LSFA 2012: Call

[Logica-l] Manifesto a favor da Open Access Publication

nao sei se todos ja assistiram desculpem-me se ha repeticao abracos P http://www.youtube.com/watch?v=L5rVH1KGBCY animado pelo pessoal da PHD Comics sobre o problema dos journals pagos e defende as publicações de acesso livre ___ Logica-l mailing

Re: [Logica-l] the death of proofs

ola desculpem-me pela intromissao aqui esta uma prova com a qual eu nao estou de acordo http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm ela aparece em praticamente todos os textos que tratam do assunto sejam livros do ensino medio ou livros de calculo abracos P

Re: [Logica-l] the death of proofs

o que mais me chama a atencao nesta prova e em todas as versoes dela que eu conheco e que o(a) autor(a) pega dois pontos genericos no plano e eles *** sao distintos *** *** estao no primeiro quadrante *** genericos, distintos e no primeiro quadrante! se voces procurarem mais vao encontrar nos

Re: [Logica-l] Digest Logica-l, volume 86, assunto 17

humm algo esta me escapando nos meus livros de geometria euclidiana pontos nao tem coordenadas distancia nao e definida por uma formula e se fosse a explicacao que eu enviei numa msg anterior nao explicaria por que razao a distancia de um ponto a si mesmo e 0 e nem explicaria como calcular a

[Logica-l] artigo springer

caros gostaria de saber se alguem tem acesso e pode me enviar uma copia deste artigo (especificamente) JJ Lukkien. An operational semantics for the guarded command language. Lecture Notes in Computer Science, 669 (1993), 233-249. como dizem agradeco a quem puder e a quem nao puder agradeco da

Re: [Logica-l] artigo springer

caros filolistas agradeco aqueles que muito prontamente me enviaram o artigo possivelmente perdendo um tempo precioso dos seus trabalhos para isto abracos P -- Original Message --- From: Jorge Petrucio Viana petru...@cos.ufrj.br To: logica-l@dimap.ufrn.br Sent: Mon, 6 May 2013

[Logica-l] EBL 2014

caros filolistas ja temos data e lugar so falta o resto;-) http://www.uff.br/ebl/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Logicians Find a Genie - Existential Comics

para rir de si mesmo:-) P http://existentialcomics.com/comic/10 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] o preconceito se manifesta de muitas formas

caros filolistas desculpem-me pela msg um pouco mundana mas talvez esta historia verdadeira acrescente algo a discussao uma professora me contou que uma vez o chefe do seu departamento pediu para ela listar suas atividades pois ele estava fazendo uma especie de levantamento de tudo o que seus

[Logica-l] vem artigo do Venn

caros filolistas alguem tem acesso a este artigo e se tiver pode me enviar uma copia? http://www.tandfonline.com/doi/abs/10.1080/14786448008626877#preview abracos P ___ Logica-l mailing list Logica-l@dimap.ufrn.br

Re: [Logica-l] vem artigo do Venn

muitissimo obrigado a aqueles que me puderam me enviar a copia do (ou possibilidade de acessar o) artigo abracos filolisticos P -- Original Message --- From: Jorge Petrucio Viana petru...@cos.ufrj.br To: logica-l@dimap.ufrn.br Sent: Fri, 21 Feb 2014 17:56:04 -0300 Subject

[Logica-l] call for papers EBL 2019 POST-CONFERENCE PUBLICATIONS

Dear colleague, We are very happy to announce the call for papers for the EBL 2019 POST-CONFERENCE PUBLICATIONS, to appear as special issues of the Journal of Applied Logics https://www.collegepublications.co.uk/ifcolog/ and the South American Journal of Logic http://www.sa-logic.org/ All

Fwd: [Logica-l] CfP: Diagrams 2020

Call for Papers: Diagrams 2020 11th International Conference on the Theory and Application of Diagrams http://www.diagrams-conference.org/2020/ Conference dates: 24-28 August 2020 Location: Tallinn, Estonia Deadline for

[Logica-l] EBL 2019 POST-CONFERENCE PUBLICATIONS

Dear colleague, We are very happy to announce the call for papers for the EBL 2019 POST-CONFERENCE PUBLICATIONS, to appear as special issues of the Journal of Applied Logics https://www.collegepublications.co.uk/ifcolog/ and the South American Journal of Logic http://www.sa-logic.org/ All

Re: [Logica-l] Re: Kurt Gödel and the mechanization of mathematics

Olá para todos, não li esse artigo em detalhes, mas numa passada de olhos, não vi nem aritmetização, nem o predicado Bew, nem autoreferência na prova da incompletude. https://projecteuclid.org/euclid.ndjfl/1027953483 abraços P Em dom., 22 de dez. de 2019 às 22:36, Valeria de Paiva <

Re: [Logica-l] deadline extension EBL 2019 POST-CONFERENCE

. de 2020 às 10:50, Marcelo Finger escreveu: > Oi Petrucio. > > Feliz 2020! > > Onde serão,publicados os artigos? > > []s > > > Em qui., 2 de jan. de 2020 às 10:37, Jorge Petrucio Viana < > petrucio_vi...@id.uff.br> escreveu: > >> Dear colleague, &

[Logica-l] deadline extension EBL 2019 POST-CONFERENCE

Dear colleague, the deadlines for the submission to the EBL 2019 POST-CONFERENCE PUBLICATIONS were extended by around 1 month: *NEW* IMPORTANT DATES: > * Deadline for submissions: January 31, 2020. > * Decision notifications: April 30, 2020. > * Deadline for submissions of revised papers: May

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

Boa quarentena! Na UFF a situação (como é usual, em se tratando da UFF) parece ser ainda mais especial. O semestre começava na segunda-feira, dia 16/03/2020. Nos dias 14 e 15, a Reitoria divulgou um comunicado de que as aulas só começariam no dia 23. Mas, durante a semana, emitiu um outro

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

Olá, apoio plenamente as posições colocadas acima! abraços P Em qui., 17 de set. de 2020 às 13:48, Mario Roberto Folhadela Benevides < ma...@cos.ufrj.br> escreveu: > Caros, > > Gostaria de dar meu total apoio a posição da Elaine e de outros. Este tipo > de publicação é um desrespeito e um

Re: [Logica-l] teoria de tipos para crianças

Casper também usa uma forma diferente de para todo, já que nem o gramado e nem a estrada estão vivos. P Em qui., 2 de jul. de 2020 às 14:35, Joao Marcos escreveu: > Teaching dependent type theory to 4 year olds via mathematics > >

Re: [Logica-l] Inclusive Logic: o castelo anglófono

Olá! Esta mensagem não tem nada a ver com a discussão anterior, a não ser por se tratar de uma "mensagem com um pouco de humor matemático, para desanuviar os espíritos". Uma vez submeti um artigo para um congresso no qual o Bruno Poizat estava no comitê científico. Aí, recebi um único parecer

Re: [Logica-l] uma pergunta sobre. wiki brasil

Olá Walter e João, obrigado pelo retorno. De fato, foi o que a amiga me contou. Mas... não sei dizer mais nada sobre isto. A única coisa que me encucou é que, de fato, me lembro de pessoas aqui na lista reclamando de ter travado más conversas com pessoas de fora do mundo da lógica por causa de

[Logica-l] uma pergunta sobre. wiki brasil

Boa tarde! Uma amiga historiadora (da UFF) me escreveu perguntando sobre como são as relações dos pesquisadores da matemática com os responsáveis pela versão brasileira da Wiki. Ela me disse que um desses responsáveis entrou em contato com ela e, durante a conversa, afirmou que a relação com os

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

Boa tarde! Como ex orientando e coautor do Prof Paulo A. S. Veloso, a notícia me deixa muito, muito triste. Vejo que, assim como eu, a lógica brasileira fica órfã de uma referência intelectual que sempre esteve a serviço da busca pelo conhecimento em suas formas mais sublimes: a verdade e a

[Logica-l] Fwd: CFP: Diagrams 2021

-- Forwarded message - De: Mikkel Willum Johansen Date: seg., 4 de jan. de 2021 às 22:31 Subject: CFP: Diagrams 2021 To: f...@cs.nyu.edu Hi, The twelfth DIAGRAMS conference will take place online in September 2021. Due to the online format registration is free  It accepts

[Logica-l] Fwd: I Encontro Brasileiro em Teoria das Categorias: 25 a 29 de janeiro

Boa tarde! Repassando uma mensagem do Hugo Mariano (IME-USP). Espero que ele não se importe... abraços Petrucio xxx Caros colegas e estudantes, Divulgo que o I Encontro Brasileiro de Teoria das Categorias ocorrerá (remotamente) entre 25 e 29 de janeiro. Para poder assistir as

[Logica-l] Diagrams 2021: Call for tutorials

*** Call for Tutorials: Diagrams 2021 *** 12th International Conference on the Theory and Application of Diagrams September 28 – 30, 2021 Virtual Event www.diagrams-conference.org/2021 *** Highlights *** - FREE REGISTRATION - Proceedings published by Springer - Three Tracks: Main,

[Logica-l] Fwd: [diagrams-list] Call for Tutorials & Workshops | DIAGRAMS 2022

*TL;DR: deadline for workshops & tutorials MARCH 6 (DIAGRAMS 2022 )* Call for Workshops and Tutorials: Diagrams 2022 13th International Conference on the Theory and Application of Diagrams September 14 – 16, 2022 in Rome, Italy Diagrams is an international interdisciplinary

[Logica-l] Fwd: [diagrams-list] Second Call For Papers | DIAGRAMS 2022

*TL;DR: Paper deadline for DIAGRAMS 2022 is March 6th* www.diagrams-conference.org/2022 *We are planning to hold the event in presence, but of course we are monitoring the situation of the COVID-19 pandemic. In particular, we observe the regulations of the Italian authorities into account and

[Logica-l] Fwd: [diagrams-list] CORRECTION to Second Call For Papers | DIAGRAMS 2022

***NOTE** Our previous notice erroneously indicated the paper deadline was March 6. The actual paper deadline is March 24 (abstract submission March 17). Proposals for workshops and tutorials are requested by March 6th. * *Clarification of Deadlines* Workshop/Tutorials : March 6th, 2022

[Logica-l] Fwd: [diagrams-list] Deadlines Extended | DIAGRAMS 2022

*BREAKING NEWS: Deadlines for Diagrams 2022 have been extended by up to two weeks! * *It's not too late to start planning and writing your paper for Diagrams 2022 paper, poster or abstract. * Note that as a multidisciplinary conference, we offer multiple submission tracks, as well as both

[Logica-l] a serious disease

from rec.humor.funny https://www.netfunny.com/rhf/ Subject: new malady Did you hear about the logician who got a kidney stone from too much dirty dancing? It was diagnosed as a lambada calculus. P -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica ---

[Logica-l] já peço desculpas...

... pela mensagem descabida, mas eu tinha que compartilhar: https://logichoteis.com.br abraços P -- 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

[Logica-l] Fwd: [diagrams-list] Call for Graduate Symposium | DIAGRAMS 2022

*REMINDER: Deadlines for the Diagrams 2022 Graduate Symposium is coming soon! * http://www.diagrams-conference.org/2022/index.php/calls/graduate-symposium/ The Graduate Symposium offers senior graduate students and recent Masters and Doctoral graduates the opportunity to present their research.

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

Bom dia! Na "nova bíblia" sobre reticulados e ordens Introduction to Lattices and Orders (2nd ed) Davey and Priestley CUP 2002 que contém um capítulo sobre teoria dos domínios, esse conjunto é chamado "down x". No texto, o conceito "down set" é definido, depois o conceito "down Q" e,

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

Será que Davey e Priestley iriam dar esse mole? Tá lá na página 20: ↓x = { y ∈ P | y ≤ x }. Em sex., 3 de jun. de 2022 às 11:51, samuel escreveu: > 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

[Logica-l] Fwd: [diagrams-list] DEADLINE EXTENDED for Graduate Symposium | DIAGRAMS 202

*BREAKING NEWS: The deadline has been EXTENDED for the Diagrams 2022 Graduate Symposium!* http://www.diagrams-conference.org/2022/index.php/calls/graduate-symposium/ The Graduate Symposium offers senior graduate students and recent Masters and Doctoral graduates the opportunity to present their

[Logica-l] Fwd: Diagrams 2022 Call for Participation

*** Call for Participation: Diagrams 2022 *** The *13th International Conference on the Theory and Application of Diagrams* will take place in September 2022 in Rome, Italy. The main conference will be held on *September 14 – 16*, but will be accompanied by several *tutorials and a workshop on

[Logica-l] extensão do prazo de envio dos trabalhos para o PNdaC

Cara comunidade lógica, devido a pedidos, resolvemos estender o prazo para envio de trabalhos para a edição de 2022 do Prêmio de Lógica "Newton da Costa". A nova data para envios é *** 14 de novembro de 2022 *** No mais, as diretrizes continuam as mesmas e podem ser conferidas em

Re: [Logica-l] [Off Topic] Easychair went commercial

A Terra não é só plana, ela é chata, também!!! abraços P Em qua., 12 de out. de 2022 às 11:57, Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> escreveu: > Elaine: > > Lamentável, mas esperado, não? > > Itala > > Em qua., 12 de out. de 2022 às 11:44, Walter Carnielli < >

[Logica-l] lógica nos começos de romances

Bom dia! Achei curioso observar que estes autores se referem (direta e indiretamente) a lógica na abertura de seus romances. Talvez vocês conheçam mais exemplos... A Lua Vem da Ásia, de Campos de Carvalho Aos 16 anos matei meu professor de lógica. Invocando a legítima defesa — e qual defesa

[Logica-l] Fwd: Seleção de substitutos - Instituto de Computação (IC-UFRJ)

Talvez interesse a alguém da lista... Só recebi hoje! P -- Forwarded message - From: Hugo Nobrega Date: Mon, Dec 19, 2022 at 10:20 AM Subject: Seleção de substitutos - Instituto de Computação (IC-UFRJ) To: Prezados, O Instituto de Computação da UFRJ (IC-UFRJ) está com

Re: [Logica-l] Já é Dia Mundial da Lógica na Austrália!

E como diria o Grande Mago, Samuel: A Vida é o que acontece entre dois EBLs! Em sex., 13 de jan. de 2023 às 17:01, Elaine Pimentel < elaine.pimen...@gmail.com> escreveu: > E, para comemorar, a SBL decidiu antecipar o lançamento da nossa > iniciativa: "O primeiro EBL a gente nunca esquece!". > >

Re: [Logica-l] [OFF] ruído branco entre Herzog e Zizek

Boa tarde! Sei que não está diretamente ligado, mas essa postagem me lembrou do Infinite Cat Project: https://www.petside.com/infinite-cat/ abraços P Em qui., 19 de jan. de 2023 às 02:14, Julio Stern escreveu: > > Genial! e Assustador! > O Joao Marcos me fez perder o sono! > > A 1a

[Logica-l] Fwd: extensão do prazo de envio dos trabalhos para o PNdaC

Cara comunidade lógica, um link e um lembrete. Boa semana! P Devido a pedidos, resolvemos estender o prazo para envio de trabalhos para a edição de 2022 do Prêmio de Lógica "Newton da Costa". A nova data para envios é *** 14 de novembro de 2022 *** No mais, as

[Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023

Workshop Brasileiro de Lógica https://csbc.sbc.org.br/2023/wbl/ = O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua

[Logica-l] novo prazo de envio das submissões para o WBL 2023

Workshop Brasileiro de Lógica https://csbc.sbc.org.br/2023/wbl/ = O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa parceria com a Sociedade Brasileira de Lógica (SBL). Em sua

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

Caramba!!! O nome "Neutrosophic Sets and Systems" só não é melhor do que "Neutrosophic Categories and Metasystems". P Em ter., 18 de abr. de 2023 às 09:04, Joao Marcos escreveu: > Uma demonstração cabal de como é fácil manipular as avaliações > oficiais de impacto é o fato de que o periódico

[Logica-l] referências sobre cardinalidade de conjuntos finitos

Bom dia! Alguém conhece alguma referência que apresente a cardinalidade de conjuntos finitos baseada na definição abaixo? |vazio| = 0 |A U {a}| = |A|+1 Minha pergunta é sobre uma apresentação formal dessa teoria. Obrigado, P -- LOGICA-L Lista acadêmica brasileira dos profissionais e

[Logica-l] adendo a minha mensagem anterior

Além do "a não pertence a A", eu esqueci de dizer que já conheço as notas de aula de Chris Preston, relacionadas a esse assunto. Obrigado, P -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no

[Logica-l] pets desculpas por possível repetição de informação

*ABSTRACTIONISM 2* UConn Logic Group, University of Connecticut *10–12 August 2023* Celebrating 40 years of *Frege’s Conception of Numbers as Objects*! This is a hybrid event: both in-person and only participation is possible. *Keynote speaker:* - Crispin Wright (University of Stirling)

Re: [Logica-l] Trends in Logic conference- Torun,2023

Talvez dentro do tópico... Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na lógica, matemática e computação. E resolvi que era hora de dar a minha contribuição, por menor que fosse. Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um teorema importante

Re: [Logica-l] Trends in Logic conference- Torun,2023

t; Computadoras de Harvard > https://en.wikipedia.org/wiki/Harvard_Computers > ainda que, quem sabe da história, só sabe o nome do Pickering. > > Se você quiser escrever um blog post sobre o teorema da Soler, eu vou > adorar colocar no "Women in Logic", no "Logicas B

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

Boa tarde! Uma dúvida honesta (não é, simplesmente, uma provocação): O que vocês estão chamando de ZFC? Se for o que está, por exemplo, no livro do Devlin (ou seja, First Order Logic ZFC), não concordo que "para um matemático-padrão ZFC e' a medida, o básico" (ou algo semelhante). Pelo que

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

untos, as > (subfamilias das) famílias de subconjuntos são conjuntos, etc., dá pra > fazer tudo em primeira ordem. > > Atés > > []s Samuel > - Mensagem original - > De: Jorge Petrucio Viana > Para: Samuel Gomes da Silva > Cc: Valeria de Paiva , Dan

[Logica-l] DIAGRAMS 2024 | Final Call for Workshops and Tutorials

Final Call for Workshops and Tutorials: Diagrams 2024 *14th International Conference on * *the Theory **and Application * *of Diagrams* *September 27 – October 1, 2024* University of Münster, Germany www.diagrams-conference.org/2024

[Logica-l] Fwd: [FOM] CPF: Diagrams 2024

The next Diagrams conference will be held from September 27 to October 1, 2024, in Münster, Germany. As usual, the conference will feature a special track on the Philosophy of Diagrams, providing ample opportunities to submit papers and engage in discussions about the use of diagrams in

[Logica-l] Call for Workshops: Diagrams 2024

*** Call for Workshops: Diagrams 2024 *** 14th International Conference on the Theory and Application of Diagrams September 27 – October 1, 2024 University of Münster, Germany www.diagrams-conference.org/2024 *** Highlights *** - Workshop sessions - Graduate Symposium - Three Tracks:

Re: [Logica-l] a maioridade / maturidade da LOGICA-L

Parabéns à Pessoa que Vos Escreve ou aO Administrador da LOGICA-L!!! Parabéns à esta comunidade!!! Em qui., 28 de mar. de 2024 às 23:18, O Administrador da LOGICA-L < logica-l-ow...@dimap.ufrn.br> escreveu: > PessoALL: > > Esta semana a LOGICA-L, > "uma lista direcionada aos profissionais e

[Logica-l] Fwd: [diagrams-list] DIAGRAMS 2024| Extended deadline

**Extended deadline**: CFP Diagrams 2024 *14th International Conference on the Theory and Application of Diagrams* *September 27 – October 1, 2024* University of Münster, Germany www.diagrams-conference.org/2024 *** Highlights *** - Proceedings published by Springer - Graduate

[Logica-l] Extended deadline: Tutorial proposals for Diagrams 2024

*** Extended deadline: Tutorial proposals for Diagrams 2024 *** 14th International Conference on the Theory and Application of Diagrams September 27 – October 1, 2024 University of Münster, Germany www.diagrams-conference.org/2024 *** Highlights *** - Tutorial sessions - Graduate