Hacker News<p>A brief meditation on formal systems and lying goblins — <a href="https://the-nerve-blog.ghost.io/a-brief-meditation-on-formal-systems-and-lying-goblins/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">the-nerve-blog.ghost.io/a-brie</span><span class="invisible">f-meditation-on-formal-systems-and-lying-goblins/</span></a><br><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/formalSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalSystems</span></a> <a href="https://mastodon.social/tags/lyingGoblins" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lyingGoblins</span></a> <a href="https://mastodon.social/tags/meditation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>meditation</span></a> <a href="https://mastodon.social/tags/techPhilosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>techPhilosophy</span></a> <a href="https://mastodon.social/tags/cognitiveScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cognitiveScience</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.
Administered by:
Server stats:
8.8Kactive users
mastodon.world: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.8
#formalsystems
0 posts · 0 participants · 0 posts today
Jon Awbrey<p><a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> • 3<br>• <a href="https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/w/index.php?title=Log</span><span class="invisible">ical_Graphs&stable=0&redirect=no</span></a></p><p>We begin on a low but expansive plateau of <a href="https://mathstodon.xyz/tags/FormalSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalSystems</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> mapped out in his system of <a href="https://mathstodon.xyz/tags/AlphaGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGraphs</span></a> \((\alpha),\) a platform so abstract in its mathematical forms as to support at least two interpretations for use in the conduct of logical reasoning. Along the way, we incorporate the later contributions of George <a href="https://mathstodon.xyz/tags/SpencerBrown" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SpencerBrown</span></a>, who revived and augmented Peirce's system in his book <a href="https://mathstodon.xyz/tags/LawsOfForm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LawsOfForm</span></a>.</p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GraphTheory</span></a> <a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ModelTheory</span></a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProofTheory</span></a></p>
Jon Awbrey<p><a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> • 2<br>• <a href="https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/w/index.php?title=Log</span><span class="invisible">ical_Graphs&stable=0&redirect=no</span></a></p><p>In the century since <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> initiated this line of development, a variety of <a href="https://mathstodon.xyz/tags/FormalSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalSystems</span></a> have branched out from what is abstractly the same formal base of graph-theoretic structures. This article examines the common basis of those formal systems from a bird's eye view, focusing on those aspects of form shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.</p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/GraphTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GraphTheory</span></a></p>
Aaron<p>Some things that fascinate me:</p><p><a href="https://techhub.social/tags/cognition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cognition</span></a> <a href="https://techhub.social/tags/epistemology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>epistemology</span></a> <a href="https://techhub.social/tags/NaturalLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NaturalLanguage</span></a> <a href="https://techhub.social/tags/PhenomenalConsciousness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhenomenalConsciousness</span></a> <a href="https://techhub.social/tags/perception" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>perception</span></a> <a href="https://techhub.social/tags/ArtificialGeneralIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialGeneralIntelligence</span></a> <a href="https://techhub.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reasoning</span></a> <a href="https://techhub.social/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://techhub.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://techhub.social/tags/FormalSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalSystems</span></a> <a href="https://techhub.social/tags/symbols" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>symbols</span></a> <a href="https://techhub.social/tags/ScientificMethod" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ScientificMethod</span></a> <a href="https://techhub.social/tags/SocialOrganization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SocialOrganization</span></a> <a href="https://techhub.social/tags/generalization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generalization</span></a> <a href="https://techhub.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://techhub.social/tags/meaning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>meaning</span></a> <a href="https://techhub.social/tags/ValueTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ValueTheory</span></a> <a href="https://techhub.social/tags/ArtificialLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialLife</span></a> <a href="https://techhub.social/tags/GeneticProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GeneticProgramming</span></a> <a href="https://techhub.social/tags/ReinforcementLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ReinforcementLearning</span></a> <a href="https://techhub.social/tags/autism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>autism</span></a> <a href="https://techhub.social/tags/evolution" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>evolution</span></a> <a href="https://techhub.social/tags/economics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>economics</span></a> <a href="https://techhub.social/tags/MonetaryPolicy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MonetaryPolicy</span></a> <a href="https://techhub.social/tags/VotingMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VotingMethods</span></a> <a href="https://techhub.social/tags/DistributedSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DistributedSystems</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload