5 Matching Annotations
  1. Apr 2025
  2. Dec 2024
    1. the ten thousand things became so catastrophically powerful.

      for - epiphany - adjacency - progress traps - losing sight of the sacred - the Genesis story of intentionality - the symbol is the abstraction - is the intentionality - is the incompleteness - in the light of the infinite emptiness

      epiphany - adjacency - between - progress traps - losing sight of the sacred - the Genesis story of intentionality - the symbol is the abstraction - is the intentionality - is the incompleteness - in the light of the infinite emptiness - adjacency relationship - Epiphany occurred to me that Genesis is the story of control - and control is about intentionality - and intentional design is all about incompleteness - The written symbol is inherently incomplete - To control anything in nature requires intentionaity - We must design something with intention, which will always be incomplete - and here we immediately run up against the infinite - and the emergence of progress traps - In this sense, every design is a mistake, biding its time to reveal the form of its unintended consequences

  3. Nov 2024
    1. Prof. Smith lives in London and has a brother in Berlin, Dr. Smith. To visit him, balancing time, cost, and carbon emissions is a tough call to make. But there is another problem. Dr. Smith has no brother in London. How can that be?

      for - BEing journey - example - demonstrates system 1 vs system 2 thinking - example - unconscious bias - example - symbolic incompleteness

  4. Dec 2022
    1. My freely downloadable Beginning Mathematical Logic is a Study Guide, suggesting introductory readings beginning at sub-Masters level. Take a look at the main introductory suggestions on First-Order Logic, Computability, Set Theory as useful preparation. Tackling mid-level books will help develop your appreciation of mathematical approaches to logic.

      This is a reference to a great book "Beginning Mathematical Logic: A Study Guide [18 Feb 2022]" by Peter Smith on "Teach Yourself Logic A Study Guide (and other Book Notes)". The document itself is called "LogicStudyGuide.pdf".

      It focuses on mathematical logic and can be a gateway into understanding Gödel's incompleteness theorems.

      I found this some time ago when looking for a way to grasp the difference between first-order and second-order logics. I recall enjoying his style of writing and his commentary on the books he refers to. Both recollections still remain true after rereading some of it.

      It both serves as an intro to and recommended reading list for the following: - classical logics - first- & second-order - modal logics - model theory<br /> - non-classical logics - intuitionistic - relevant - free - plural - arithmetic, computability, and incompleteness - set theory (naïve and less naïve) - proof theory - algebras for logic - Boolean - Heyting/pseudo-Boolean - higher-order logics - type theory - homotopy type theory

  5. Sep 2022
    1. we never 00:32:28 we never say all that we mean and we never mean all that we say you wouldn't be speaking human language if you did so when politicians tell you I say what I mean and I mean what they're lying already because language doesn't work 00:32:41 that way we we leave a lot of things unspecified and we let the cultural context fill it in so if I say she sat down Who am I talking about you only know who she is if you saw her 00:32:53 come in or I've referred to her earlier and you can follow it so actually why do divorces happen in modern societies because language doesn't really work 00:33:06 well I mean that's a you can tell that language of all because it doesn't work very well there just doesn't communicate as well as we would like it my wife and I have conversations sometimes and we 00:33:19 realized that we didn't know what the other one was talking about we clearly didn't know what the other was talking about we have different cultural assumptions and although if I do figure out what she's talking about then I pretended that's what I was talking 00:33:31 about

      !- for : incompleteness of language - much is not said outside of what is said - context is required to fill it in