In an attempt to build a tool to easily create software applications I found out that I needed to understand logic with good clarity. This took me on a journey tracing back history of logic. Here's a thread where I share some of the cool stuff I am finding on this journey.
-
-
Jorge Luis Borges and Martin Gardner has written on Llull’s diagrams. Borges has a lukewarm take on it: https://www.gwern.net/docs/borges/1937-borges-raymondllullsthinkingmachine.pdf … Martin Gardner mostly dismisses it and thinks Llull was far behind his own times’ intellectual progress: https://archive.org/details/logicmachinesdia227gard …pic.twitter.com/Z4Ag3HPbKl
Prikaži ovu nit -
To fulfil Leibniz' project of Characteristica Universalis, Giuseppe Peano learnt the craft of book printing, invented his own Latin variant, and published five volumes. Source: Mechanization of Reasoning by Murawski and Marciszewski /via https://pron.github.io/posts/computation-logic-algebra-pt3 …pic.twitter.com/K667mjqI7I
Prikaži ovu nit -
Umberto Eco has written a book about this project of creating an alphabet of thought. The Search for the Perfect Language (1993): https://amzn.to/3a843DO pic.twitter.com/y45jW7wl4R
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
-
-
Discovered this essay by David Link on “Scrambling T-R-U-T-H: Rotating Letters as a Material Form of Thought”: http://www.alpha60.de/research/scrambling_truth/DavidLink_ScramblingTruth2010_100dpi.pdf … Seems like a good read to understand the methodology and historical trajectory of Zairjas.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.