User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic: Difference between revisions
Line 10: Line 10:


I have a rough draft quiz about this that I should post. Also see <ref>https://www.hedonisticlearning.com/posts/the-pedagogy-of-logic-a-rant.html#syntax-versus-semantics</ref>
I have a rough draft quiz about this that I should post. Also see <ref>https://www.hedonisticlearning.com/posts/the-pedagogy-of-logic-a-rant.html#syntax-versus-semantics</ref>
In computability theory, "syntax" corresponds to algorithms and "semantics" corresponds to functions computable via algorithms. See Rice's theorem.


{| class="wikitable"
{| class="wikitable"
Retrieved from "https://machinelearning.subwiki.org/wiki/User:IssaRice/Computability_and_logic/Some_important_distinctions_and_equivalences_in_introductory_mathematical_logic"