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.
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.


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"