User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic: Difference between revisions
No edit summary
Line 55: Line 55:


NOTE: in [[Solomonoff induction]] and related areas there is a concept of "enumerable" which is different from the enumeration used here.
NOTE: in [[Solomonoff induction]] and related areas there is a concept of "enumerable" which is different from the enumeration used here.
==algorithm vs program vs index vs Godel number==


==notes==
==notes==
Retrieved from "https://machinelearning.subwiki.org/wiki/User:IssaRice/Computability_and_logic/Some_important_distinctions_and_equivalences_in_introductory_mathematical_logic"