Proteste contra o IPT, a USP não tem ingerência.
Em ter., 20 de jul. de 2021 às 22:28, Walter Carnielli
escreveu:
> Eu não acho pouco, não...
>
> Projeto do Doria privatista, seguindo a cartilha neoliberal do Paulo
> Guedes, que foi um dos fundadores da BTG Pactual
>
>
>
> http://www.jornald
O Kreisel, há uns trinta anos, repassou ao Newton e a mim uma conjectura
segundo a qual a função contraexemplo para P=NP cresceria nos picos ao menos
tão rápido quanto o Busy Beaver. Embora tenhamos dúvidas sobre o significado
disso, provamos esse resultado nalgum canto.
Sent from my iPhone
Oi Doria,
mas se você se provaram, mesmo sem saber o significado, pode ser muito
interessante .
Como foi essa prova?
Onde está essa prova ?
abraço
W.
Em qua., 21 de jul. de 2021 09:54, Famadoria escreveu:
> O Kreisel, há uns trinta anos, repassou ao Newton e a mim uma conjectura
> segundo
Os mortais querem saber os detalhes do que os deuses demonstraram pelo telefone
On Wed, 21 Jul 2021 at 14:36, Walter Carnielli wrote:
>
> Oi Doria,
>
> mas se você se provaram, mesmo sem saber o significado, pode ser muito
> interessante .
>
> Como foi essa prova?
> Onde está essa prova ?
>
>
Te mando.
Sent from my iPhone
> On 21 Jul 2021, at 14:47, Eduardo Ochs wrote:
>
> Os mortais querem saber os detalhes do que os deuses demonstraram pelo
> telefone
>
>> On Wed, 21 Jul 2021 at 14:36, Walter Carnielli wrote:
>>
>> Oi Doria,
>>
>> mas se você se provaram, mesmo sem saber o
Achei esse comentário do Fosco Loregian no Zulip Chat de Applied
Category Theory bem interessante:
by the way, I am in the process of (slowly, lazily) translating a
couple of his first papers on exact squares, both as a service to
the community, an exercise to revive my French, and a way to
