User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic: Difference between revisions
No edit summary |
No edit summary |
||
| Line 27: | Line 27: | ||
* <math>\Sigma_n</math> formulas vs relations vs sets | * <math>\Sigma_n</math> formulas vs relations vs sets | ||
* 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 | |||
More speculative: | More speculative: | ||