From 052b141e62fcd28aef8cc00a40aa9e22c0a0ad23 Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Thu, 19 Sep 2024 18:59:38 -0600 Subject: [PATCH] Daily notes. --- .../.obsidian/plugins/obsidian-to-anki-plugin/data.json | 7 ++++--- notes/_journal/2024-09-19.md | 9 +++++++++ notes/_journal/{ => 2024-09}/2024-09-15.md | 0 notes/_journal/2024-09/2024-09-16.md | 9 +++++++++ notes/_journal/2024-09/2024-09-17.md | 9 +++++++++ notes/_journal/2024-09/2024-09-18.md | 9 +++++++++ notes/set/natural-numbers.md | 6 +++--- 7 files changed, 43 insertions(+), 6 deletions(-) create mode 100644 notes/_journal/2024-09-19.md rename notes/_journal/{ => 2024-09}/2024-09-15.md (100%) create mode 100644 notes/_journal/2024-09/2024-09-16.md create mode 100644 notes/_journal/2024-09/2024-09-17.md create mode 100644 notes/_journal/2024-09/2024-09-18.md diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index fbd6e51..27203f6 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json @@ -762,7 +762,7 @@ "_journal/2024-08/2024-08-21.md": "1637b8ec8475cf3eb4f41d1d86cbf5df", "_journal/2024-08/2024-08-20.md": "e8bec308d1b29e411c6799ace7ef6571", "_journal/2024-08-23.md": "3b2feab2cc927e267263cb1e9c173d50", - "set/natural-numbers.md": "bf73972ec1ca619ba0124169c25b1c39", + "set/natural-numbers.md": "1135fcfce9759ed4c5689df59b0c9fe3", "_journal/2024-08-24.md": "563fad24740e44734a87d7c3ec46cec4", "_journal/2024-08/2024-08-23.md": "7b5a40e83d8f07ff54cd9708017d029c", "_journal/2024-08/2024-08-22.md": "050235d5dc772b542773743b57ce3afe", @@ -808,8 +808,9 @@ "_journal/2024-09-14.md": "774019f651e728faa288041ce4b265d3", "_journal/2024-09/2024-09-13.md": "8c8f33fdd8242e5ab9adaa797dea7995", "_journal/2024-09/2024-09-12.md": "30968fa3d73c005bdb4acc2025b34e11", - "_journal/2024-09-15.md": "a203f489d0205246b9b625354123046c", - "_journal/2024-09/2024-09-14.md": "1050e9ae0dfe4196a419105c43c2162f" + "_journal/2024-09-15.md": "0e5d1ecd73edf343d3a268b25140a921", + "_journal/2024-09/2024-09-14.md": "1050e9ae0dfe4196a419105c43c2162f", + "_journal/2024-09-16.md": "bd3f811538b8e8b288b3376246471c0a" }, "fields_dict": { "Basic": [ diff --git a/notes/_journal/2024-09-19.md b/notes/_journal/2024-09-19.md new file mode 100644 index 0000000..1ad2e05 --- /dev/null +++ b/notes/_journal/2024-09-19.md @@ -0,0 +1,9 @@ +--- +title: "2024-09-19" +--- + +- [x] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-09-15.md b/notes/_journal/2024-09/2024-09-15.md similarity index 100% rename from notes/_journal/2024-09-15.md rename to notes/_journal/2024-09/2024-09-15.md diff --git a/notes/_journal/2024-09/2024-09-16.md b/notes/_journal/2024-09/2024-09-16.md new file mode 100644 index 0000000..8790ee4 --- /dev/null +++ b/notes/_journal/2024-09/2024-09-16.md @@ -0,0 +1,9 @@ +--- +title: "2024-09-16" +--- + +- [x] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-09/2024-09-17.md b/notes/_journal/2024-09/2024-09-17.md new file mode 100644 index 0000000..7a6fba0 --- /dev/null +++ b/notes/_journal/2024-09/2024-09-17.md @@ -0,0 +1,9 @@ +--- +title: "2024-09-17" +--- + +- [x] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-09/2024-09-18.md b/notes/_journal/2024-09/2024-09-18.md new file mode 100644 index 0000000..a80c6dc --- /dev/null +++ b/notes/_journal/2024-09/2024-09-18.md @@ -0,0 +1,9 @@ +--- +title: "2024-09-18" +--- + +- [x] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/set/natural-numbers.md b/notes/set/natural-numbers.md index 3111ec9..d9cbdcb 100644 --- a/notes/set/natural-numbers.md +++ b/notes/set/natural-numbers.md @@ -243,7 +243,7 @@ A **natural number** is a set that belongs to every inductive set. %%ANKI Basic -How is a natural number *defined* in set theory? +How is the set of natural numbers *defined* in set theory? Back: As a set belonging to every inductive set. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). @@ -506,7 +506,7 @@ END%% %%ANKI Basic -Which condition of Peano system $\langle N, S, e \rangle$ does the following depict? +Which condition of Peano system $\langle N, S, e \rangle$ does the following violate? ![[peano-system-i.png]] Back: $e \not\in \mathop{\text{ran}}S$ Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). @@ -523,7 +523,7 @@ END%% %%ANKI Basic -Which condition of Peano system $\langle N, S, e \rangle$ does the following depict? +Which condition of Peano system $\langle N, S, e \rangle$ does the following violate? ![[peano-system-ii.png]] Back: $S$ is one-to-one. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).