User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic: Difference between revisions
No edit summary |
No edit summary |
||
| Line 28: | Line 28: | ||
* enumerating vs computably enumerating vs primitively recursively enumerating | * enumerating vs computably enumerating vs primitively recursively enumerating | ||
* different kinds of deduction systems: axiomatic, natural deduction, sequents, trees | * different kinds of deduction systems: axiomatic, natural deduction, sequents, trees | ||
* model as representation vs that which is represented (in mathematical logic, it is that which is represented, but in other disciplines a different meaning of "model" is used) | |||
More speculative: | More speculative: | ||