Renato
LightNews LightNews
banner
leme.bsky.social
Renato
@leme.bsky.social
210 followers 430 following 370 posts
Torcedor do São Paulo Futebol Clube, pai de pet
Posts Replies Media Videos
leme.bsky.social
caramba
February 6, 2026 at 1:30 PM
leme.bsky.social
February 6, 2026 at 1:29 PM
leme.bsky.social
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
February 2, 2026 at 2:52 PM
leme.bsky.social
November 3, 2025 at 4:29 PM
leme.bsky.social
eprints.illc.uva.nl/id/eprint/13...
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.
October 23, 2025 at 12:37 PM
leme.bsky.social
pouco se fala desse clássico
October 14, 2025 at 5:39 PM
leme.bsky.social
October 9, 2025 at 3:12 PM
leme.bsky.social
October 7, 2025 at 4:28 PM
leme.bsky.social
Lógico clássico: Provei A \/ B

Lógico intuicionista: Legal! Então mostra aí a prova de A ou a prova de B

Lógico clássico:
October 1, 2025 at 8:48 PM
leme.bsky.social
Pensando nela
Tabela verdade para (p -> (q \/ r))<->((p->q)\/(p->r))
September 30, 2025 at 10:03 PM
leme.bsky.social
September 30, 2025 at 2:03 PM
leme.bsky.social
"O bom senso é a coisa do mundo mais bem distribuída: todos pensamos tê-lo em tal medida que até os mais difíceis de contentar nas outras coisas não costumam desejar mais bom senso do que aquele que têm." (René Descartes)
September 20, 2025 at 4:43 PM
leme.bsky.social
September 16, 2025 at 12:35 PM
leme.bsky.social
A defesa recebendo os 70 terabytes
September 10, 2025 at 1:14 PM
leme.bsky.social
Gottlob Frege
On sense and reference
Gottlob Frege On sense and reference
August 27, 2025 at 8:23 PM
leme.bsky.social
A IA:
August 20, 2025 at 12:33 PM
leme.bsky.social
August 11, 2025 at 7:17 PM
leme.bsky.social
ah yes reflexiviTy... of course...
Question: why modal axiom T is called this way Google IA: The modal axiom T is named as it is because it represents the reflexivity of the accessibility relation in modal logic's possible world semantics.
July 23, 2025 at 2:09 PM
leme.bsky.social
Beauty (from: en.wikipedia.org/wiki/List_of...)
Meredith's axiom system: ((((A\to B)\to(\neg C\to\neg D))\to C)\to E)\to((E\to A)\to(D\to A))
July 21, 2025 at 6:48 PM
leme.bsky.social
fonte de ferro (como todo feijão)
Foto de um pacote de feijão, onde se lê "fonte de ferro (como todo feijão)"
July 6, 2025 at 3:39 PM
leme.bsky.social
"O Ser Humano é ridículo"
July 2, 2025 at 12:12 PM
leme.bsky.social
June 26, 2025 at 7:06 PM
leme.bsky.social
Agora, também, com material auxiliar: gerador de matrizes e modelos para cada uma das 15 lógicas. github.com/nmatrices/nm...
June 3, 2025 at 10:22 AM
leme.bsky.social
O ano é 2035...
Quadro 1: Um robô pergunta para o outro: "E aí, como foi??" Quadro 2: O outro robô responde, triste: "Rodei, deu ruim..." Quadro 3: O primeiro robô consola o amigo, dizendo "Desencana, ano que vem tem de novo" Quadro 4: Vários robôs passando por baixo de uma faixa onde se lê "Teste de Turing".
May 2, 2025 at 1:11 PM
leme.bsky.social
Em breve
Menino do Acre exibindo uma estátua de Bruno Giordano no primeiro plano. Atrás, uma parede preenchida com anotações.
May 1, 2025 at 9:12 AM