RS: DNA and proteins might be good places to look for logical graphs in nature since our tech for mapping those structures has become fairly proficient lately. Do you think we could train some kind of neural net to find the patterns? Might that lead to a real breakthrough in computational microbiology?
Models of neural nets are extremely various. I don’t especially cotton to the ones based on threshold computation, as I think they’re bound to remain rather dumb. I view all those blinking neurons as something like a night view of the earth’s cities from space. What we see is only a measure of the raw power consumption occurring in the cities, buildings, and homes, not anything like the actual processes going on inside those sites.
- Leibniz, Gottfried W. (1679–1686?), “Addenda to the Specimen of the Universal Calculus”, pp. 40–46 in G.H.R. Parkinson (ed., trans., 1966), Leibniz : Logical Papers, Oxford University Press, London, UK.
- This Blog
- OEIS Wiki • (1) • (2) • (3)
- PlanetMath • Praeclarum Theorema
- Metamath Proof Explorer • Praeclarum Theorema
- Frithjof Dau • Computer Animated Proof of Leibniz’s Praeclarum Theorema
- Logic Syllabus
- Logical Graphs
- Cactus Language
- Futures Of Logical Graphs
- Minimal Negation Operators
- Survey of Theme One Program
- Survey of Animated Logical Graphs
- Propositional Equation Reasoning Systems
- How To Succeed In Proof Business Without Really Trying
- Applications of a Propositional Calculator • Constraint Satisfaction Problems
- Exploratory Qualitative Analysis of Sequential Observation Data