wiki_research

commit a931e7b4df09662d1b0f3daaee83d6ef2f579303
parent 2fa4ecab0be51d650e7fe5f75c73e32f1a07db10
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat, 28 Dec 2024 10:59:24 +0100

commit

Diffstat:
buchis_theorem
 | 
4
+++-
computer_science
 | 
8
--------
disjoint_union
 | 
2
+-
goedels_incompleteness_theorem
 | 
2
++
set
 | 
2
++

5 files changed, 8 insertions(+), 10 deletions(-)
diff --git a/buchis_theorem b/buchis_theorem
@@ -1,5 +1,7 @@
 # Büchi's theorem
 
-Equivalence of [monadic_second_order_logic] on [word] and of [regular_language]
+https://en.wikipedia.org/wiki/B%C3%BCchi-Elgot-Trakhtenbrot_theorem
+
+Equivalence of [monadic_second_order_logic] and of [regular_languages] on [words] 
 
 Up: [theorem] in [formal_language_theory]
diff --git a/computer_science b/computer_science
@@ -1,8 +0,0 @@
-# Computer science
-
-- [data_structure]
-- [computer_science_fields]
-
-Up: [natural_science] about [computer]
-
-See also: [informatique], [mathematics]
diff --git a/disjoint_union b/disjoint_union
@@ -1,5 +1,5 @@
 # Disjoint union
 
-The [union] of two [set] that are [disjoint]
+The [union] of two [sets] that are [disjoint]
 
 Up: [union]
diff --git a/goedels_incompleteness_theorem b/goedels_incompleteness_theorem
@@ -1,5 +1,7 @@
 # Goedels incompleteness theorem
 
+https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
+
 http://www.yann-ollivier.org/goedel/goedel.php
 
 Up: [theorem], [logic]
diff --git a/set b/set
@@ -3,3 +3,5 @@
 - [multiset]
 
 Up: [set_theory]
+
+Aliases: sets