eduroam-prg-sg-1-44-223.net.univ-paris-diderot.fr 2026-2-13:14:20:42

S2 LOGOS . incomplétude et indécidabilité.md

@@ -0,0 +1,10 @@
+---
+up:
+  - "[[S2 LOGOS]]"
+tags:
+  - s/maths
+  - s/informatique
+aliases:
+date-rendu:
+type-rendu:
+---

S2 LOGOS . mathématiques pour non spécialistes.md

@@ -7,6 +7,8 @@ share_link: https://share.note.sx/syjxo6wi#JcJSlKru8TcATAUtHsa7qwLFvNUNIEGNqE8Fj
 share_updated: 2026-01-12T23:01:48+01:00
 ---
 
+- [ ] #task demander brice type de rendu maths pour non spécialistes 🔺
+
 %% séance 1 (2026-01-12) %%
 
 > [!info] idée du cours

S2 LOGOS . philosophie des mathématiques.md

@@ -1,6 +1,6 @@
 ---
 up:
-  - "[[S1 LOGOS]]"
+  - "[[S2 LOGOS]]"
 tags:
   - s/philosophie
   - s/maths
@@ -11,7 +11,7 @@ share_link: https://share.note.sx/2ev0yp52#Ts4dTsDh9iqnKsYdvy0SGx62WfsYG/bTGzULk
 share_updated: 2026-01-15T00:03:04+01:00
 ---
 
-- [ ] #task envoyer mail brice pour inscription moddle philo des maths 🔺
+- [ ] #task envoyer mail brice pour inscription moddle philo des maths ⏬
 
 %% séance 1 (2026-01-12) %%
 

S2 LOGOS.md

@@ -18,14 +18,14 @@ depth: [0, 0]
 > [!query] Dates rendu
 > ```dataview
 > TABLE date-rendu, type-rendu
-> FROM ""
+> FROM -"S2 LOGOS . philosophie des mathématiques"
 > WHERE econtains(up, this.file.link) 
 > ```
 
 
 ```dataview
-CALENDAR due
+CALENDAR date-rendu
-WHERE typeof(due) = "date" AND econtains(up, this.file.link)
+WHERE typeof(date-rendu) = "date" AND econtains(up, this.file.link)
 ```
 
 

daily/2026-02-13.md

@@ -0,0 +1,20 @@
+# Todo
+- [ ] #task envoyer mail thibault bagory inscription moodle ⏫
+
+```tasks
+due 2026-02-13
+not done
+```
+# I did
+
+> [!smallquery]- Modified files
+> ```dataview
+> LIST file.mtime
+> where file.mtime > date(this.file.name) and file.mtime < (date(this.file.name) + dur(1 day)) sort file.mtime asc
+> ```
+```tasks
+done 2026-02-13
+short mode
+```
+# I am gratefull to
+

le savoir mathématique.md

@@ -7,4 +7,6 @@ tags:
   - s/philosophie
 aliases:
 date-rendu:
+type-rendu:
+  - fiche de lecture (+présentation)
 ---