User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic: Difference between revisions
No edit summary
Line 1: Line 1:
This page lists some important distinctions in introductory mathematical logic and computability theory. Bizarrely, most books won't even mention these distinctions, so you will probably be ''very'' confused at the start as you inevitably conflate these ideas.
This page lists some important distinctions in introductory mathematical logic and computability theory. Bizarrely, most books won't even mention these distinctions, so you will probably be ''very'' confused at the start as you inevitably conflate these ideas.


This page is kind of a "list of things I wish someone told me" as I was learning basic logic. It's not intended as a standalone introduction to mathematical logic, but rather a supplement to more standard resources.
This page is kind of a "list of things I wish someone told me" as I was learning basic logic. It's not intended as a standalone introduction to mathematical logic, but rather a supplement to more standard resources. I imagine this page being too easy or completely obvious to people who have studied mathematical logic, and incomprehensible to people have not studied it. There should be a "sweet spot" somewhere in between, of someone who is struggling with making sense of mathematical logic.


For the LessWrong audience: (1) there have been a number of posts on mathematical logic before; (2) some folks are studying this material in preparation for doing AI alignment research; (3) making distinctions between concepts that seem similar at first seems like a useful rationality skill [https://www.lesswrong.com/posts/ALCnqX6Xx8bpFMZq3/the-cartoon-guide-to-loeb-s-theorem#8YBFpWjAbosrHzCvW] [https://www.greaterwrong.com/posts/3FoMuCLqZggTxoC3S/logical-pinpointing/comment/vPaWniDjMQxoyLN7a].
For the LessWrong audience: (1) there have been a number of posts on mathematical logic before; (2) some folks are studying this material in preparation for doing AI alignment research; (3) making distinctions between concepts that seem similar at first seems like a useful rationality skill [https://www.lesswrong.com/posts/ALCnqX6Xx8bpFMZq3/the-cartoon-guide-to-loeb-s-theorem#8YBFpWjAbosrHzCvW] [https://www.greaterwrong.com/posts/3FoMuCLqZggTxoC3S/logical-pinpointing/comment/vPaWniDjMQxoyLN7a].
Retrieved from "https://machinelearning.subwiki.org/wiki/User:IssaRice/Computability_and_logic/Some_important_distinctions_and_equivalences_in_introductory_mathematical_logic"