Tony Rodrigues

Digital logic gates & Propositional logic are the bread & butter of computer scientists/engineers, electrical engineers and software engineers. Few of them know there is another 🆒 kind of Boolean logic, studied by the grandfather of computing, Leibniz: arxiv.org/abs/2308.12973

@gaurav02092031 @lingdiscovery Feel free to forbid them, if you have the power to do so. Be my guest. 🤷🏼‍♀️

@softwarewisdom @lingdiscovery Sure. Then I think mathematicians shouldn't be allowed to seek help from philosophers.

This is my favorite book on the evolution of language. What I love about it is that, while it does discuss both nativist (generativist) and functionalist approaches to language, I think it makes it pretty clear that only the functionalist approach really comports with all the genetic and paleontological evidence we have about the evolution of language.

@gaurav02092031 @lingdiscovery No. One of the main achievements of modern scientific Linguistics was to get rid of philosophical assumptions which are not evidence-based. The starting point of Linguistics research is empirical data, not philosophical sloganeering.

@lingdiscovery If you think about language, remember Ludwig Wittgenstein

@Dr_L_Strickland "Leibniz's drafts remind us [...] to recognize that [... Philosophy's] vitality lies precisely in the fact that it is process as much as it is destination."

Could the the "messiness" of Leibniz’s archive be his greatest gift to us? ✍️ New Blog: Why Leibniz Still Matters: leibnizpapers.org/blog11.htm #Leibniz #Philosophy

@philomathein Perhaps what's left is to save money to buy real estate with cash.

Growing wealth through investments as a Muslim is difficult. No GICs, no high interest savings, no government bonds. Many high-dividend stocks are not Shariah compliant. Any advice is warmly welcomed, especially about how to invest in, e.g., sukuk, as a Canadian.

@psicontraponto @rdrg_dcs @Julioh_Dip Tenho imóvel nessa plataforma. É contra as regras o anfitrião cancelar após a reserva ter sido efetivada, exceto por caso fortuito ou força maior. Cancelar para cobrar mais caro viola o Código de Defesa do Consumidor, art. 30; art. 39, X; art. 51, X. planalto.gov.br/ccivil_03/leis…

@rdrg_dcs @Julioh_Dip Tô chegando a essa conclusão. Queria Airbnb pela privacidade.

Fiz reserva pelo Airbnb de 04 a 07/06. Paguei no cartão e aguardei a proprietária entrar em contato. Agora a desquerida diz "para essa data, o valor será atualizado. Se ainda tiver interesse, entre em contato". Deixo de viajar, mas pra essa casa não vou! Isso é permitido, gente?

Leibniz on machines and machine thinking: Blog: Leibniz's Combinatorial Machine: leibnizpapers.org/combinatorial-… Article: Leibniz and the Mechanization of Thought: cambridge.org/core/journals/… Video: Why a Machine Can't Think: Leibniz's First Mill Argument (1685): youtube.com/watch?v=qETc5A…

@psicontraponto Uma boa notícia: Surgiu recentemente uma tecnologia para detectar endometriose mais cedo. A notícia está em inglês, mas basta ativar a tradução automática do navegador web para lê-la em português. bbc.com/news/articles/…

Eu tenho um nódulo no seio há mais de 20 anos. Há 3 anos, eu tinha acabado de fazer todos os exames e fui em uma ginecologista "nova" porque não aguentava mais só escutar que sentir dor incapacitante é normal. Sou acompanhada por um mastologista desde a descoberta do nódulo que avisou: "Volte apenas se houver alguma alteração no exame. Sua gineco pode acompanhar todo ano." A gineco "nova" mandou eu repetir todos os exames da mama e me encaminhou com urgência pro mastologista porque minha mãe estava em tratamento para câncer de mama na época. Imaginem o medo que eu fiquei... Obs: não houve alteração nos exames da mama, mas um monte de outras alterações (pólipo endometrial, aumento significativo dos dias de dor e do volume do sangramento). Ela ignorou tudo isso. Foi mais uma que disse que sentir dor é normal. Mas o nódulo no seio? Era urgente! Voltei ao mastologista com novos exames (sem alterações) morrendo de medo e contei toda a história. O fofo me tranquilizou mais uma vez, mas fez um alerta. "Procure outra opinião pra parte ginecológica, ok?" E foi assim que eu descobri a adenomeniose e a endometriose. O pólipo? Ela disse que não tinha nada a fazer. Mas foi retirado. O nódulo? Continua aqui sem alterações. Moral da história: Às vezes, encaminhar é o melhor que um profissional de saúde pode fazer. Mas não fazer o básico da SUA parte é no mínimo falta de cuidado humano ou negligência mesmo. O paciente merece mais.

@augustodefranco Não sei se chamam de propósito as democracias nórdicas de "socialistas" (mas que são, na verdade, social-democratas) para fingir ao eleitorado que querem implantar algo do tipo, sendo que na verdade estão sonhando com autocracias eleitorais socialistas.

A última frase do manifesto aprovado no oitavo congresso do PT é a seguinte: "Mais do que nunca temos de reafirmar nosso compromisso com o socialismo, e com um mundo democrático, de paz e de igualdade de direitos". Qual é o país socialista que faz parte do mundo democrático? A Venezuela, a Nicarágua, Cuba, Angola, o Vietnã, o Laos, a Coreia do Norte, a China? Sim, porque, enquanto isso, os militantes do PT delegados ao congresso pediam a volta de Maduro.

@augustodefranco Os países democráticos liberais estão corretos em preparar-se para os perigos que se apresentam. Acho até que foram muito lentos e hesitantes. Eles deveriam estar investindo muito mais, já que estão ao menos 4 anos atrasados. Ainda correm sério risco de serem derrotados.

O gasto militar global disparou e bateu o recorde de US$ 2,9 trilhões. A Rússia e a Coreia do Norte selaram parceria militar de longo prazo consolidando um eixo contra o Ocidente. A Alemanha está montando o exército mais forte da Europa até 2039. O Japão está projetando virar potência global na indústria de defesa. A Índia acelerou tanto seu gasto miliar que entrou no topo da corrida global por armas. A Dinamarca trabalha na formação de um escudo europeu. Até a Noruega vai produzir milhares de drones ucranianos. Alguém tem dúvida de que começou de novo a corrida armamentista? Alguém tem dúvida de que o mundo entrou em estado de guerra?

@psicontraponto Eu preferiria que uma pessoa terminasse comigo a viver ressentida por estar comigo. Não quero ser razão da infelicidade da vida de nenhuma mulher. Que vá buscar a felicidade com outra pessoa. Tomara que as próximas gerações questionem o encorajamento social à solidão a 2.

Eu tentei ser empatica, mas só consegui rir dessa frescura mesmo. Kkkkkkkkkkkkkkkkkkkkkkk

@tatacomaga @psicontraponto 🎯 Outra máxima que cabe para os mesmos sujeitos: "É muito namastê e pouco 'Bom dia!' pro porteiro." 😏

@psicontraponto Tudo esquerdomacho

E essa moça? Tem razão ou não tem? Eu concordo. Salvo raríssimas exceções. "(...) homem que questiona a propriedade privada, mas trata o trabalho feminino como um recurso infinito." Bom... eu deixo aí pra vocês porque fiz a minha escolha há 16 anos.

@Dr_L_Strickland I would translate "unum per se" as "one on its own", not "one through itself".

Near the end of his life, Leibniz wrote: "I begin as a philosopher but I end as a theologian". An English translation of the full text, "Some Remarks on My System", is here: leibniz-translations.com/system #Philosophy #Theology #Leibniz

@psicontraponto Ratos de academia. Passam quase todo o tempo livre curtindo o ambiente de musculação. 🐭

Essa semana eu vim malhar cada dia um horário. Mesmo assim encontrei 3 pessoas nos 3 horários diferentes. Alguém explica esse fenômeno?

@Carlosamlp @augustodefranco "Os direitos humanos é que me restringiam de agir da maneira apropriada para solucionar o problema..." 🙄

@augustodefranco Fica parecendo que os políticos querem uma válvula de escape da reponsabilidade de combater essas organizações.. dai o discurso de que "vejam bem, não fizemos nada antes por que a lei não chama eles de terroristas, mas agora que vão ser terroristas sim, agora vamos resolver"..

Agora o texto inteiro. Aqui explico por que são coisas diferentes e confundi-las é ruim para a democracia. revistaid.com.br/p/organizacao-…

@rfcapela @augustodefranco Com certeza! Concurso não garante caráter, mas garante que entrem indivíduos sem rabo preso com políticos, já que não teriam ingressado graças ao apadrinhamento, mas sim por mérito próprio. Para termos um Judiciário realmente independente dos potenciais réus, este é o caminho.

Agora os consultores acadêmicos do V-Dem são capazes de transformar o Brasil em democracia liberal de uma vez, dada a pronta resposta democrática à ameaça golpista de Alessandro Vieira por parte da Presidência da República e do STF.

@victoranicio @augustodefranco @WorldTr2003 Só a pouca-vergonha dos múltiplos escândalos de corrupção já deixa descarada a hipocrisia dessa gente. Qualquer eleitor ou militante que adota moralidade seletiva e tribal é indigno de minha confiança. Fico esperto com essa gente. 👀

@augustodefranco @WorldTr2003 Na visão dessa gente, a esquerda não faz nada de errado; está mais pura que a Virgem Maria, sem pecado nenhum.

🧐 EXISTE, SIM, POPULISMO DE ESQUERDA Segundo os acadêmicos e boa parte do jornalismo todo populismo é de extrema-direita. Isso é uma falsificação, mas eles insistem. É como se não existisse populismo de esquerda (ou, para alguns, é como se o populismo de esquerda fosse um populismo do bem). Chávez era de extrema-direita? Ou não era populista? López Obrador e Gustavo Petro são de extrema-direita? Ou não são populistas? Evo Morales e Rafael Correa são de extrema-direita? Ou não são populistas? Fernando Lugo e Maurício Funes são de extrema-direita? Ou não são populistas? Lula é de extrema-direita? Ou não é populista? Todos esses são de esquerda, não de extrema-direita. E todos esses são (ou foram) populistas. Existe populismo de esquerda (o neopopulismo), ele é diferente do populismo de direita (o populismo-autoritário ou nacional-populismo), mas ambos são iliberais. Nenhum deles é bom para a democracia.

@FaroFino557 @augustodefranco Não.

@augustodefranco Uma reforma, neste momento, seria para pior.

Uma reforma democrática do judiciário é um imperativo. Enquanto não fizermos isso não poderemos iniciar um processo de redemocratização do Brasil.

@MccardJoseph @wschroll @techNmak I have no knowledge to add about "subjective experience". Maybe psychologists and neuroscientists have, but I'm a lay person in those fields. Anyway, I came here to provide evidence that Leibniz was a pioneer in the Algebra of Logic and anticipated some aspects of Boolean logic.

@softwarewisdom @wschroll @techNmak The anthropic principle explains why we're here to notice the patterns it doesn't explain why there is subjective experience of those patterns rather than just the patterns occurring unwitnessed. That's the gap. You've explained the filter, not the experiencer passing through it.

In 1948, a 32-year-old at Bell Labs published a paper nobody fully understood. Engineers found it too mathematical. Mathematicians found it too engineering-focused. One prominent mathematician reviewed it negatively. That paper - "A Mathematical Theory of Communication", became the founding document of the digital age. The man was Claude Shannon. Father of Information Theory. At 21, he wrote the most important master's thesis of the 20th century. Working at MIT on an early mechanical computer, Shannon noticed its relay switches had exactly two states - open or closed. He had just taken a philosophy course introducing Boolean algebra, which also operated on two values: true and false. Nobody had ever connected these two things. His 1937 thesis proved that Boolean algebra and electrical circuits are mathematically identical, and that any logical operation could be built from simple switches. Howard Gardner called it "possibly the most important, and also the most famous, master's thesis of the century." Every digital computer ever built traces back to this insight. At 29, he proved that perfect encryption exists. During WWII, Shannon worked on classified cryptography at Bell Labs. His work contributed to SIGSALY, the secure voice system used for confidential communications between Roosevelt and Churchill. In a classified 1945 memorandum, he mathematically proved the one-time pad provides perfect secrecy, unbreakable not just computationally, but provably, permanently, against an adversary with infinite power. When declassified in 1949, it transformed cryptography from an art into a science. It laid the foundations for DES, AES, and every modern encryption standard. At 32, he defined what information is. His 1948 paper introduced one equation: H = −Σ p(x) log p(x) Shannon entropy. The average uncertainty in a probability distribution. The minimum bits required to encode a message. Three things followed: > He defined the bit - the fundamental unit of all information. His colleague John Tukey coined the name. > He proved the channel capacity theorem, every communication channel has a maximum rate of reliable transmission. You can approach it. You can never exceed it. > He unified telegraph, telephone, and radio into a single mathematical framework for the first time. Robert Lucky of Bell Labs called it the greatest work "in the annals of technological thought." Where his equation lives in AI today: Cross-entropy loss - the function training every classifier and language model, is derived directly from H. Decision tree splits use information gain, which is H applied to data. Perplexity, the standard LLM evaluation metric, is an exponentiation of cross-entropy. Every time a neural network trains, Shannon's formula runs inside it. He also built the first AI learning device. In 1950, Shannon built Theseus, a mechanical mouse that navigated a maze through trial and error, learned the correct path, and repeated it perfectly. Mazin Gilbert of Bell Labs said: "Theseus inspired the whole field of AI." That same year he published the first paper on programming a computer to play chess. He co-organized the 1956 Dartmouth Workshop, the founding event of AI as a field. The man: He rode a unicycle through Bell Labs hallways while juggling. He built a flame-throwing trumpet, a rocket-powered Frisbee, and Styrofoam shoes to walk on the lake behind his house. He called his home Entropy House. When asked what motivated him: "I was motivated by curiosity. Never by the desire for financial gain. I just wondered how things were put together." In 1985, he appeared unexpectedly at a conference in Brighton. The crowd mobbed him for autographs. Persuaded to speak at the banquet, he talked briefly, then pulled three balls from his pockets and juggled instead. One engineer said: "It was as if Newton had showed up at a physics conference." He died in 2001 after a decade with Alzheimer's, the cruel irony of information slowly leaving the mind of the man who defined what information was. Claude, the AI model, is named after Claude Shannon, the mathematician who laid the foundation for the digital world we rely on today.

@MccardJoseph @wschroll @techNmak I'm not sure whether you're wondering about the amazing success in applying math as a tool to model patterns/phenomena in the real world. If it is, I don't see it as surprising. After all, if our natural Universe didn't have repeatable patterns, *we* wouldn't be here to wonder.

@softwarewisdom @wschroll @techNmak Tony, If Mathematics and Logic study formalisms rather than the natural Universe, then the explanatory gap isn't a criticism of those fields, it's their defining boundary. What sits on the other side of that boundary? Do current frameworks even have tools to approach it?

@MccardJoseph @wschroll @techNmak "Explanatory gap" for explaining what? Axiomatic systems are usually developed for studying its (formal) consequences. Of course, one may develop an axiomatic system to be a suitable model for a real-world application. But the derived theorems are independent of applications.

@softwarewisdom @wschroll @techNmak Tony, Hilbert, Abstract Algebra, is the tradition that brackets semantic questions in favor of syntactic manipulation. That's its power and its limit. Applicability doesn't close the Explanatory Gap, it just exports the same gap into every domain the symbols are mapped onto.