Helvede

3 posts3 participants2 posts today

Clément AubertThe 9th International Workshop on Trends in Linear Logic and Applications (<a href="https://lipn.info/tags/TLLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TLLA</a>) will take place in Birmingham, 🇬🇧, on 19–20 July 2025. Contributions are open to tutorials, discussions, position papers, work in progress & open questions!Anything related to <a href="https://lipn.info/tags/linear" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#linear</a> <a href="https://lipn.info/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> welcome. s::= s ⊗ s | s ⊕ s | s ⊸ s | s & s | s ⅋ s | !s | ?s⏳ Submission: 21 May 2025 ⌛ Notification: 28 May 2025🔗 <a href="https://lipn.univ-paris13.fr/TLLA/2025/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lipn.univ-paris13.fr/TLLA/2025/</a>

earthlingTwisted Logic; Puzzles, Paradoxes, and Big Questions by Leighton Vaughan Williams, 2024Draws upon an array of popular and novel puzzles, problems, and paradoxes, and uses these to help understand and navigate our everyday world. Addresses some of the big questions. Aimed at all those interested in learning about weird and wonderful problems and paradoxes.<a href="https://a.gup.pe/u/bookstodon" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@bookstodon</a> <a href="https://mastodon.social/@books" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@books</a> <a href="https://mastodon.social/tags/nonfiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nonfiction</a> <a href="https://mastodon.social/tags/thinking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#thinking</a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

petersuberToday 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">#Wiley</a>) resigned and launched a new <a href="https://fediscience.org/tags/DiamondOA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DiamondOA</a> journal on the same topics. <a href="https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams</a>See the open letter announcing their resignations and plans for the new journal. <a href="https://zml.international/files/zml-open-letter.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://zml.international/files/zml-open-letter.pdf</a>The new journal has a German title but will publish in English, _Zeitschrift für Mathematische Logik und Grundlagen der Mathematik_. <a href="https://zml.international/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://zml.international/</a>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">#OpenAccessDirectory</a> (<a href="https://fediscience.org/tags/OAD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OAD</a>), and just added an entry for this one, at the bottom in chronological order. <a href="https://oad.simmons.edu/oadwiki/Journal_declarations_of_independence#2025" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://oad.simmons.edu/oadwiki/Journal_declarations_of_independence#2025</a> 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">#OATP</a>, <a href="https://fediscience.org/@oatp" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@oatp</a>). <a href="http://tagteam.harvard.edu/hubs/oatp/tag/oa.declarations_of_independence" rel="nofollow noopener noreferrer" translate="no" target="_blank">http://tagteam.harvard.edu/hubs/oatp/tag/oa.declarations_of_independence</a><a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://fediscience.org/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mathematics</a> <a href="https://fediscience.org/tags/OpenAccess" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenAccess</a> <a href="https://fediscience.org/tags/ScholComm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ScholComm</a>

Metin Seven 🎨“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦<a href="https://graphics.social/tags/quote" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#quote</a> <a href="https://graphics.social/tags/quotes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#quotes</a> <a href="https://graphics.social/tags/thoughts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#thoughts</a> <a href="https://graphics.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> <a href="https://graphics.social/tags/wisdom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wisdom</a> <a href="https://graphics.social/tags/dune" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dune</a> <a href="https://graphics.social/tags/universe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#universe</a> <a href="https://graphics.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://graphics.social/tags/human" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#human</a> <a href="https://graphics.social/tags/humans" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#humans</a> <a href="https://graphics.social/tags/humanity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#humanity</a>

Teodor Sandu<a href="https://mastodon.online/tags/funny" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#funny</a> <a href="https://mastodon.online/tags/meme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meme</a> <a href="https://mastodon.online/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.online/tags/it" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#it</a> <a href="https://mastodon.online/tags/loop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#loop</a> <a href="https://mastodon.online/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mastodon.online/tags/it" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#it</a> <a href="https://mastodon.online/tags/development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#development</a> <a href="https://mastodon.online/tags/fun" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fun</a> <a href="https://mastodon.online/tags/memes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#memes</a>

José A. AlonsoBi-intuitionistic logics through the abstract algebraic logic lens. ~ Jonte Deakin, Ian Shillito. <a href="https://arxiv.org/abs/2503.17159" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://arxiv.org/abs/2503.17159</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

screwlisp<a href="https://mastodon.sdf.org/tags/formalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalMethods</a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gamedev</a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#commonLisp</a> <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acl2</a> <a href="https://mastodon.sdf.org/tags/itch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#itch</a> <a href="https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic" rel="nofollow noopener noreferrer" target="_blank">https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic</a>Since yesterday I advocated strong use of defgeneric, defmethod and McCLIM's define-command, here I present 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">#logic</a>.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">#shell</a> and in <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> with a worked example.Thoughts and opinions, gamedevs and logical types?

icsWhy-why-why did I update <a href="https://sonomu.club/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> when I didn't have to? Will I never learn? - It "forgot" all downloaded library packs, refused to acknowledge their presence. Had to download everything again. - All settings were gone. Startup is different and weird. Adding tracks is different and weird. - So many new bugs! My current favourite is that sometimes the volume of some track randomly drops to zero during playback. Hit stop and play, boom, it's back at regular volume. Makes mixing fun again.

AdeptVeritatis<a href="https://mathstodon.xyz/@foldworks" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@foldworks</a> My solution to the liars paradox is geometry. Especially topology.A liars paradox is just a linguistic Möbius strip. It has only one side and only looks like having more. If you follow one path, you will realize it.The >>whole<< object is a lie.<a href="https://social.tchncs.de/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> <a href="https://social.tchncs.de/tags/paradox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#paradox</a> <a href="https://social.tchncs.de/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

foldworks'We live in a world where everyone is lying'? Welcome to the world of <a href="https://en.wikipedia.org/wiki/Liar_paradox" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://en.wikipedia.org/wiki/Liar_paradox</a> <a href="https://mathstodon.xyz/tags/paradox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#paradox</a> <a href="https://mathstodon.xyz/tags/TheGuardian" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TheGuardian</a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

Nick Byrd, Ph.D.<a href="https://nerdculture.de/tags/Microsoft" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Microsoft</a>'s viral paper about *correlations* between <a href="https://nerdculture.de/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> use and <a href="https://nerdculture.de/tags/criticalThinking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#criticalThinking</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">#causation</a>"). 🤦‍♂️<a href="https://nerdculture.de/tags/Confidence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Confidence</a> in <a href="https://nerdculture.de/tags/GenAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GenAI</a> predicted LESS critical thinking.SELF-confidence predicted MORE critical thinking.PREDICTED ≠ CAUSED<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">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/</a><a href="https://nerdculture.de/tags/computerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerScience</a> <a href="https://nerdculture.de/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://nerdculture.de/tags/work" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#work</a> <a href="https://nerdculture.de/tags/decisionScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#decisionScience</a> <a href="https://nerdculture.de/tags/psychology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#psychology</a> <a href="https://nerdculture.de/tags/surveyResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#surveyResearch</a> <a href="https://nerdculture.de/tags/management" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#management</a> <a href="https://nerdculture.de/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

bgmHey there, any <a href="https://musicians.today/tags/VoiceOver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#VoiceOver</a> peeps know how to configure a <a href="https://musicians.today/tags/UniversalAudio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UniversalAudio</a> Solo/Arrow interface to record my <a href="https://musicians.today/tags/VO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#VO</a> in a <a href="https://musicians.today/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</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">#Console</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. <a href="https://musicians.today/tags/HomeRecording" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HomeRecording</a> <a href="https://musicians.today/tags/Video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Video</a>

Tom de Jong36th European Summer School in Logic, Language and Information <a href="https://2025.esslli.eu/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://2025.esslli.eu/</a>Registration is now open for students!Boosts are appreciated.<a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mathstodon.xyz/tags/computerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerscience</a>

Friedrich Wilhelm Grafe<a href="https://mas.to/@tg9541" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@tg9541</a> <a href="https://a.gup.pe/u/bookstodon" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@bookstodon</a> <a href="https://a.gup.pe/u/philosophy" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@philosophy</a> 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">#PhilSci</a> topics.E.g., if one focusses in <a href="https://fediphilosophy.org/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> first of all on questions of <a href="https://fediphilosophy.org/tags/ontology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ontology</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). 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">#logic</a> and logic related <a href="https://fediphilosophy.org/tags/epistemology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#epistemology</a> and/or <a href="https://fediphilosophy.org/tags/PhilMath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PhilMath</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.

LeanpubNew 📚 Release! Abstraction Logic: A New Foundation for Reasoning, Computing, and Understanding by Steven ObuaAbstraction logic is a new logic combining exceptional simplicity with astonishing generality. It combines the best features of first-order logic and higher-order logic, while avoiding their respective drawbacks.Find it on Leanpub!Link: <a href="https://leanpub.com/abstractionlogic" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://leanpub.com/abstractionlogic</a><a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#books</a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ebooks</a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mastodon.social/tags/computerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerscience</a>

Askar SafinGood quote: Programming language design is kind of just the unbelievably difficult task of tricking programmers into using formal methods tools, by presenting them in an ergonomic way that doesn’t obstruct how people are used to writing software in a given era. Necessarily each push forward rules out more and more common sources of bugs. <a href="https://lobste.rs/s/ctpdvb/vine_programming_language_based_on#c_ckfegb" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/ctpdvb/vine_programming_language_based_on#c_ckfegb</a> <a href="https://types.pl/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#plt</a> <a href="https://types.pl/tags/typespl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#typespl</a> <a href="https://types.pl/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalmethods</a> <a href="https://types.pl/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

citrongrauWhy do we press harder on the remote control when we know the batteries are dead? <a href="https://mas.to/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

Tim Zee<a href="https://mastodon.social/@arstechnica" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@arstechnica</a> Use "reality based thinking" as a synonym for science.<a href="https://mastodon.social/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Science</a> <a href="https://mastodon.social/tags/Rationality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rationality</a> <a href="https://mastodon.social/tags/RealityBasedThinking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RealityBasedThinking</a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mastodon.social/tags/Reason" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Reason</a>

RanaldCloustonI have just released the public webpage for the <a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> course I am teaching, starting this week, at <a href="https://fediscience.org/tags/ANU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ANU</a> : <a href="https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/</a> . At a time where too much is behind an LMS paywall, I hope the slides and tutorial exercises introducing logic help some people get to grips with the subject, and also inspires more academics to make their teaching materials publicly available.

RanaldClouston<a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> teaching question: does anyone have a favourite exposition, accessible to students new to the area, of a proof of the completeness of 1st order logic?

Recent searches

Search options

Administered by:

Server stats:

#logic