flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-06 06:26:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Auto: misc.

Browse Source
This commit is contained in:
Flancian
2020-11-22 18:06:40 +01:00
parent f0185b4bfe
commit ac55caa25c
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
journal/2020-11-22.md
+1
View File
@@ -9,6 +9,7 @@
- Feedback: having to write a comment to commit is annoying ([[jonathan]] said the same).
- Solution: set a default somehow? Need to look into this.
- Donated 120 CHF to [[UBI Zurich]].
- [[Stephen Wolfram]]
- [[bodhisattva vow]].
stephen-wolfram.md
+2 -1
View File
@@ -13,7 +13,8 @@
- 3h33m in, a great recap of [[mathematics is a graph]].
- "There are five platonic solids" is the hardest proof in [[Euclid]]: 33 steps through axioms.
- The graph's geometry is that of the relations between all mathematical facts. The graph's geography is the space that mathematicians happened to be able to explore.
-
- The geometry explains why math is hard: many paths are not computable in finite time. [[Gödel]].
- The geography explains why it's possible: we are exposed to sections which happened to be reachable by people (processes) operating in math space with computable functions.
[//begin]: # "Autogenerated link references for markdown compatibility"
[lex-fridman]: lex-fridman "Lex Fridman"