[Aqueles colegas que não têm interesse em meta*-discussões devem se sentir
à vontade para ignorar a presente mensagem.]
PessoALL:
Um mês após a nossa última mensagem com o rótulo [META]
https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/KK6s_rWkMHU/tDHkq0TPAQAJ
proponho a partir de hoje
Agosto: discussão sobre as regras de convívio e as regras de
administração da LOGICA-L
12 Agosto - 11 Setembro: período de candidaturas para o cargo de
administrador da lista
12 Setembro - 19 Setembro: período de eleição
1 Outubro: início do mandato do novo administrador
Buscarei definir, com a ajuda
trabalho da próxima administração da lista, ainda seguindo
o calendário:
12 Julho - 11 Agosto: discussão sobre as regras de convívio e as regras de
administração da LOGICA-L
12 Agosto - 11 Setembro: período de candidaturas para o cargo de
administrador da lista
12 Setembro - 19 Setembro: período
PessoALL:
Após três linhas de discussão encerradas sobre os "princípios e regras de
convívio da LOGICA-L"
https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/1AX9v9v2ZUk/gYtuc6SuAAAJ
https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/AW1C4cuGhA8/8H0AQlRSAgA
PessoALL:
Passo para recordar que o período de candidaturas para a administração da
LOGICA-L vai até o dia 11 de setembro.
Cumprimentos lógicos,
Joao Marcos
On Saturday, August 13, 2016 at 1:51:08 PM UTC-3, Joao Marcos wrote:
>
> PessoALL:
>
> Como devem se recordar, há exatos d
Passo aqui pela última vez para recordar que o prazo para candidaturas à
administração da LOGICA-L se esgota dentro de uma semana.
Em não havendo candidatos, a lista será suspendida a partir do início de
outubro.
Cumprimentos lógicos,
Joao Marcos
[list-owner, e administrador interino até o
PessoALL:
Parece que não será desta vez que a nossa lista será suspendida. Mesmo
após preparar o terreno publicamente durante três meses, o deadline venceu
ontem e fui surpreendido por ter recebido *uma única candidatura* para
assumir o papel de administrador da LOGICA-L.
◠☺◡☺◠☺◡☺◡☺◠☺◡☺◠☺◡☺
o de abuso enviado
para o Google. Vamos torcer para a situação não se repetir!
Cumprimentos,
Joao Marcos
[administrador interino da LOGICA-L]
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e para
is]" no campo "assunto". Estas mensagens devem ser elaboradas de
maneira a se adequar com o tema e interesse dos participantes da lista.
Agradeço a atenção e aguardo por sugestões,
*Carolina Blasio*
Adminitradora da logica-l
*"Most if not all choices in life are not
Mudanças nem sempre são vistas com bons olhos, principalmente quando se
trata de "pré-aborrecentes", mas crescer e amadurecer não é algo aconteça a
salvo de crises!
Esta semana completamos 11 anos da LOGICA-L!
Gostaria de agradecer a todos 537 membros (um pouco menos devido aos
m
/1nXljf_KASE8xIY9Vh8rrlTAPwZ7X9HnEzjTRNM7hWe4/edit?usp=sharing
Peço a todos, assim, que tenham alguma paciência, não esmoreçam, não
desistam do diálogo, e ajudem a manter este espaço funcionando como
desejamos!
Cumprimentos lógicos,
O Administrador da LOGICA-L
--
Você está recebendo esta mensagem porque se
Caros participantes da Logica-L,
A Logica-L é um espaço para discussão e divulgação de lógica e estou
trabalhado de acordo com as regras de convívio
<https://docs.google.com/document/d/1nXljf_KASE8xIY9Vh8rrlTAPwZ7X9HnEzjTRNM7hWe4/edit>,
criadas pelos próprios participantes da lista, para
Enviar submissões para a lista de discussão Logica-l para
logica-l@dimap.ufrn.br
Para se cadastrar ou descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
ou, via email, envie uma mensagem com a palavra 'help' no assunto o
(2) é uma estrutura matemática que
não contém nenhum 'critério de identidade' para os seus objetos. Mas eu
acho que isso é um exagero. Há um critério de identidade. d e s são o mesmo
se (~(dhttps://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3ae9f99b-04cc-43f6-92c3-0b5775c46c5b%40dimap.ufrn.br.
5 a class of algebras based
>> on
>> >> >> a certain kind of implication which satisfy several axioms of ZF.
>> From
>> >> >> this class, they found a specific 3-valued model called PS3 which
>> >> >> satisfies all the axioms of
seja, resumindo, se e quando os conjuntos paraconsistentes
tiverem aplicações não matemáticas, eles passarão a existir,
independentemente de nossa vontade ou tendências teóricas.
Saudações,
Daniel.
>
> Em seg, 9 de dez de 2019 16:39, 'Durante' via LOGICA-L <
> logi...@di
nológicas do conceito?
>
> On 10 Dec 2019, at 11:21, 'Durante' via LOGICA-L > wrote:
>
>
> Oi Tony,
>
> Ou seja, dir-se-á que não existem os unicórnios porque podemos ignorá-los
>> já que eles não podem atacar-nos com seus chifres, ao contrário dos
>
>
> Links para download:
>
> http://www2.unifap.br/editora/catalogo/e-books/
>
> https://www2.unifap.br/editora/files/2019/12/leis-da-natureza-2.pdf
>
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para ca
lógica em nossas
> universidades.
>
> Muito obrigada desde já pelas sugestões e críticas construtivas.
>
> Um abraço cordial, e um bom final de semana,
> G.
>
> --
> Gisele Dalva Secco
> UFSM/Brasil
> +55 55 3220 8440
>
--
Você está recebendo esta mensagem porqu
m impactar eventuais
> futuras atualizações desta videopédia são sempre bem-vindos!
>
> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
--
Você está recebendo esta mensag
desta videopédia são sempre bem-vindos!
> >
> > Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> > Joao Marcos
> >
> > --
> > http://sequiturquodlibet.googlepages.com/
>
>
> --
> Haniel Barbosa
> https://h
.
Até lá é esperar que a vacinação prossiga e que consigamos todos sair dessa
pandemia.
Abraços,
[]s Samuel
--
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
> []s Samuel
>
--
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...@dimap.ufrn.br.
Para ver esta discussão na web, acess
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
... 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 Go
vidual Outreach Memberships".*
Informações no site:
http://aslonline.org/membership/individual-membership/
Abraços,
[]s Samuel
--
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
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, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, ace
r seus vôos para chegar em Salvador na segunda de
> manhã se assim o desejarem.
>
> Esperando vê-los todos em Salvador em breve,
>
> Abraços
>
> []s Samuel - co-chair do CO
>
>
>
>
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área
nta, Claudio, um dos nomes que isso costuma
>> receber é "down set". Há outros:
>> https://en.wikipedia.org/wiki/Upper_set
>> (o verbete também inclui as notações mais usuais para estas coisas)
>>
>> Abraços, Joao Marcos
>>
>> --
>>
omumente?) de "right-open interval (bounded on x)", não?
>
> []s, Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se
reveu:
>>>
>>>> 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
\in P : y>>>>> ordenado
>>>>>> e x é um elemento de P, eu lhe agradeceria se pudesse me informar.
>>>>>>
>>>>>> Abraços,
>>>>>> Claudio Callejas.
>>>>>>
>>>>>> El vie, 3 jun 2022 a las 10:07, samuel
:
>
> https://arstechnica.com/science/2022/06/what-the-simple-mathematical-abilities-of-animals-can-tell-us-about-ourselves/
> "crows can understand the concept of zero"
>
> JM
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
-
chnica.com/science/2022/06/what-the-simple-mathematical-abilities-of-animals-can-tell-us-about-ourselves/
>>> "crows can understand the concept of zero"
>>>
>>> JM
>>>
>>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
--
LOGICA-L
Lista aca
de 2022 às 19:47:57 UTC-4, Joao Marcos
escreveu:
> > ---> o conjunto vazio por não ser uma coleção (???)
>
> O que é realmente _pouco natural_ é conceber uma teoria que é tão
> homogênea a ponto de dispor de apenas _uma_ coleção vazia!
>
> {}s, JM
>
--
LOGICA-L
Lista acad
rêmio de tese em Filosofia deste ano veio para a nossa Evelyn
>>>> Erickson, orientada por Daniel Durante (e co-orientada por Ole
>>>> Hjortland).
>>>>
>>>> A tese pode ser encontrada aqui:
>>>> Rational theory revision in logic: beyond abducti
>> Muito obrigada pelo "shout-out" Samuel!!
>>>
>>> O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu estamos
>>> organizando uma sessão de teoria de categorias no mesmo encontro
>>> Brasil-Portugal.
>>> a d
orém na parte da
>>>> manhã.
>>>>
>>>> Muito obrigada pelo "shout-out" Samuel!!
>>>>
>>>> O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu estamos
>>>> organizando uma sessão de teoria de categorias no me
e instruções...
Até breve !!!
[]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
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, envie um
e-ma
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
0 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 Samuel
>
>>
>> Pra quem se inscreveu ou pra quem se inscrever 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
>>
e se inscrevam no jantar no máximo até a próxima
>>> quarta-feira dia 07,
>>>
>>> Que o valor de 130 reais
>>>
>>> (que antes não incluía nem bebida alcóolica nem o serviço)
>>>
>>> POSSA AGORA INCLUIR
>>>
>>>
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
er garantido aos que já preencheram. Quem ainda não preencheu e quiser ir
possivelmente terá que ser servido a la carte.
--
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&q
>>>>> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318
>>>>> >
>>>>> > O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn
>>>>> > Erickson, orientada por Dani
t; Studia Logica (2022)
>> https://link.springer.com/article/10.1007/s11225-022-10017-2
>>
>>
>> JM
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica
>> ---
>> Você recebeu essa mensage
não está certo"
>
> - Mensagem original -
> De: Joao Marcos
> Para: Samuel Gomes da Silva
> Cc: Walter Carnielli , LOGICA-L >
> Enviadas: Thu, 03 Nov 2022 08:15:39 -0300 (BRT)
> Assunto: Re: [Logica-l] twin primes
>
>
> https://dailynous.com/2022/1
com a filosofia, qual a relação? É um exemplo de graduado numa área q
> virou professor em outra?
> Não entendi...
>
>
> Saudações,
> cass.
>
>>
>>
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo
quina
>> automática de mentiras!
>> >
>> > Claro! Ele é explicitamente treinado para gerar texto, sem qqer
>> compromisso com a realidade (a menos daquilo que o pessoal chamou de
>> "comportamento emergente"). Então, no seu âmago, ele é um gerador de fake
>&g
180). Russell, Bertrand., Human Knowledge: Its Scope and
> Limits,London: George Allen & Unwin, 1948.
>
> JM
>
> --
> http://sequiturquodlibet.googlepages.com/
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está rece
niçã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 estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscr
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 estudantes da área de Lógica
--
sponível na pagina www.propg.ufba.br
Ronaldo Lopes Oliveira
Pró-Reitor de Pesquisa e Pós-Graduação
Dayana Bastos Costa
Coordenadora de Ensino de Pós-Graduação
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem p
tica, e ao final discutiremos quais são os efeitos e influências (se
é que existem) desses estranhos tipos de definições na prática matemática.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grup
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
não dizer como se
> assiste :'-)
>
> Belo truque Samuel,
>
> abraços
> W.
> Em ter., 6 de jun. de 2023 07:10, escreveu:
>
>> logi...@dimap.ufrn.br
>> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logi
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
>> []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
í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
gative whole numbers
> and zero."
> >>>
> >>> Isso é uma grande confusão, claro, pois "whole numbers" é extremamente
> >>> ambíguo: dependendo de quem escreveu, o termo pode significar "números
> >>> inteiros" (isto é, "
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
sessão de lógica nessa edição do colóquio:
> ninguém submeteu uma proposta ou
> nossa proposta não foi selecionada?
>
> alguém sabe?
> --
> Renata de Freitas
> IME-UFF
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você e
m
>>> teorema? Ou pensa ás vezes, será que isto é verdade mesmo? Você usa
>>> intuições e afetos pra suas provas matemáticas? O que é a hipótese do
>>> contínuo? Ela pode ser provada? Por que não? E se a gente tiver um super
>>> computador? É só uma questão de
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á
ta: o que podemos fazer de novo?” Por Luiza Ramos (USP)
>
> %%%
>
> Toda uma série de eventos de alta qualidade vêm por aí, como parte
> da segunda iteração do Encontro Brasileiro de Filósofas Analíticas:
> https://ebfanaliticas.wixsite.com/ebfa/general-5
>
> %%%
>
>
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
in the 19th century: the role of the real numbers, the
>>> role of infinity, the status of infinitesimals, the very consistency
>>> of mathematics. And the reason is simple: because Herculean work in
>>> the 19th and 20th centuries largely banished those issues from
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
plo, os passos argumentativos de mais
> interesse,
> > > > logo nas primeiras aulas, envolvem quantificadores aninhados. Se
> > > > pensamos em um curso de Matemática Discreta, conceitos como
> > > > divisibilidade, congruência-módulo, supremos e ínfimos pressupõe
radas
> em
>
> Site: https://sologica.weebly.com/
>
> Instagram: sol_logica <https://www.instagram.com/sol_logica/>
>
> Twitter: sol_logica <https://twitter.com/sol_logica>
>
>
> João Mendes
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudan
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
; que permitem nao só expresar mas também calcular funções.
> >
> > Abs,
> > Juan Carlos
> >
> >
> > On Sun, Jan 28, 2024 at 5:48 AM Joao Marcos wrote:
> >>
> >> E o vencedor é...
> >>
> >> On Wed, Jan 24, 2024, 17:08 Joao
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/
>
>
>
t; De acordo! Você conhece livros-textos introdutórios *sobre lógica de
>> primeira ordem* que usem cálculo lambda de maneira judiciosa e
>> essencial?
>>
>
> Não conheço. Se você encontrar (ou escrever) algum, por favor me manda a
> referência.
>
>>
>> []s
uring-completos.
>
> Abraços,
> Joao Marcos
>
>
> [0] Hamkins, Joel David. Lectures on the Philosophy of Mathematics.
> MIT Press, 2021.
> [1] Geretschläger, Robert. "Euclidean constructions and the geometry
> of origami." Mathematics Magazine 68.5 (1995): 35
-), mas desconfio que essa questao entre mais no
> que é "existência em matemática",
> > enfim. Que aí a coisa da matemática construtiva vem em cheio também.
>
> Isto daria uma discussão deveras interessante!
>
> Abraços, Joao Marcos
>
> --
> https://sites.g
cia técnica
> também sobre os números espirográficos! (ou ao menos uma referência
> geral sobre a construtibilidade via espirógrafos)
>
> Abraços,
> Joao Marcos
>
>
> --
> https://sites.google.com/site/sequiturquodlibet/
>
--
LOGICA-L
Lista acadêmica brasileir
stas bobas. ;-b
>
> (Definição de trabalho: Chamaremos de _boba_ qualquer pergunta cuja
> resposta depende da escolha de uma implementação específica. Exemplo:
> "será que 0∈1?")
>
> []s, JM
>
> --
> https://sites.google.com/site/sequiturquodlibet/
>
--
LOGIC
um bom problema (em aberto?) para uma
>> estudante de pós-graduação que queira aparecer na Quanta Magazine
>> seria o de mostrar que espirógrafos também são Turing-completos.
>>
>> Abraços,
>> Joao Marcos
>>
>>
>> [0] Hamkins, Joel David. Lectures on
a
>>> estudante de pós-graduação que queira aparecer na Quanta Magazine
>>> seria o de mostrar que espirógrafos também são Turing-completos.
>>>
>>> Abraços,
>>> Joao Marcos
>>>
>>>
>>> [0] Hamkins, Joel David. Lectures on
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
de mensagens antigas desta lista,
com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho
uma predilecao especial por catracas. 8-)
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se i
--
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, envie um
e-mail para logica-
nesta dupla filtragem nos últimos 4 anos, e esperamos que
isto continue assim. Contamos com a compreensão de todos para casos
como estes, que sempre esperamos que não se repitam!
Atenciosamente,
O Administrador da Logica-L
___
Logica-l mailing list
Logica
Prezados colegas lógicos:
Com relação ao tópico da "moderação" e com relação ao suposto
"endosso" da lista LOGICA-L a certos temas *extra-lógicos*, vimos
recordar que a última palavra continua sendo:
http://www.dimap.ufrn.br/pipermail/logica-l/2009-May/003638.html
PessoALL:
Tudo isto já foi discutido e explicado aqui antes, mas a administração
achou por bem registrar estas coisas diretamente na página inicial de
detalhes da LOGICA-L
(http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l),
acrescentando lá na descrição da lista o seguinte parágrafo
causado nos últimos quatro dias, incluindo o eventual
desaparecimento de mensagens enviadas neste período, ou o recebimento
anômalo de novas mensagens de boas-vindas automaticamente enviadas
pelo sistema.
Saudações lógicas,
O Administrador da LOGICA-L
A LOGICA-L se auto-congratula pelos seus cinco anos de vida!
E que venham mais, e melhores!!
Com os nossos agradecimentos aos atuais 375 membros da lista,
O Administrador da LOGICA-L
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http
[ATENÇÃO:
favor responder esta mensagem SOMENTE
para o endereço ]
Caro colega, membro da LOGICA-L:
Estamos realizando esta breve enquete em antecedência à realização do
próximo Encontro Brasileiro de Lógica (XVI EBL), mês que vem. São
apenas 5 grupos de perguntas, e elas são de interesse
em tempo de responder!
Saudações lógicas,
O Administrador da LOGICA-L
-- Forwarded message --
[ATENÇÃO:
favor responder esta mensagem SOMENTE
para o endereço ]
Caro colega, membro da LOGICA-L:
Estamos realizando esta breve enquete em antecedência à realização do
próximo
PessoALL:
Como devem se recordar, foi lançada nesta lista uma enquete há duas semanas:
http://www.dimap.ufrn.br/pipermail/logica-l/2011-April/005546.html
O assunto havia sido levantado na lista alguns meses antes:
http://www.dimap.ufrn.br/pipermail/logica-l/2011-January/005367.html
A
tumulto na lista, gostaria de solicitar assim aos membros
afetados, que respondessem à presente mensagem diretamente para a
administração, neste endereço eletrônico, SEM cópia para os demais
membros da lista.
O Administrador da LOGICA-L
2011/9/1 Daniel Durante :
> Colegas,
>
> Ja faz alguns
LOGICA-L
2011/10/25 Julio Cesar Azevedo Custodio via LinkedIn :
> LinkedIn
>
>
>
>
>
> Julio Cesar Azevedo Custodio requested to add you as a connection on
> LinkedIn:
>
> --
>
> Renato,
>
> I'
Mais uma mensagem do spammer "linkedin" que escapou, estranhamente, ao
filtro da lista...
Pedimos novas desculpas pelo inconveniente, e continuamos buscando o "furo".
O Administrador da LOGICA-L
2011/10/25 Julio Cesar Azevedo Custodio via LinkedIn :
> LinkedIn
> -
TODOS os emails da lista terminam com um link para a sua página
principal, na qual o procedimento para receber as mensagens em "modo
digest" é esclarecido. Queira por favor conferir.
O Administrador da LOGICA-L
2011/12/1 eri iza :
> Boa noite,
> Gostaria de saber se existe a
mensagem, como consequência do Entscheidungsproblem!), e ao mesmo
tempo pedir para os "participantes inconvenientes" que tentassem
reservas mensagens "de cunho mais pessoal" para o foro pessoal.
Posso contar com vocês? Antecipadamente agradecido,
O Administrador da LOGICA-L
_
1 - 100 de 271 matches
Mail list logo
