jm phone home<p><a href="https://mastodon.social/tags/atheist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>atheist</span></a> <a href="https://mastodon.social/tags/god" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>god</span></a> <a href="https://mastodon.social/tags/religion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>religion</span></a> <a href="https://mastodon.social/tags/bible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bible</span></a> <a href="https://mastodon.social/tags/faith" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>faith</span></a> <a href="https://mastodon.social/tags/church" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>church</span></a> <a href="https://mastodon.social/tags/atheism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>atheism</span></a> <a href="https://mastodon.social/tags/noreligion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>noreligion</span></a> <a href="https://mastodon.social/tags/religionfree" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>religionfree</span></a> <a href="https://mastodon.social/tags/antireligion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>antireligion</span></a> <a href="https://mastodon.social/tags/freedomfromreligion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>freedomfromreligion</span></a> <a href="https://mastodon.social/tags/goodwithoutgod" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>goodwithoutgod</span></a> <a href="https://mastodon.social/tags/nogod" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nogod</span></a> <a href="https://mastodon.social/tags/godless" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>godless</span></a> <a href="https://mastodon.social/tags/heathen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>heathen</span></a> <a href="https://mastodon.social/tags/nonbeliever" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nonbeliever</span></a> <a href="https://mastodon.social/tags/skeptic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>skeptic</span></a> <a href="https://mastodon.social/tags/secular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>secular</span></a> <a href="https://mastodon.social/tags/humanist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>humanist</span></a> <a href="https://mastodon.social/tags/freethinker" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>freethinker</span></a> <a href="https://mastodon.social/tags/think" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>think</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/reason" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reason</span></a> <a href="https://mastodon.social/tags/prayer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prayer</span></a> <a href="https://mastodon.social/tags/sin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sin</span></a> <a href="https://mastodon.social/tags/Christianity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Christianity</span></a> <a href="https://mastodon.social/tags/nogodsnomasters" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nogodsnomasters</span></a> <a href="https://mastodon.social/tags/islam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>islam</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
en.osm.town is one of the many independent Mastodon servers you can use to participate in the fediverse.
An independent, community of OpenStreetMap people on the Fediverse/Mastodon.
Funding graciously provided by the OpenStreetMap Foundation.
Administered by:
Server stats:
256active users
en.osm.town: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#logic
3 posts · 3 participants · 1 post today
RanaldClouston<p>I'm pleased to say that I'm helping to organise the <a href="https://fediscience.org/tags/ANU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ANU</span></a> <a href="https://fediscience.org/tags/LogicSummerSchool" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicSummerSchool</span></a> , which will be running in its 33rd straight year! The website <a href="https://comp.anu.edu.au/lss/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">comp.anu.edu.au/lss/</span><span class="invisible"></span></a> is mostly TBA notices at the moment, of course, but we do have the dates: 1-12 December. This is an international event and we hope to be able to have a limited number of grants available for students to use to travel to <a href="https://fediscience.org/tags/Canberra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Canberra</span></a> . <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
petersuber<p>Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by <a href="https://fediscience.org/tags/Wiley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Wiley</span></a>) resigned and launched a new <a href="https://fediscience.org/tags/DiamondOA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DiamondOA</span></a> journal on the same topics.<br><a href="https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">open-access.network/services/n</span><span class="invisible">ews/artikel/ruecktritt-des-mlq-editorial-teams</span></a></p><p>See the open letter announcing their resignations and plans for the new journal.<br><a href="https://zml.international/files/zml-open-letter.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">zml.international/files/zml-op</span><span class="invisible">en-letter.pdf</span></a></p><p>The new journal has a German title but will publish in English, _Zeitschrift für Mathematische Logik und Grundlagen der Mathematik_.<br><a href="https://zml.international/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">zml.international/</span><span class="invisible"></span></a></p><p>I track these journal "declarations of independence" in the <a href="https://fediscience.org/tags/OpenAccessDirectory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenAccessDirectory</span></a> (<a href="https://fediscience.org/tags/OAD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OAD</span></a>), and just added an entry for this one, at the bottom in chronological order. <br><a href="https://oad.simmons.edu/oadwiki/Journal_declarations_of_independence#2025" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oad.simmons.edu/oadwiki/Journa</span><span class="invisible">l_declarations_of_independence#2025</span></a> </p><p>I also track them — and discussions of them — in the Open Access Tracking Project (<a href="https://fediscience.org/tags/OATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OATP</span></a>, <span class="h-card" translate="no"><a href="https://fediscience.org/@oatp" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>oatp</span></a></span>). <br><a href="http://tagteam.harvard.edu/hubs/oatp/tag/oa.declarations_of_independence" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">tagteam.harvard.edu/hubs/oatp/</span><span class="invisible">tag/oa.declarations_of_independence</span></a></p><p><a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://fediscience.org/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://fediscience.org/tags/OpenAccess" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenAccess</span></a> <a href="https://fediscience.org/tags/ScholComm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ScholComm</span></a></p>
Rowan Brad Quni<p><span class="h-card" translate="no"><a href="https://mastodon.world/@paninid" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>paninid</span></a></span> fast forward to the present and scientists who barely study <a href="https://mstdn.science/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> label <a href="https://mstdn.science/tags/metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>metaphysics</span></a> as <a href="https://mstdn.science/tags/pseudoscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pseudoscience</span></a> (forgetting what <a href="https://mstdn.science/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> means), torment <a href="https://mstdn.science/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> for the benefit of "elegant" <a href="https://mstdn.science/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> equations (e.g. antimatter, dark <a href="https://mstdn.science/tags/matter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>matter</span></a>), and design <a href="https://mstdn.science/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mstdn.science/tags/systems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>systems</span></a> that weaponize <a href="https://mstdn.science/tags/ethics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ethics</span></a> as justification for <a href="https://mstdn.science/tags/information" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>information</span></a> <a href="https://mstdn.science/tags/censorship" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>censorship</span></a> (<a href="https://mstdn.science/tags/ChatGPT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ChatGPT</span></a> "knows" but refuses to answer how to a hot wire a car or commit murder while claiming no <a href="https://mstdn.science/tags/opinion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>opinion</span></a>, ignorant that words and actions are different)</p>
Coach Pāṇini ®<p><a href="https://mastodon.world/tags/Aristotle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Aristotle</span></a> named five interlinked Noble Sciences which together make up <a href="https://mastodon.world/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Philosophy</span></a>. </p><p>- <a href="https://mastodon.world/tags/Metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Metaphysics</span></a>: the study of existence, the nature of the universe and all its contents</p><p>- <a href="https://mastodon.world/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a>: the ways we may know something, the set of permissible conclusions we may draw based on our perceptions, and some sensible rules of deduction and inference</p><p>- <a href="https://mastodon.world/tags/Ethics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ethics</span></a>: what we know about man and what we may deduce and infer (through Logic) about acceptable interactions between pairs of individuals</p><p>1/2</p>
Metin Seven 🎨<p>“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”</p><p>― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦</p><p><a href="https://graphics.social/tags/quote" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quote</span></a> <a href="https://graphics.social/tags/quotes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quotes</span></a> <a href="https://graphics.social/tags/thoughts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>thoughts</span></a> <a href="https://graphics.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> <a href="https://graphics.social/tags/wisdom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>wisdom</span></a> <a href="https://graphics.social/tags/dune" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dune</span></a> <a href="https://graphics.social/tags/universe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>universe</span></a> <a href="https://graphics.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://graphics.social/tags/human" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>human</span></a> <a href="https://graphics.social/tags/humans" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>humans</span></a> <a href="https://graphics.social/tags/humanity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>humanity</span></a></p>
Greg Restall<p>I’m just about to be on the road again, to talk about proof theory, modal logic, a hint of medieval logic, and even a tiny smidgen of metaphysics. </p><p>On this little European jaunt, the first stop is Prague, then Vienna, and at the end, Amsterdam. I’m looking forward to meeting old friends and making new ones. If you’re in that part of the world, and you’re into that sort of thing, I’d love to see you.</p><p><a href="https://consequently.org/presentation/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">consequently.org/presentation/</span><span class="invisible"></span></a></p><p><a href="https://hcommons.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> <a href="https://hcommons.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://hcommons.social/tags/metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>metaphysics</span></a></p>
Corey S Powell<p>Why do "extraordinary claims require extraordinary evidence"? </p><p>In my new Invisible Universe column, I decode how the phrase that Carl Sagan made famous is routinely misunderstood & abused -- and how to use it as the BS detector it's meant to be.</p><p><a href="https://invisibleuniverse.substack.com/p/why-do-extraordinary-claims-require" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">invisibleuniverse.substack.com</span><span class="invisible">/p/why-do-extraordinary-claims-require</span></a> <a href="https://mastodon.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>science</span></a> <a href="https://mastodon.social/tags/history" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>history</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a></p>
screwlisp<p><a href="https://mastodon.sdf.org/tags/formalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalMethods</span></a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>commonLisp</span></a> <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>acl2</span></a> <a href="https://mastodon.sdf.org/tags/itch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>itch</span></a> <a href="https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lispy-gopher-show.itch.io/lisp</span><span class="invisible">moo2/devlog/907091/formal-game-logic</span></a></p><p>Since yesterday I advocated strong use of defgeneric, defmethod and McCLIM's define-command, here I present </p><p>just giving lisp's defun to acl2's first order <a href="https://mastodon.sdf.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a>.</p><p>I present a batch processing style for using acl2 both in <a href="https://mastodon.sdf.org/tags/shell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>shell</span></a> and in <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> with a worked example.</p><p>Thoughts and opinions, gamedevs and logical types?</p>
Mindlabor<p>Spring Sale on Steam has just arrived! Buy Quadrata and Lovux with 40% OFF between Mar 13th and Mar 20th! 🌸🍃<br><a href="https://store.steampowered.com/developer/mindlabor" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">store.steampowered.com/develop</span><span class="invisible">er/mindlabor</span></a></p><p><a href="https://mastodon.gamedev.place/tags/gamedev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.gamedev.place/tags/indiedev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>indiedev</span></a> <a href="https://mastodon.gamedev.place/tags/indiegame" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>indiegame</span></a> <a href="https://mastodon.gamedev.place/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.gamedev.place/tags/minimal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>minimal</span></a> <a href="https://mastodon.gamedev.place/tags/puzzle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>puzzle</span></a> <a href="https://mastodon.gamedev.place/tags/puzzlegame" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>puzzlegame</span></a> <a href="https://mastodon.gamedev.place/tags/madewithunity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>madewithunity</span></a></p>
Nick Byrd, Ph.D.<p><a href="https://nerdculture.de/tags/Microsoft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Microsoft</span></a>'s viral paper about *correlations* between <a href="https://nerdculture.de/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> use and <a href="https://nerdculture.de/tags/criticalThinking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>criticalThinking</span></a> also has "impact" in the title (despite admitting "Our analysis does not establish <a href="https://nerdculture.de/tags/causation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>causation</span></a>"). 🤦♂️</p><p><a href="https://nerdculture.de/tags/Confidence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Confidence</span></a> in <a href="https://nerdculture.de/tags/GenAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenAI</span></a> predicted LESS critical thinking.</p><p>SELF-confidence predicted MORE critical thinking.</p><p>PREDICTED ≠ CAUSED</p><p><a href="https://www.microsoft.com/en-us/research/publication/the-impact-of-generative-ai-on-critical-thinking-self-reported-reductions-in-cognitive-effort-and-confidence-effects-from-a-survey-of-knowledge-workers/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">microsoft.com/en-us/research/p</span><span class="invisible">ublication/the-impact-of-generative-ai-on-critical-thinking-self-reported-reductions-in-cognitive-effort-and-confidence-effects-from-a-survey-of-knowledge-workers/</span></a></p><p><a href="https://nerdculture.de/tags/computerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computerScience</span></a> <a href="https://nerdculture.de/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://nerdculture.de/tags/work" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>work</span></a> <a href="https://nerdculture.de/tags/decisionScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decisionScience</span></a> <a href="https://nerdculture.de/tags/psychology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>psychology</span></a> <a href="https://nerdculture.de/tags/surveyResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>surveyResearch</span></a> <a href="https://nerdculture.de/tags/management" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>management</span></a> <a href="https://nerdculture.de/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
The Krononaut Moon Project 🌑<p> <br>Every <a href="https://me.dm/tags/TimeTravel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TimeTravel</span></a> <a href="https://me.dm/tags/Paradox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Paradox</span></a> Explained in 8 Minutes. </p><p>At The <a href="https://me.dm/tags/KrononautMoon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KrononautMoon</span></a> Project, we long to see real Time Travel in our time, while being painfully aware of the criticisms of the concept. Still, despite its near-hopeless <a href="https://me.dm/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a>, we are moving ahead with our attempts to contact <a href="https://me.dm/tags/TimeTravelers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TimeTravelers</span></a> on Thu-Fri Nights of next week. Please join us under the <a href="https://me.dm/tags/FullMoon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FullMoon</span></a> & <a href="https://me.dm/tags/TotalLunarEclipse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TotalLunarEclipse</span></a>, and share lots of <a href="https://me.dm/tags/MoonPhotos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MoonPhotos</span></a>.</p><p>🔗 <a href="https://www.youtube.com/watch?v=qQ7hfWtTR_E" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=qQ7hfWtTR_</span><span class="invisible">E</span></a> 2024 Jul 12 <br>🔗 <a href="https://en.Wikipedia.org/wiki/Temporal_paradox" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.Wikipedia.org/wiki/Temporal</span><span class="invisible">_paradox</span></a> </p><p><a href="https://me.dm/tags/Kronodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kronodon</span></a></p>
bgm<p>Hey there, any <a href="https://musicians.today/tags/VoiceOver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VoiceOver</span></a> peeps know how to configure a <a href="https://musicians.today/tags/UniversalAudio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversalAudio</span></a> Solo/Arrow interface to record my <a href="https://musicians.today/tags/VO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VO</span></a> in a <a href="https://musicians.today/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> session with a client directing me on a video call? I’ve tried all the videos and articles about routing and virtual channels in <a href="https://musicians.today/tags/Console" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Console</span></a> but in a recent Meets call, Meets just hijacked my audio so it was really quiet in Logic. Don’t know what I’m doing wrong. If you could explain it like I’m a baby that would be awesome. Don’t wanna use Loopback.<br><a href="https://musicians.today/tags/HomeRecording" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HomeRecording</span></a> <a href="https://musicians.today/tags/Video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Video</span></a></p>
Tom de Jong<p>36th European Summer School in Logic, Language and Information<br><a href="https://2025.esslli.eu/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">2025.esslli.eu/</span><span class="invisible"></span></a></p><p>Registration is now open for students!</p><p>Boosts are appreciated.</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/computerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computerscience</span></a></p>
RanaldClouston<p>I didn't get any replies to this, but from my own reading, I can report that the version of Gödel's completeness proof presented in the book 'Logic for Mathematics and Computer Science' by Stanley N. Burris is the nicest I've found so far. <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
Friedrich Wilhelm Grafe<p><span class="h-card"><a href="https://mas.to/@tg9541" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>tg9541</span></a></span> <span class="h-card"><a href="https://a.gup.pe/u/bookstodon" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bookstodon</span></a></span> <span class="h-card"><a href="https://a.gup.pe/u/philosophy" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>philosophy</span></a></span> </p><p>yes, agree in a way. but do not see a win in playing off those two against each other, as later (after their common work PM) their work developed rather independently in more or less complementary areas, sometimes overlapping in <a href="https://fediphilosophy.org/tags/PhilSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhilSci</span></a> topics.</p><p>E.g., if one focusses in <a href="https://fediphilosophy.org/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> first of all on questions of <a href="https://fediphilosophy.org/tags/ontology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ontology</span></a> (of science), ANW's process ontology will be much more impressive than the duplicating entities of logical constructs in say 'logical atomism' (which imop is a late and needless sin of BR). </p><p>If, on the other hand, the main focus is <a href="https://fediphilosophy.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> and logic related<br><a href="https://fediphilosophy.org/tags/epistemology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>epistemology</span></a> and/or <a href="https://fediphilosophy.org/tags/PhilMath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhilMath</span></a>, there is roughly anything deeper and more worth considering than say the theory of incomplete symbols; and perhaps no more careful and penetrating study than the ramified theory of types as developed from the circulus vitiosus argument, even when this theory was abandoned in the sequel for independent reasons.</p>
Oscar Cunningham<p>Is there a theory in which Gödel's Incompleteness Theorem is natural to prove? Something like a first-order theory of abstract syntax trees.</p><p>Then you could split the usual proof into two parts. First prove the theorem for this theory, which would allow you to present the core ideas without getting caught up in details. Then use Gödel numbering to show that this theory has an interpretation in PA.</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/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maths</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Godel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Godel</span></a> <a href="https://mathstodon.xyz/tags/G%C3%B6del" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gödel</span></a></p>
José A. Alonso<p>Homo Ratiocinator (Reckoning Human): The author proposes an alternative to Homo Sapiens (“wise human” in Latin): Homo Rationcinator, or reckoning human—where reckoning refers to both reasoning and computing. ~ Moshe Y. Vardi. <a href="https://cacm.acm.org/opinion/homo-ratiocinator-reckoning-human/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cacm.acm.org/opinion/homo-rati</span><span class="invisible">ocinator-reckoning-human/</span></a> <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/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
ƧƿѦςɛ♏ѦਹѤʞ<p><a href="https://mastodon.social/tags/TrolleyProblem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TrolleyProblem</span></a> <br><a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> <br><a href="https://mastodon.social/tags/Muskovia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Muskovia</span></a></p>
Tariq<p>If you struggled with the traditional <a href="https://mastodon.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> courses .. this course was developed for you.</p><p>✅ Develop understanding through hands-on bite-size examples.</p><p>✅ Talk through how new ideas work, step-by-step.</p><p>✅ Avoid terminology and jargon</p><p>www.amazon.com/dp/B0BTQ7P69H/</p><p><a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.social/tags/metaprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>metaprogramming</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