AnalyticSort
@phialgorithm.bsky.social
Formal methods enthusiast and wannabe logician.
Chega no ouvido da cremosa e lança o papo:
"Gata [detalha exaustivamente como Newton da Costa brilhantemente encontrou um mecanismo que permite certo sistemas lógicos abarcarem contradições sem com isso carretar em trivialização."
"Gata [detalha exaustivamente como Newton da Costa brilhantemente encontrou um mecanismo que permite certo sistemas lógicos abarcarem contradições sem com isso carretar em trivialização."
November 6, 2025 at 7:52 PM
Chega no ouvido da cremosa e lança o papo:
"Gata [detalha exaustivamente como Newton da Costa brilhantemente encontrou um mecanismo que permite certo sistemas lógicos abarcarem contradições sem com isso carretar em trivialização."
"Gata [detalha exaustivamente como Newton da Costa brilhantemente encontrou um mecanismo que permite certo sistemas lógicos abarcarem contradições sem com isso carretar em trivialização."
Tirando umas fotos pra apagar logo depois
November 5, 2025 at 12:49 AM
Tirando umas fotos pra apagar logo depois
Como teria ficado o mundo se lógica modal tivesse se popularizado em filosofia com o Meaning and Necessity, do Carnap.
November 4, 2025 at 2:26 PM
Como teria ficado o mundo se lógica modal tivesse se popularizado em filosofia com o Meaning and Necessity, do Carnap.
Papa moggando tomista de internet
November 3, 2025 at 12:57 PM
Papa moggando tomista de internet
Católico, ex-comunista, agente do serviço secreto britânico, amigo de Fidel e de quebra, além dos romances literários, escrevia romances de mistério pra ganhar uma graninha a mais.
October 29, 2025 at 5:12 PM
Católico, ex-comunista, agente do serviço secreto britânico, amigo de Fidel e de quebra, além dos romances literários, escrevia romances de mistério pra ganhar uma graninha a mais.
A mais pura verdade
October 28, 2025 at 12:43 PM
A mais pura verdade
Desejo a todos vocês uma ótima semana
October 28, 2025 at 9:03 AM
Desejo a todos vocês uma ótima semana