Mathstodon

0 posts0 participants0 posts today

Alexander Karl Koller0 = ♾️ <a href="https://mastodon.social/tags/SymbolicLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SymbolicLogic</a> <a href="https://mastodon.social/tags/metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#metaphysics</a> <a href="https://mastodon.social/tags/physics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#physics</a> <a href="https://mastodon.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#science</a> <a href="https://mastodon.social/tags/TheoryOfEverything" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TheoryOfEverything</a> <a href="https://mastodon.social/tags/surreal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#surreal</a> <a href="https://mastodon.social/tags/real" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#real</a> <a href="https://mastodon.social/tags/newfrontiers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#newfrontiers</a> <a href="https://mastodon.social/tags/infinity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#infinity</a> <a href="https://mastodon.social/tags/knowledge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#knowledge</a> <a href="https://mastodon.social/tags/think" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#think</a> <a href="https://mastodon.social/tags/mind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mind</a> <a href="https://mastodon.social/tags/universe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#universe</a> <a href="https://mastodon.social/tags/nature" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nature</a> <a href="https://mastodon.social/tags/expand" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#expand</a> <a href="https://mastodon.social/tags/consciousness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#consciousness</a> <a href="https://mastodon.social/tags/reality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#reality</a> <a href="https://mastodon.social/tags/aiartist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#aiartist</a> <a href="https://mastodon.social/tags/existence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#existence</a> <a href="https://mastodon.social/tags/basics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#basics</a> <a href="https://mastodon.social/tags/framwork" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#framwork</a> <a href="https://mastodon.social/tags/symbolic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#symbolic</a> <a href="https://mastodon.social/tags/RSI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RSI</a> <a href="https://mastodon.social/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://mastodon.social/tags/technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#technology</a>

Steven CarneiroThe need for symbolic logic: <a href="https://social.vivaldi.net/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://social.vivaldi.net/tags/symboliclogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#symboliclogic</a> <a href="https://social.vivaldi.net/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mathematics</a> <a href="https://social.vivaldi.net/tags/rationalthinking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rationalthinking</a> <a href="https://social.vivaldi.net/tags/citizenry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#citizenry</a> 🤓<a href="https://www.scientificamerican.com/article/the-u-s-should-teach-kids-to-think-logically/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.scientificamerican.com/article/the-u-s-should-teach-kids-to-think-logically/</a>

Simon LucyAnd" For example, the difficulties of the Forty-Seventh Proposition of Euclid are mere child's play compared with the mental torture endured in the effort to think out the essential nature of a straight Line. And, in the present work, the difficulties of the " 5 Liars" Problem, at p. 188, are " trifles, light as air," compared with the bewildering question '' What is a Thing ""<a href="https://mastodon.social/tags/SemWeb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SemWeb</a> <a href="https://mastodon.social/tags/SymbolicLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SymbolicLogic</a>

Simon LucyShould Lewis Caroll be entered into the firmament of SemWeb? From the Introduction to Symbolic Logic. "In Book I, Chapter II, I have adopted a new definition of ‘Classification’, which enables me to regard the whole Universe as a ‘Class,’ and thus to dispense with the very awkward phrase ‘a Set of Things.’"<a href="https://mastodon.social/tags/SymbolicLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SymbolicLogic</a> <a href="https://mastodon.social/tags/SemWeb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SemWeb</a>

Daniel M Gessel<a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="tag">#Introduction</a> I'm a retired programmer with some Math and Theoretical Computer Science lurking in dim memory. From the same era as those recollections is a dogged sense that <a href="https://mathstodon.xyz/tags/SymbolicLogic" class="mention hashtag" rel="tag">#SymbolicLogic</a> has more to offer the day-to-day practice of programming than Prolog as a language option. Through self-study (and coding exercises!) I hope to, mostly, have fun while gaining some mastery over these vague intuitions.

Brandon Perez-Hall😂 I just realized that with my ideas regarding a <a href="https://scholar.social/tags/theorygraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TheoryGraph</a>, especially on a personal level, procedurally-generated academic papers could quite become a thing — likely on a first draft basis — and truly not be all that bad, especially if/when propositions get distilled into <a href="https://scholar.social/tags/symboliclogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#symbolicLogic</a>. <a href="https://scholar.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

Brandon HallI need to (re)learn <a href="https://mastodon.social/tags/proofs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#proofs</a>. Two <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#math</a> peoples showed me some, and the ones they work with look different from those I worked with in <a href="https://mastodon.social/tags/symboliclogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#symbolicLogic</a> (basic-ish <a href="https://mastodon.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a>). My proof example was incomprehension to them and theirs to me, so 😫 <a href="https://mastodon.social/tags/college" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#college</a>

Recent searches

Search options

Administered by:

Server stats:

#symboliclogic