Renato

Sr, não se preocupe, esta aeronave é pilotada pelo chat gpt

álbuns para tocar no churrasco em família:

Animals (Pink Floyd)
Meat is Murder (The Smiths)

“Quando poucos controlam os algoritmos e as infraestruturas digitais, não estamos falando de inovação, mas de dominação”. (Lula, em visita à Índia).

Agora os cigarros eletrônicos foram longe demais

texto de IA é tipo lasanha congelada: parece comida de verdade, mas só serve pra enganar a fome

caramba

arvore de tableau (via ProofTools) verificando a proposição "(((A \to B) \to B) \to B) \to (A \to B)" na lógica intuicionista

fonte? foi-me revelado em um sonho

uma semântica sem procedimento de decisão é como um anjo sem asas

a semântica é a intenção do somático

There is no such thing as conscious artificial intelligence - Humanities and Social Sciences Communications Humanities and Social Sciences Communications - There is no such thing as conscious artificial intelligence

"There is no such thing as conscious artificial intelligence"

www.nature.com/articles/s41...

Cálculo de sequentes é tipo café sem açúcar, no início é meio complicado mas depois fica bom

A Força do Vento- Lô Borges YouTube video by Jonas jds_vigio

www.youtube.com/watch?v=2EDB...

RIP Lô Borges

AI hallucinates because it’s trained to fake answers it doesn’t know Teaching chatbots to say “I don’t know” could curb hallucinations. It could also break AI’s business model

Teaching chatbots to say “I don’t know” could curb hallucinations.

It could also break #AI’s business model. https://scim.ag/49cPY9d

Karnak Mesozóico

Acabei de escutar "Karnak Mesozóico", lançado mês passado. Sonzeira!!

open.spotify.com/intl-pt/albu...

Terreno Baldio - Grite [Brazil, Progressive Rock] (1978)

Terreno Baldio - Grite [Brazil, Progressive Rock] (1978)
https://redd.it/g7zqrz
https://youtu.be/wpQ6pz7vN0c

Karnak / 13. Hymboraewqueyra YouTube video by Reverberre Canal

related: www.youtube.com/watch?v=aDK2...

escreva aquilo que você gostaria de ler

Pierre Lescanne, "Almost all classical theorems are intuitionistic" YouTube video by Computational Logic and Applications

www.youtube.com/watch?v=5XcX...

Related: Almost all classical theorems are intuitionistic (Pierre Lescanne)

www.rairo-ita.org/articles/ita...

With respect to mathematics, Brouwer's main ideas are 1. Mathematics is not formal; the objects of mathematics are mental constructions in the mind of the (ideal) mathematician. Only the thought constructions of the (idealized) mathematician are exact. 2. Mathematics is independent of experience in the outside world, and mathematics is in principle also independent of language. Communication by language may serve to suggest similar thought constructions to others, but there is no guarantee that these other constructions are the same. (This is a solipsistic element in Brouwer's philosophy.) 3. Mathematics does not depend on logic; on the contrary, logic is part of mathematics.

eprints.illc.uva.nl/id/eprint/13...

Já é hora do corpo vencer a manhã. Outro dia já vem

E711.2.5
Soul
in coconut.

- Passei na USP!
- Que legal, parabéns, vestibular muito difícil.
- Não, não, passei em frente à USP hoje

www.youtube.com/watch?v=kffp...

Is p→p a theorem in intuitionistic logic? In 'normal' propositional logic, the formulae p→q and ¬p∨q are interchangeable. The rule of excluded middle, namely ¬p∨p, is replaced to p→p. Since intuitionistic logic rejects law of excluded midd...

essa é sempre uma boa pergunta quando se começa a estudar uma nova lógica: será que vale p -> p?

philosophy.stackexchange.com/questions/11...

pré-balada?