[Logica-l] Please, check my P=NP proof for errors

[Victor Porton]

The proof uses logic (incompleteness of ZFC) [thus on-topic in this list], 
algorithms taking algorithms as input, inversion of bijections, reduction 
of SAT to another NP problem [using logic].

https://drive.google.com/file/d/16Ws_eZF8f-rn1mFvkIT-UdMdvTwOu4vO/view?usp=drive_link

A practically efficient NP-complete algorithm is not yet found.

-- 
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-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2d1d5021-f4ef-4760-979f-03f9aa8bf56en%40dimap.ufrn.br.

Re: [Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice

[benevidesh.]

Saudações,

Para inserir fórmulas no LibreOffice o caminho seria ir à opção *Insert* > *OLE
object* > *Formula Object*
(suponho que o software esteja em inglês).
Após seguir esse caminho, uma caixa de input de comandos deve aparecer na
parte inferior da tela. Coisas que certamente são viáveis usando as
ferramentas nativas do LibreOffice:

forall x %phi x ; exists x %psi x; A toward B ; A drarrow B; A equiv B; A
dlrarrow B; neg A; A and B;  A or B;

Note que:
- ponto e vírgula acima ocorrem apenas para separar os exemplos;
- diferente do (La)TeX, a barra inversa (\) não é necessária para os
símbolos lógicos;

Ao lado direito da tela também aparece uma caixa de diálogo com outras
opções. Fico devendo símbolos da linguagem modal.

abs,
H.

Em qui., 17 de ago. de 2023 às 14:43, Walter Carnielli 
escreveu:

> Pessoal,
>
> alguém sabe como inserir símbolos lógicos. (quantificadores,
> operadores  modais, implicação, disjunção, negação,
> conjunção,equivalência, etc). no LibreOffice?
>
> Uso a versão do MacOs.
>  Agradeço antecipadamente,
>
> abs
>
> Waler
>
> --
>  
>  Walter Carnielli
> CLE and Department of Philosophy
> University of Campinas –UNICAMP, Brazil
> AI2- Advanced Institute for Artificial Intelligence
> https://advancedinstitute.ai/
> Blog https://waltercarnielli.com/
>
> --
> 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-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc%3D6BHw621qivyGxO1dfsy%2BpCTvUX1pBeR8CXmjMrjFXA%40mail.gmail.com
> .
>

-- 
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-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJeOJZR19KAATTN%2B0Yc_LMg3TvL7FeP1%3D%2B0FQGg%2Bn%2BNSyK1e%3DQ%40mail.gmail.com.

[Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice

[Walter Carnielli]

Pessoal,

alguém sabe como inserir símbolos lógicos. (quantificadores,
operadores  modais, implicação, disjunção, negação,
conjunção,equivalência, etc). no LibreOffice?

Uso a versão do MacOs.
 Agradeço antecipadamente,

abs

Waler

-- 
 
 Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
https://advancedinstitute.ai/
Blog https://waltercarnielli.com/

-- 
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-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc%3D6BHw621qivyGxO1dfsy%2BpCTvUX1pBeR8CXmjMrjFXA%40mail.gmail.com.

[Logica-l] Fwd: ACM SIGLOG Research Highlights call for nominations

[Joao Marcos]

-- Forwarded message -

The Research Highlights section of the Communications of the ACM aims to
provide readers with a collection of outstanding research articles,
selected from the broad spectrum of computing-research conferences.

Starting this year, SIGLOG is an approved nominating organization for the
Research Highlights section. Accordingly, the Research Highlights Committee
of ACM SIGLOG is looking for nominations of high-quality papers from the
past year in the areas related to SIGLOG that can be appreciated by the
broader public of the computer science research community.

There are three key criteria for a good Research Highlights paper:
+ The work must be a strong, novel research contribution.
+ It should be of broad interest to the computing community. (This means
the selection criterion is not necessarily the same as that for Best Papers
and other awards, which can recognize papers that are quite narrow and
focused on a very small community.)
+ Papers should have that little extra “pop” that sets them apart even from
other strong results in their field. A nomination should suggest that you
think a paper should be one of the most widely read papers in
computer science.

It should be noted that a Research Highlights paper is not the “journal
version” of a conference paper. Instead, it is essentially a reprint of the
paper and does not preclude a later journal version.

There is no deadline for submitting nominations, but since it is the first
year SIGLOG is participating in the Research Highlights, we would like to
review initial nominations as early as possible.

Nominations can be made using this form

.

We appreciate your cooperation and hope to see many SIGLOG papers published
at the Research Highlights section of the Communications of the ACM!

-- 
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-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiYs1Sy8uWkwtD9RE%3D5q71xJ-83K2rKd%2BR3TisQ8focTQ%40mail.gmail.com.