Differences

This shows you the differences between two versions of the page.

--- start [2025/02/10 17:04] – lpatey
+++ start [2025/02/12 10:21] (current) – [Topics] lpatey
@@ Line 14: / Line 14: @@
   * [[introduction:computability|Computability theory in a nutshell]]
+===== Main theorems =====
+  * [[theorem:rice|Rice's theorem]]
+  * [[theorem:smn|SMN theorem]]
+  * [[theorem:undecidability_halting_set|Undecidability of the halting set]]
+===== Main concepts =====
+  * [[turing_degree|Turing degree]]
+===== Topics =====
+  * [[topic:sets_sequences_reals|Sets, sequences and real numbers]]
+  * [[topic:incompleteness_paradox|Incompleteness theorems as paradoxes]]
+  * [[topic:set_reducibilities|Reducibilities on sets]]
+  * [[topic:problem_reducibilities|Reducibilities on problems]]
 ===== Learning material =====